Abstract is missing.
- From Carnap s Modal Logic to Autoepistemic LogicGeorg Gottlob. 1-18
- Compactness Properties of Nonmonotonic Inference OperationsHeinrich Herre. 19-33
- Around a Powerful Property of CircumscriptionsYves Moinard, Raymond Rolland. 34-49
- The Computational Value of Joint ConsistencyYannis Dimopoulos. 50-65
- Belief Dynamics, Abduction, and DatabaseChandrabose Aravindan, Phan Minh Dung. 66-85
- On the Logic of Theory Base ChangeMary-Anne Williams. 86-105
- Belief, Provability, and Logic ProgramsJosé Júlio Alferes, Luís Moniz Pereira. 106-121
- Revision Specifications by Means of ProgramsV. Wiktor Marek, Miroslaw Truszczynski. 122-136
- Revision of Non-Monotonic TheoriesCees Witteveen, Wiebe van der Hoek, Hans de Nivelle. 137-151
- A Complete Connection Calculus with Rigid E-UnificationUwe Petermann. 152-166
- Equality and Constrained ResolutionRichard B. Scherl. 167-181
- Efficient Strategies for Automated Reasoning in Modal LogicsStéphane Demri. 182-197
- TAS-D:::++:::: Syntactic Trees Transformations for Automated Theorem ProvingGabriel Aguilera, Inman P. de Guzmán, Manuel Ojeda-Aciego. 198-216
- A Unification of Ordering Refinements of Resolution in Classical LogicHans de Nivelle. 217-230
- Two Logical DimensionsEwa Orlowska. 231
- Prioritized Autoepistemic LogicJussi Rintanen. 232-246
- Adding Priorities and Specificity to Default LogicGerhard Brewka. 247-260
- Viewing Hypothesis Theories as Constrained Graded TheoriesPhilippe Chatalic. 261-278
- Temporal Theories of ReasoningJoeri Engelfriet, Jan Treur. 279-299
- Reasoning about Knowledge on Computation TreesKonstantinos Georgatos. 300-315
- Propositional State Event LogicGerd Große. 316-331
- Description Logics with Inverse Roles, Functional Restrictions, and N-ary RelationsGiuseppe De Giacomo, Maurizio Lenzerini. 332-346
- On the Concept of Generic Object: A Nonmonotonic Reasoning Approach and ExamplesLeopoldo E. Bertossi, Raymond Reiter. 347-363
- Autoepistemic Logic of Minimal BeliefsTeodor C. Przymusinski. 364
- How to Use Modalities and Sorts in PrologAndreas Nonnengart. 365-378
- Towards Resource Handling in Logic Programming: The PPL Framework and its SemanticsJean-Marie Jacquet, Luís Monteiro. 379-399
- Extending Horn Clause Theories by Reflection PrinciplesStefania Costantini, Pierangelo Dell Acqua, Gaetano Aurelio Lanzarone. 400-413