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 
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
Belief Revision
Logic Programming and Theory Revision
Automated Reasoning
Uwe Petermann:
A Complete Connection Calculus with Rigid E-Unification.
152-166
Stéphane Demri:
Efficient Strategies for Automated Reasoning in Modal Logics.
182-197
Hans de Nivelle:
A Unification of Ordering Refinements of Resolution in Classical Logic.
217-230
Invited Speaker
Prioritized Nonmonotonic Reasoning
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
Knowledge Representation
Gerd Große:
Propositional State Event Logic.
316-331
Invited Speaker
Extending Logic Programming
data released under the ODC-BY 1.0 license
