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

Invited Speaker

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

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

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

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

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

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

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

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

Last update Sat May 25 18:43:15 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page