Nonclassical Logics

Non-Standard Inferences in Description Logics: From Foundations and Definitions to Algorithms and Analysis (Lecture Notes in Computer Science)

Ralf Küsters

Logic programming and nonmonotonic reasoning: 4th International Conference, LPNMR '97, Dagstuhl Castle, Germany, July 28-31, 1997 : proceedings

Jürgen Dix, Ulrich Fuhrbach, Anil Nerode, (eds.).

Automated Deduction - CADE-15: 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, Proceedings (Lecture Notes in Computer Science)

Qualitative and quantitative practical reasoning: First International Joint Conference on Qualitative and Quantitative Practical Reasoning, ECSQARU-FAPR '97 : Bad Honnef, Germany, June 9-12, 1997 : proceedings

Dov M. Gabbay ... [et al.], (eds.).

Automated Deduction in Classical and Non-Classical Logics: Selected Papers (Lecture Notes in Computer Science)

Ricardo Caferra

Computational Logic and Proof Theory: Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993. Proceedings (Lecture Notes in Computer Science)

Georg Gottlob

Computer Science Logic

Julian Bradfield

Computational logic and proof theory: 5th Kurt Gödel Colloquium, KGC '97, Vienna, Austria, August 25-29, 1997 : proceedings

Georg Gottlob, Alexander Leitsch, Daniele Mundici (eds.).

Logic Programming and Nonmonotonic Reasoning: 5th International Conference, LPNMR '99, El Paso, Texas, USA, December 2-4, 1999 Proceedings (Lecture Notes in Computer Science)

Computer Science Logic: 9th International Workshop, CSl '95, Annual Conference of the EACSL Paderborn, Germany, September 22-29, 1995. Selected Papers (Lecture Notes in Computer Science)

Hans Kleine Buening