JELIA 1990: Amsterdam, The Netherlands

Invited Papers

• Nicholas Asher, Michael Morreau:
  Commonsense Entailment: A Modal Theory of Nonmonotonic Reasoning. 1-30
  
• J. Michael Dunn:
  Gaggle Theory: An Abstraction of Galois Connections and Residuation with Applications to Negation, Implication, and Various Logical Operations. 31-51
  
• Peter Gärdenfors:
  Belief Revision and Nonmonotonic Logic: Two Sides of the Same Coin? (Abstract). 52-54
  
• Jeroen Groenendijk, Martin Stokhof:
  Two Theories of Dynamic Semantics. 55-64
  
• Tore Langholm:
  What is a Horn Clause in Partial Logic? 65-77
  
• Fernando C. N. Pereira:
  Semantic Interpretation as Higher-Order Deduction. 78-96
  
• Vaughan R. Pratt:
  Action Logic and Pure Induction. 97-120
  

Selected Papers

• Roland N. Bol:
  Loop Checking and Negation. 121-138
  
• Wojciech Buszkowski:
  On Generative Capacity of the Lambek Calculus. 139-152
  
• Ricardo Caferra, Nicolas Zabel:
  Extending Resolution for Model Construction. 153-169
  
• Nick Davies:
  A First Order Logic of Truth, Knowledge and Belief. 170-179
  
• Jean-Paul Delahaye, V. Thibau:
  The Optimal Model of a Program with Negation. 180-195
  
• Patrick Doherty:
  NM3 - A Three-Valued Cumulative Non-Monotonic Formalism. 196-211
  
• Marta Franová:
  Constructive Matching - A Methodology for Inductive Theorem Proving. 212-226
  
• Michael Freund, Daniel J. Lehmann:
  Deductive Inference Operations. 227-233
  
• Alan M. Frisch, Richard B. Scherl:
  A Constraint Logic Approach to Modal Deduction. 234-250
  
• Claire Gardent:
  Dynamic Semantics and VP-Ellipsis. 251-266
  
• Wiebe van der Hoek:
  Systems for Knowledge and Beliefs. 267-281
  
• Zhisheng Huang, Karen L. Kwast:
  Awareness, Negation and Logical Omniscience. 282-300
  
• Jan Jaspars:
  Theoretical Circumscription in Partial Modal Logic. 301-316
  
• Els Laenens, Dirk Vermeir:
  A Logical Basis for Object Oriented Programming. 317-332
  
• Gerhard Lakemeyer:
  A Computationally Attractive First-Order Logic of Belief. 333-347
  
• Hans Leiß:
  Polymorphic Constructs in Natural and Programming Languages. 348-365
  
• Zdravko Markov, Christo Dichev:
  The Net-Clause Language - A Tool for Data-Driven Inference. 366-385
  
• Philippe Mathieu, Jean-Paul Delahaye:
  The Logical Compilation of Knowledge Bases. 386-398
  
• John-Jules Ch. Meyer, Wiebe van der Hoek:
  Non-Monotonic Reasoning by Monotonic Means. 399-411
  
• Reinhard Muskens:
  Anaphora and the Logic of Change. 412-427
  
• Ilkka Niemelä:
  Towards Automatic Autoepistemic Reasoning. 428-443
  
• Uwe Petermann:
  Towards a Connection Procedure with Built in Theories. 444-543
  
• Amir Rahat, Nissim Francez, Oded Shmueli:
  On the Equivalence of Deferred Substitution and Immediate Substitution Semantics for Logic Programs. 454-471
  
• Munindar P. Singh, Nicholas M. Asher:
  Towards a Formal Theory of Intentions. 472-486
  
• Zbigniew Stachniak:
  Note on Effective Constructibility of Resolution Proof Systems. 487-498
  
• Frans Voorbraak:
  The Logic of Objective Knowledge and Rational Belief. 499-515
  
• Gerard Vreeswijk:
  A Complete Logic for Autoepistemic Membership. 516-525
  
• Emil Weydert:
  Doxastic Preference Logic: A New Look at Belief Revision. 526-543
  
• Cees Witteveen:
  Partial Semantics for Truth Maintenance - a Compositional Approach. 544-561