Front matter
1-13
A Logic Programming Language for Multi-agent Systems
Stefania Costantini and Arianna Tocchio
14-26
A Proof-System for the Safe Execution of Tasks in Multi-agent Systems
A. Ciampolini, E. Lamma, P. Mello and P. Torroni
27-37
An Argumentation Framework for Merging Conflicting Knowledge Bases
Leila Amgoud and Simon Parsons
38-50
Multi-agent Logics of Dynamic Belief and Knowledge
Renate A. Schmidt and Dmitry Tishkovsky
50-62
Evolving Logic Programs
José Júlio Alferes, Antonio Brogi, João Alexandre Leite and Luís Moniz Pereira
62-74
A Compilation of Updates plus Preferences
José Júlio Alferes, Pierangelo Dell’Acqua and Luís Moniz Pereira
74-85
Towards Service Description Logics
Piero A. Bonatti
86-97
P-
SHOQ
\mathcal{S}\mathcal{H}\mathcal{O}\mathcal{Q}
(D): A Probabilistic Extension of
SHOQ
\mathcal{S}\mathcal{H}\mathcal{O}\mathcal{Q}
(D) for Probabilistic Ontologies in the Semantic Web
Rosalba Giugno and Thomas Lukasiewicz
98-110
A Temporal Description Logic for Reasoning over Conceptual Schemas and Queries
Alessandro Artale, Enrico Franconi, Frank Wolter and Michael Zakharyaschev
111-124
Polynomial-Length Planning Spans the Polynomial Hierarchy
Hudson Turner
125-136
Complexity of Multi-agent Systems Behavior
Michael Dekhtyar, Alexander Dikovsky and Mars Valiev
137-148
Complexity and Algorithms for the Matching of Bag and Set Terms
Gianluigi Greco and Ester Zumpano
149-160
Non-commutativity and Expressive Deductive Logic Databases
S. Krajči, R. Lencses, J. Medina, M. Ojeda-Aciego and A. Valverde, et al.
161-172
Using Institutions for the Study of Qualitative and Quantitative Conditional Logics
Christoph Beierle and Gabriele Kern-Isberner
173-185
Theoretical and Empirical Aspects of a Planner in a Multi-agent Environment
Jürgen Dix, Hector Munoz-Avila, Dana Nau and Lingling Zhang
186-197
Answer Set Planning under Action Costs
Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer and Axel Polleres
198-210
On Fibring Semantics for BDI Logics
Guido Governatori, Vineet Padmanabhan and Abdul Sattar
211-222
A Modal Formulation of McCain and Turner’s Theory of Causal Reasoning
Graham White
223-232
Second-Order Quantifier Elimination in Modal Contexts
Andrzej Szalas
233-244
Interpolation Theorems for Nonmonotonic Reasoning Systems
Eyal Amir
245-258
Minimal Answer Computation and SOL
Koji Iwanuma and Katsumi Inoue
259-270
Decidability of Interval Temporal Logics over Split-Frames via Granularity
Angelo Montanari, Guido Sciavicco and Nicola Vitacolonna
271-282
Uncertainty and Partial Non-uniform Assumptions in Parametric Deductive Databases
Yann Loyer and Umberto Straccia
283-295
A Qualitative Reasoning with Nuanced Information
Mazen El-Sayed and Daniel Pacholczyk
296-307
Dependent and Independent Variables in Propositional Satisfiability
Enrico Giunchiglia, Marco Maratea and Armando Tacchella
308-319
A DPLL-Based Calculus for Ground Satisfiability Modulo Theories
Cesare Tinelli
320-331
Paraconsistent Reasoning via Quantified Boolean Formulas, I: Axiomatising Signed Systems
Philippe Besnard, Torsten Schaub, Hans Tompits and Stefan Woltran
332-344
Three-Valued Logics for Inconsistency Handling
Sébastien Konieczny and Pierre Marquis
345-356
Paraconsistent Logic Programs
João Alcântara, Carlos Viegas Damásio and Luís Moniz Pereira
357-368
Interpolation Properties of Action Logic: Lazy-Formalization to the Frame Problem
Dongmo Zhang and Norman Foo
369-381
Reasoning about Actions in Prioritized Default Theory
Tran Cao Son and Enrico Pontelli
382-393
Towards a Conditional Logic of Actions and Causation
Laura Giordano and Camilla Schwind
394-406
Axiomatising Nash-Consistent Coalition Logic
Helle Hvid Hansen and Marc Pauly
407-418
Representing Possibilities in Relation to Constraints and Agents
Richard J. Wallace
419-431
An Abductive Logic Programming Architecture for Negotiating Agents
Fariba Sadri, Francesca Toni and Paolo Torroni
432-443
Preferred Answer Sets for Ordered Logic Programs
Davy Van Nieuwenborgh and Dirk Vermeir
444-456
Implementing Ordered Disjunction Using Answer Set Solvers for Normal Programs
G. Brewka, Ilkka Niemelä and Tommi Syrjänen
456-468
An Infinite-Valued Semantics for Logic Programs with Negation
Panos Rondogiannis and William W. Wadge
468-480
More on noMoRe
Thomas Linke, Christian Anger and Kathrin Konczak
481-492
Answer Set Programming by Ant Colony Optimization
Pascal Nicolas, Frédéric Saubion and Igor Stéphan
493-504
Testing the Equivalence of Logic Programs under Stable Model Semantics
Tomi Janhunen and Emilia Oikarinen
505-508
Argumentative Reasoning with ABEL
Rolf Haenni
509-512
COBA: A Consistency-Based Belief Revision System
James P. Delgrande, Aaron Hunter and Torsten Schaub
513-516
Constraint Lingo: A Program for Solving Logic Puzzles and Other Tabular Constraint Problems
Raphael Finkel, Victor W. Marek and Mirosλaw Truszczyński
517-520
LDL - Mine
\mathcal{L}\mathcal{D}\mathcal{L} - \mathcal{M}_{ine}
: Integrating Data Mining with Intelligent Query Answering
Fosca Giannotti and Giuseppe Manco
521-524
NoMoRe: Non-monotonic Reasoning with Logic Programs
Christian Anger, Kathrin Konczak and Thomas Linke
525-528
Process Miner — A Tool for Mining Process Schemes from Event-Based Data
Guido Schimm
529-532
SMILES: A Multi-purpose Learning System
V. Estruch, C. Ferri, J. Hernández and M.J. Ramírez
533-536
The
aspps
System
Deborah East and Mirosλaw Truszczyński
537-540
The DLV System
Nicola Leone, Gerald Pfeifer, Wolfgang Faber, Francesco Calimeri and Tina Dell’Armi, et al.
541-544
The DLVK Planning System: Progress Report
Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer and Axel Polleres
545-548
Z-log: Applying System-Z
Michael Minock and Hansi Kraus
549-564
Hypergraph Transversal Computation and Related Problems in Logic and AI
Thomas Eiter and Georg Gottlob
565
Alternation
Moshe Y. Vardi
566-567
The USA-Advisor: A Case Study in Answer Set Programming
Michael Gelfond
Back matter