JELIA 1998: Dagstuhl, Germany

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
  

Epistemic Logics

• 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
  

Theorem Proving

• 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
  

Non-monotonic Reasoning

• 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
  

Non-standard Logics

• 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
  

Knowlege Representation

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

Higher Order Logics

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

Invited Talks

• 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