JELIA'98 Schedule

[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