Abstract is missing.
- Commonsense Entailment: A Modal Theory of Nonmonotonic ReasoningNicholas Asher, Michael Morreau. 1-30
- Gaggle Theory: An Abstraction of Galois Connections and Residuation with Applications to Negation, Implication, and Various Logical OperationsJ. Michael Dunn. 31-51
- Belief Revision and Nonmonotonic Logic: Two Sides of the Same Coin? (Abstract)Peter Gärdenfors. 52-54
- Two Theories of Dynamic SemanticsJeroen Groenendijk, Martin Stokhof. 55-64
- What is a Horn Clause in Partial Logic?Tore Langholm. 65-77
- Semantic Interpretation as Higher-Order DeductionFernando C. N. Pereira. 78-96
- Action Logic and Pure InductionVaughan R. Pratt. 97-120
- Loop Checking and NegationRoland N. Bol. 121-138
- On Generative Capacity of the Lambek CalculusWojciech Buszkowski. 139-152
- Extending Resolution for Model ConstructionRicardo Caferra, Nicolas Zabel. 153-169
- A First Order Logic of Truth, Knowledge and BeliefNick Davies. 170-179
- The Optimal Model of a Program with NegationJean-Paul Delahaye, V. Thibau. 180-195
- NM3 - A Three-Valued Cumulative Non-Monotonic FormalismPatrick Doherty. 196-211
- ::::Constructive Matching:::: - A Methodology for Inductive Theorem ProvingMarta Franová. 212-226
- Deductive Inference OperationsMichael Freund, Daniel J. Lehmann. 227-233
- A Constraint Logic Approach to Modal DeductionAlan M. Frisch, Richard B. Scherl. 234-250
- Dynamic Semantics and VP-EllipsisClaire Gardent. 251-266
- Systems for Knowledge and BeliefsWiebe van der Hoek. 267-281
- Awareness, Negation and Logical OmniscienceZhisheng Huang, Karen L. Kwast. 282-300
- Theoretical Circumscription in Partial Modal LogicJan Jaspars. 301-316
- A Logical Basis for Object Oriented ProgrammingEls Laenens, Dirk Vermeir. 317-332
- A Computationally Attractive First-Order Logic of BeliefGerhard Lakemeyer. 333-347
- Polymorphic Constructs in Natural and Programming LanguagesHans Leiß. 348-365
- The Net-Clause Language - A Tool for Data-Driven InferenceZdravko Markov, Christo Dichev. 366-385
- The Logical Compilation of Knowledge BasesPhilippe Mathieu, Jean-Paul Delahaye. 386-398
- Non-Monotonic Reasoning by Monotonic MeansJohn-Jules Ch. Meyer, Wiebe van der Hoek. 399-411
- Anaphora and the Logic of ChangeReinhard Muskens. 412-427
- Towards Automatic Autoepistemic ReasoningIlkka Niemelä. 428-443
- Towards a Connection Procedure with Built in TheoriesUwe Petermann. 444-543
- On the Equivalence of Deferred Substitution and Immediate Substitution Semantics for Logic ProgramsAmir Rahat, Nissim Francez, Oded Shmueli. 454-471
- Towards a Formal Theory of IntentionsMunindar P. Singh, Nicholas M. Asher. 472-486
- Note on Effective Constructibility of Resolution Proof SystemsZbigniew Stachniak. 487-498
- The Logic of Objective Knowledge and Rational BeliefFrans Voorbraak. 499-515
- A Complete Logic for Autoepistemic MembershipGerard Vreeswijk. 516-525
- Doxastic Preference Logic: A New Look at Belief RevisionEmil Weydert. 526-543
- Partial Semantics for Truth Maintenance - a Compositional ApproachCees Witteveen. 544-561