[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.
|
|
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- |