JELIA 1994: York, UK

Invited Speaker

• Georg Gottlob:
  From Carnap's Modal Logic to Autoepistemic Logic. 1-18
  

Nonmonotonic Reasoning

• Heinrich Herre:
  Compactness Properties of Nonmonotonic Inference Operations. 19-33
  
• Yves Moinard, Raymond Rolland:
  Around a Powerful Property of Circumscriptions. 34-49
  
• Yannis Dimopoulos:
  The Computational Value of Joint Consistency. 50-65
  

Belief Revision

• Chandrabose Aravindan, Phan Minh Dung:
  Belief Dynamics, Abduction, and Database. 66-85
  
• Mary-Anne Williams:
  On the Logic of Theory Base Change. 86-105
  

Logic Programming and Theory Revision

• José Júlio Alferes, Luís Moniz Pereira:
  Belief, Provability, and Logic Programs. 106-121
  
• V. Wiktor Marek, Miroslaw Truszczynski:
  Revision Specifications by Means of Programs. 122-136
  
• Cees Witteveen, Wiebe van der Hoek, Hans de Nivelle:
  Revision of Non-Monotonic Theories. 137-151
  

Automated Reasoning

• Uwe Petermann:
  A Complete Connection Calculus with Rigid E-Unification. 152-166
  
• Richard B. Scherl:
  Equality and Constrained Resolution. 167-181
  
• Stéphane Demri:
  Efficient Strategies for Automated Reasoning in Modal Logics. 182-197
  
• Gabriel Aguilera, Inman P. de Guzmán, Manuel Ojeda-Aciego:
  TAS-D⁺⁺: Syntactic Trees Transformations for Automated Theorem Proving. 198-216
  
• Hans de Nivelle:
  A Unification of Ordering Refinements of Resolution in Classical Logic. 217-230
  

Invited Speaker

• Ewa Orlowska:
  Two Logical Dimensions. 231
  

Prioritized Nonmonotonic Reasoning

• Jussi Rintanen:
  Prioritized Autoepistemic Logic. 232-246
  
• Gerhard Brewka:
  Adding Priorities and Specificity to Default Logic. 247-260
  
• Philippe Chatalic:
  Viewing Hypothesis Theories as Constrained Graded Theories. 261-278
  

Models of Reasoning

• Joeri Engelfriet, Jan Treur:
  Temporal Theories of Reasoning. 279-299
  
• Konstantinos Georgatos:
  Reasoning about Knowledge on Computation Trees. 300-315
  

Knowledge Representation

• Gerd Große:
  Propositional State Event Logic. 316-331
  
• Giuseppe De Giacomo, Maurizio Lenzerini:
  Description Logics with Inverse Roles, Functional Restrictions, and N-ary Relations. 332-346
  
• Leopoldo E. Bertossi, Raymond Reiter:
  On the Concept of Generic Object: A Nonmonotonic Reasoning Approach and Examples. 347-363
  

Invited Speaker

• Teodor C. Przymusinski:
  Autoepistemic Logic of Minimal Beliefs. 364
  

Extending Logic Programming

• Andreas Nonnengart:
  How to Use Modalities and Sorts in Prolog. 365-378
  
• Jean-Marie Jacquet, Luís Monteiro:
  Towards Resource Handling in Logic Programming: The PPL Framework and its Semantics. 379-399
  
• Stefania Costantini, Pierangelo Dell'Acqua, Gaetano Aurelio Lanzarone:
  Extending Horn Clause Theories by Reflection Principles. 400-413