JELIA 1998: Dagstuhl, Germany

Jürgen Dix, Luis Fariñas del Cerro, Ulrich Furbach (Eds.): Logics in Artificial Intelligence, European Workshop, JELIA '98, Dagstuhl, Germany, October 12-15, 1998, Proceedings. Lecture Notes in Computer Science 1489 Springer 1998, ISBN 3-540-65141-1

Logic Programming

Marc Denecker:
The Well-Founded Semantics Is the Principle of Inductive Definition. 1-16
Pierangelo Dell'Acqua, Fariba Sadri, Francesca Toni:
Combining Introspection and Communication with Rationality and Reactivity in Agents. 17-32
Wenjin Lu, Ulrich Furbach:
Disjunctive Logic Program = Horn Program + Control Program. 33-46
Mauricio Osorio:
Semantics of Partial-Order Programs. 47-61

Wiebe van der Hoek, Jan Jaspars, Elias Thijsse:
Persistence and Minimality in Epistemic Logic. 62-76
Leendert W. N. van der Torre, Yao-Hua Tan:
Prohairetic Deontic Logic (PDL). 77-91
Leendert W. N. van der Torre:
Phased Labeled Logics of Conditional Goals. 92-106

Maria Paola Bonacina:
Analysis of Distributed-Search Contraction-Based Strategies. 107-121
François Bry, Sunna Torge:
A Deduction Method Complete for Refutation and Finite Satisfiability. 122-138
Dirk Fuchs:
Requirement-Based Cooperative Theorem Proving. 139-153
Sonia M. Leach, James J. Lu, Neil V. Murray, Erik Rosenthal:
Omega-Resolution: An Inference Rule for Regular Multiple-Valued Logics. 154-168
Heiko Mantel, Christoph Kreitz:
A Matrix Characterization for MELL. 169-183
Christof Monz, Maarten de Rijke:
A Resolution Calculus for Dynamic Semantics. 184-198
Reinhard Pichler:
Algorithms on Atomic Representations of Herbrand Models. 199-215

Tomi Janhunen:
On the Intertranslatability of Autoepistemic, Default and Priority Logics, and Parallel Circumscription. 216-232
Thomas Linke, Torsten Schaub:
An Approach to Query-Answering in Reiter's Default Logic and the Underlying Existence of Extensions Problem. 233-247
Michael Thielscher:
Towards State Update Axioms: Reifying Successor State Axioms. 248-263

Jeremy E. Dawson, Rajeev Goré:
A Mechanised Proof System for Relation Algebra using Display Logic. 264-278
Stéphane Demri, Beata Konikowska:
Relative Similarity Logics are Decidable: Reduction to FO² with Equality. 279-293
Laura Giordano, Valentina Gliozzi, Nicola Olivetti:
A Conditional Logic for Belief Revision. 294-308
Inman P. de Guzmán, Manuel Ojeda-Aciego, Agustín Valverde:
Implicates and Reduction Techniques for Temporal Logics. 309-323
Frédéric Koriche:
A Logic for Anytime Deduction and Anytime Compilation. 324-341

Manfred Kerber:
On Knowledge, Strings, and Paradoxes. 342-354
Marco Cadoli, Luigi Palopoli, Francesco Scarcello:
Propositional Lower Bounds: Generalization and Algorithms. 355-367

Jianguo Lu, Masateru Harao, Masami Hagiya:
Higher Order Generalization. 368-381

Erik Sandewall:
The Logical Characterization of Goal-Directed Behavior in the Presence of Exogenous Events. 382-384
Paul Tarau:
Towards Inference and Computation Mobility: The Jinni Experiment. 385-390

Last update Mon May 20 15:30:43 2013 CET by the DBLP Team —

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