JELIA 1994: York, UK

Craig MacNish, David Pearce, Luís Moniz Pereira (Eds.): Logics in Artificial Intelligence, European Workshop, JELIA '94, York, UK, September 5-8, 1994, Proceedings. Lecture Notes in Computer Science 838 Springer 1994, ISBN 3-540-58332-7 BibTeX

@proceedings{DBLP:conf/jelia/1994,
  editor    = {Craig MacNish and
               David Pearce and
               Lu\'{\i}s Moniz Pereira},
  title     = {Logics in Artificial Intelligence, European Workshop, JELIA '94,
               York, UK, September 5-8, 1994, Proceedings},
  booktitle = {JELIA},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {838},
  year      = {1994},
  isbn      = {3-540-58332-7},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Speaker

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

Nonmonotonic Reasoning

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

Belief Revision

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

Logic Programming and Theory Revision

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

Automated Reasoning

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

Invited Speaker

Ewa Orlowska: Two Logical Dimensions. 231 BibTeX

Prioritized Nonmonotonic Reasoning

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

Models of Reasoning

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

Knowledge Representation

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

Invited Speaker

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

Extending Logic Programming

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