[click here for postscript-version]

Monday, October 12, 1998 | |||

08:45-09:00 | Opening Remarks | Jürgen Dix, Ulrich Furbach | |

Invited Talk I | |||

09:00-10:00 | Towards Inference and Computation Mobility: The Jinni Experiment | Paul Tarau | |

-Coffee Break- | |||

Theorem Proving I | |||

10:30-11:00 | Analysis of Distributed-Search Contraction-Based Strategies | Maria Paola Bonacina | |

11:00-11:30 | A Deduction Method Complete for Refutation and Finite Satisfiability | Francois Bry, Sunna Torge | |

11:30-12:00 | Requirement-Based Cooperative Theorem Proving | Dirk Fuchs | |

-Lunch Break- | |||

Theorem Proving II | |||

14:00-14:30 | 0-Resolution: An Inference Rule for Regular Multiple-Valued Logics | Sonia M. Leach, James J. Lu, Neil V. Murray, Erik Rosenthal | |

14:30-15:00 | A Matrix Characterization for MELL | Heiko Mantel, Christoph Kreitz | |

15:00-15:30 | A Resolution Calculus for Dynamic Semantics | Christof Monz, Maarten de Rijke | |

-Tea Break- | |||

Theorem Proving III | |||

16:00-16:30 | Algorithms on Atomic Representations of Herbrand Models | Reinhard Pichler | |

Knowledge Representation | |||

16:30-17:00 | On Knowledge, Strings, and Paradoxes | Manfred Kerber | |

17:00-17:30 | Propositional Lower Bounds: Generalization and Algorithms | Marco Cadoli, Luigi Palopoli, Francesco Scarcello | |

Tuesday, October 13, 1998 | |||

Non-Standard Logics I | |||

09:00-09:30 | A Mechanised Proof System for Relation Algebra Using Display Logic | Jeremy E. Dawson, Rajeev Gore | |

09:30-10:00 | Relative Similarity Logics are Decidable: Reduction to FO² with Equality | Stephane Demri, Beata Konikowska | |

-Coffee Break- | |||

Epistemic Logics | |||

10:30-11:00 | Persistence and Minimality in Epistemic Logic | Wiebe van der Hoek, Jan Jaspars, Elias Thijsse | |

11:00-11:30 | Prohairetic Deontic Logic (PDL) | Leendert W.N. van der Torre, Yao-Hua Tan | |

11:30-12:00 | Phased Labeled Logics of Conditional Goals | Leendert W.N. van der Torre | |

-Lunch Break- | |||

Higher Order Logics | |||

14:00-14:30 | Higher Order Generalization | Jianguo Lu, Masateru Harao, Masami Hagiya | |

Logic Programming I | |||

14:30-15:00 | The Well-Founded Semantics Is the Principle of Inductive Definition | Marc Denecker | |

15:00-15:30 | Combining Introspection and Communication with Rationality and Reactivity in Agents | Pierangelo Dell'Acqua, Fariba Sadri, Francesca Toni | |

-Coffee Break- | |||

Logic Programming II | |||

16:00-16:30 | Disjunctive Logic Program = Horn Program + Control Program | Wenjin Lu, Ulrich Furbach | |

16:30-17:00 | Semantics of Partial-Order Programs | Mauricio Osorio | |

Wednesday, October 14, 1998 | |||

Invited Talk II | |||

09:00-10:00 | The Logical Characterization of Goal-Directed Behavior in the Presence of Exogenous Events | Erik Sandewall | |

-Coffee Break- | |||

Non-Standard Logics II | |||

10:30-11:00 | A Conditional Logic for Belief Revision | Laura Giordano, Valentina Gliozzi, Nicola Olivetti | |

11:00-11:30 | Implicates and Reduction Techniques for Temporal Logics | Inman P. de Guzman, Manuel Ojeda-Aciego, Augustin Valverde | |

11:30-12:00 | A Logic for Anytime Deduction and Anytime Compilation | Frederic Koriche | |

-Lunch Break- | |||

Excursion and Banquet | |||

13:15- open | Excursion to IDAR-OBERSTEIN, a nice small
town nearby, located in the low mountain range Hunsrück. Visit of the
Mines of Precious Stones and the Historical Cutting Mill. Banquet with
Idar-Obersteiner Spießbraten, a piece of pork marinated twelve hours
ago with onions, garlic, pepper and salt, grilled on beach wood.
Inclusive for all full participants! |
||

Thursday, October 15, 1998 | |||

Invited Talk III | |||

09:00-10:00 | Compute Intensive Methods in AI | Bart Selman | |

-Coffee Break- | |||

Non-monotonic Reasoning | |||

10:30-11:00 | On the Intertranslatability of Autoepistemic, Default and Priority Logics, and Parallel Circumscription | Tomi Janhunen | |

11:00-11:30 | An Approach to Query-Answering in Reiter's Default Logic and the Underlying Existence of Extensions Problem | Thomas Linke, Torsten Schaub | |

11:30-12:00 | Towards State Update Axioms: Reifying Successor State Axioms | Michael Thielscher | |

-Lunch Break- |

Created and maintained by: Bernd Thomas