Conferences in DBLP

Birthday ... (birthday)
2000 (conf/birthday/Bibel2000)

1. Christoph Kreitz
   Prologue. [Citation Graph (0, 0)][DBLP]
   Intellectics and Computational Logic, 2000, pp:1-2 [Conf]
   
2. Peter Baumgartner, Norbert Eisinger, Ulrich Furbach
   A Confluent Connection Calculus. [Citation Graph (0, 0)][DBLP]
   Intellectics and Computational Logic, 2000, pp:3-26 [Conf]
   
3. Gerhard Brewka, Thomas Eiter
   Prioritizing Default Logic. [Citation Graph (0, 0)][DBLP]
   Intellectics and Computational Logic, 2000, pp:27-45 [Conf]
   
4. Stefan Brüning, Torsten Schaub
   A Connection Calculus for Handling Incomplete Information. [Citation Graph (0, 0)][DBLP]
   Intellectics and Computational Logic, 2000, pp:47-66 [Conf]
   
5. Ricardo Caferra, Nicolas Peltier
   The Connection Method, Constraints and Model Building. [Citation Graph (0, 0)][DBLP]
   Intellectics and Computational Logic, 2000, pp:67-84 [Conf]
   
6. Robert Demolombe, Luis Fariñas del Cerro
   Towards a Logical Characterization of Sentences of the Kind "Sentence p is about Object c". [Citation Graph (0, 0)][DBLP]
   Intellectics and Computational Logic, 2000, pp:85-99 [Conf]
   
7. Elmar Eder
   The Cut Role in Theorem Proving. [Citation Graph (0, 0)][DBLP]
   Intellectics and Computational Logic, 2000, pp:101-123 [Conf]
   
8. Uwe Egly, Hans Tompits
   Some Strengths of Nonmonotonic Reasoning. [Citation Graph (0, 0)][DBLP]
   Intellectics and Computational Logic, 2000, pp:125-141 [Conf]
   
9. Jutta Eusterbrock
   Compsing Re-usable Synthesis Methods through Graph-based Viewpoints. [Citation Graph (0, 0)][DBLP]
   Intellectics and Computational Logic, 2000, pp:143-158 [Conf]
   
10. Bertram Fronhöfer
    Proof Structures and Matrix Graphs. [Citation Graph (0, 0)][DBLP]
    Intellectics and Computational Logic, 2000, pp:159-173 [Conf]
    
11. Christoph S. Herrmann
    AI and Cognitive Science: Feedback Leads to a New Neural Concept. [Citation Graph (0, 0)][DBLP]
    Intellectics and Computational Logic, 2000, pp:175-188 [Conf]
    
12. Christoph Kreitz, Jens Otten, Stephan Schmitt, Brigitte Pientka
    Matrix-based Constructive Theorem Proving. [Citation Graph (0, 0)][DBLP]
    Intellectics and Computational Logic, 2000, pp:189-205 [Conf]
    
13. Steffen Hölldobler, Hans-Peter Störr
    Complex Plans in the Fluent Calculus. [Citation Graph (0, 0)][DBLP]
    Intellectics and Computational Logic, 2000, pp:207-223 [Conf]
    
14. Gerhard Lakemeyer, Hector J. Levesque
    Querying AOL Knowledge Bases. [Citation Graph (0, 0)][DBLP]
    Intellectics and Computational Logic, 2000, pp:225-244 [Conf]
    
15. Reinhold Letz
    Properties and Relations of Tableau and Connection Calculi. [Citation Graph (0, 0)][DBLP]
    Intellectics and Computational Logic, 2000, pp:245-261 [Conf]
    
16. Erica Melis, Jörg H. Siekmann
    Concepts in Proof Planning. [Citation Graph (0, 0)][DBLP]
    Intellectics and Computational Logic, 2000, pp:263-276 [Conf]
    
17. John Alan Robinson
    Proof = Guarantee + Explanation. [Citation Graph (0, 0)][DBLP]
    Intellectics and Computational Logic, 2000, pp:277-294 [Conf]
    
18. Johann Schumann
    Automated Theorem Proving in High-Quality Software Design. [Citation Graph (0, 0)][DBLP]
    Intellectics and Computational Logic, 2000, pp:295-312 [Conf]
    
19. Antje Strohmaier
    A Complete Neural Network Algorithm for Horn-Sat. [Citation Graph (0, 0)][DBLP]
    Intellectics and Computational Logic, 2000, pp:313-325 [Conf]
    
20. Michael Thielscher
    Nondeterministic Actions in the Fluent Calculus: Disjunctive State Update Axioms. [Citation Graph (0, 0)][DBLP]
    Intellectics and Computational Logic, 2000, pp:327-345 [Conf]
    
21. Christian Wagner
    The Illusion of Knowledge. [Citation Graph (0, 0)][DBLP]
    Intellectics and Computational Logic, 2000, pp:347-359 [Conf]
    
22. Christoph Walther
    Criteria for Termination. [Citation Graph (0, 0)][DBLP]
    Intellectics and Computational Logic, 2000, pp:361-386 [Conf]
    
23. Christoph Kreitz
    Epilogue. [Citation Graph (0, 0)][DBLP]
    Intellectics and Computational Logic, 2000, pp:387- [Conf]