JELIA 2006: Liverpool, UK
- Michael Fisher, Wiebe van der Hoek, Boris Konev, Alexei Lisitsa:
Logics in Artificial Intelligence, 10th European Conference, JELIA 2006, Liverpool, UK, September 13-15, 2006, Proceedings. Lecture Notes in Computer Science 4160, Springer 2006, ISBN 3-540-39625-X
Invited Talks
Technical Papers
- Vladimir Aleksic, Anatoli Degtyarev:
On Arbitrary Selection Strategies for Basic Superposition. 20-28 - José Júlio Alferes, Federico Banti, Antonio Brogi:
An Event-Condition-Action Logic Programming Language. 29-42 - Alexander Bolotov, Artie Basukoski, Oleg Grigoriev, Vasilyi Shangin:
Natural Deduction Calculus for Linear-Time Temporal Logic. 56-68 - Pedro Cabalar, Sergei P. Odintsov, David Pearce, Agustín Valverde:
On the Logic and Computation of Partial Equilibrium Models. 82-94 - Francesco Calimeri, Susanna Cozza, Giovambattista Ianni:
Decidable Fragments of Logic Programming with Value Invention. 95-110 - Thomas Eiter, Esra Erdem, Michael Fink, Ján Senko:
Comparing Action Descriptions Based on Semantic Preferences. 124-137 - Christian G. Fermüller, Reinhard Pichler:
Model Representation over Finite and Infinite Signatures. 164-176 - Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, Daniele Zucchelli:
Deciding Extensions of the Theory of Arrays by Integrating Decision Procedures and Instantiation Strategies. 177-189 - Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato:
Analytic Tableau Calculi for KLM Rational Logic R. 190-202 - Sergio Greco, Irina Trubitsyna, Ester Zumpano:
On the Semantics of Logic Programs with Preferences. 203-215 - Hongkai Liu, Carsten Lutz, Maja Milicic, Frank Wolter:
Reasoning About Actions Using Description Logics with General TBoxes. 266-279 - Emiliano Lorini, Andreas Herzig, Cristiano Castelfranchi:
Introducing Attempt in a Modal Logic of Intentional Action. 280-292 - Frederick Maier, Donald Nute:
Ambiguity Propagating Defeasible Logic and the Well-Founded Semantics. 306-318 - Linh Anh Nguyen:
A Bottom-Up Method for the Deterministic Horn Fragment of the Description Logic ALC. 346-358 - Alexander Nittka:
Reasoning About an Agent Based on Its Revision History with Missing Inputs. 373-385
Tool Descriptions
- Joost Vennekens, Marc Denecker, Maurice Bruynooghe:
Representing Causal Information About a Probabilistic Process. 452-464 - Daniel Bryant, Paul J. Krause, Sotiris Moschoyiannis:
A Tool to Facilitate Agent Deliberation. 465-468 - Daniel Bryant, Paul J. Krause:
An Implementation of a Lightweight Argumentation Engine for Agent Applications. 469-472 - Thomas Eiter, Patrick Traxler, Stefan Woltran:
An Implementation for Recognizing Rule Replacements in Non-ground Answer-Set Programs. 477-480 - Nuno A. Fonseca, Fernando M. A. Silva, Rui Camacho:
April - An Inductive Logic Programming System. 481-484 - Enrico Giunchiglia, Marco Maratea:
optsat: A Tool for Solving SAT Related Optimization Problems. 485-489 - Ullrich Hustadt, Dmitry Tishkovsky, Frank Wolter, Michael Zakharyaschev:
Automated Reasoning About Metric and Topology. 490-493 - Claudio Ochoa, Josep Silva, Germán Vidal:
A Slicing Tool for Lazy Functional Logic Programs. 498-501 - Johannes Oetsch, Martina Seidl, Hans Tompits, Stefan Woltran:
ccT: A Correspondence-Checking Tool for Logic Programs Under the Answer-Set Semantics. 502-505 - Massimo Ruffolo, Marco Manna, Lorenzo Gallucci, Nicola Leone, Domenico Saccà:
A Logic-Based Tool for Semantic Information Extraction. 506-510 - Fernando Soler-Toscano, Ángel Nepomuceno-Fernández:
: Tableaux and Resolution for Finite Abduction. 511-514