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 BibTeX

@proceedings{DBLP:conf/jelia/1998,
  editor    = {J{\"u}rgen Dix and
               Luis Fari{\~n}as del Cerro and
               Ulrich Furbach},
  title     = {Logics in Artificial Intelligence, European Workshop, JELIA '98,
               Dagstuhl, Germany, October 12-15, 1998, Proceedings},
  booktitle = {JELIA},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1489},
  year      = {1998},
  isbn      = {3-540-65141-1},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Logic Programming

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

Epistemic Logics

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

Theorem Proving

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

Non-monotonic Reasoning

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

Non-standard Logics

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

Knowlege Representation

Manfred Kerber:
On Knowledge, Strings, and Paradoxes. 342-354
Electronic Edition (Springer LINK) BibTeX
Marco Cadoli, Luigi Palopoli, Francesco Scarcello:
Propositional Lower Bounds: Generalization and Algorithms. 355-367
Electronic Edition (Springer LINK) BibTeX

Higher Order Logics

Jianguo Lu, Masateru Harao, Masami Hagiya:
Higher Order Generalization. 368-381
Electronic Edition (Springer LINK) BibTeX

Invited Talks

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