default search action
JELIA 1998: Dagstuhl, Germany
- Jürgen Dix, Luis Fariñas del Cerro, Ulrich Furbach:
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
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
Persistence and Minimality in Epistemic Logic. 62-76 - Leendert W. N. van der Torre
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
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 FO2 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
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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-21 20:16 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: