David Pearce, Heinrich Wansing (Eds.):
Nonclassical Logics and Information Processing, International Workshop, Berlin, Germany, November 9-10, Proceedings.
Lecture Notes in Computer Science 619 Springer 1992, ISBN 3-540-55745-8 BibTeX
@proceedings{DBLP:conf/berlin/1990,
editor = {David Pearce and
Heinrich Wansing},
title = {Nonclassical Logics and Information Processing, International
Workshop, Berlin, Germany, November 9-10, Proceedings},
booktitle = {Nonclassical Logics and Information Processing},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {619},
year = {1992},
isbn = {3-540-55745-8},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Modal Systems
Logic Programming
- Jürgen Gehne:
Testclasses and Closed World Assumptions for Non-Horn Theories.
56-62 BibTeX
- David Pearce:
Reasoning with Negative Information, II: Hard Negation, Strong Negation and Logic Programs.
63-79 BibTeX
- Gerd Wagner:
Lindenbaum-Algebraic Semantics of Logic Programs.
80-91 BibTeX
Nonmonotonic Logics
Proof Theory
Copyright © Sat May 16 22:59:25 2009
by Michael Ley (ley@uni-trier.de)