Table of Contents

• A Logic Programming Language for Multi-agent SystemsStefania Costantini, Arianna Tocchio. 1-13 [doi]
• A Proof-System for the Safe Execution of Tasks in Multi-agent SystemsAnna Ciampolini, Evelina Lamma, Paola Mello, Paolo Torroni. 14-26 [doi]
• An Argumentation Framework for Merging Conflicting Knowledge BasesLeila Amgoud, Simon Parsons. 27-37 [doi]
• Multi-agent Logics of Dynamic Belief and KnowledgeRenate A. Schmidt, Dmitry Tishkovsky. 38-49 [doi]
• Evolving Logic ProgramsJosé Júlio Alferes, Antonio Brogi, João Alexandre Leite, Luís Moniz Pereira. 50-61 [doi]
• A Compilation of Updates plus PreferencesJosé Júlio Alferes, Pierangelo Dell Acqua, Luís Moniz Pereira. 62-73 [doi]
• Towards Service Description LogicsPiero A. Bonatti. 74-85 [doi]
• P-SHOQ(D): A Probabilistic Extension of SHOQ(D) for Probabilistic Ontologies in the Semantic WebRosalba Giugno, Thomas Lukasiewicz. 86-97 [doi]
• A Temporal Description Logic for Reasoning over Conceptual Schemas and QueriesAlessandro Artale, Enrico Franconi, Frank Wolter, Michael Zakharyaschev. 98-110 [doi]
• Polynomial-Length Planning Spans the Polynomial HierarchyHudson Turner. 111-124 [doi]
• Complexity of Multi-agent Systems BehaviorMichael I. Dekhtyar, Alexander Ja. Dikovsky, Mars K. Valiev. 125-136 [doi]
• Complexity and Algorithms for the Matching of Bag and Set TermsGianluigi Greco, Ester Zumpano. 137-148 [doi]
• Non-commutativity and Expressive Deductive Logic DatabasesStanislav Krajci, Rastislav Lencses, Jesús Medina, Manuel Ojeda-Aciego, Agustín Valverde, Peter Vojtás. 149-160 [doi]
• Using Institutions for the Study of Qualitative and Quantitative Conditional LogicsChristoph Beierle, Gabriele Kern-Isberner. 161-172 [doi]
• Theoretical and Empirical Aspects of a Planner in a Multi-agent EnvironmentJürgen Dix, Héctor Muñoz-Avila, Dana S. Nau, Lingling Zhang. 173-185 [doi]
• Answer Set Planning under Action CostsThomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres. 186-197 [doi]
• On Fibring Semantics for BDI LogicsGuido Governatori, Vineet Padmanabhan, Abdul Sattar. 198-210 [doi]
• A Modal Formulation of McCain and Turner s Theory of Causal ReasoningGraham White. 211-222 [doi]
• Second-Order Quantifier Elimination in Modal ContextsAndrzej Szalas. 223-232 [doi]
• Interpolation Theorems for Nonmonotonic Reasoning SystemsEyal Amir. 233-244 [doi]
• Minimal Answer Computation and SOLKoji Iwanuma, Katsumi Inoue. 245-258 [doi]
• Decidability of Interval Temporal Logics over Split-Frames via GranularityAngelo Montanari, Guido Sciavicco, Nicola Vitacolonna. 259-270 [doi]
• Uncertainty and Partial Non-uniform Assumptions in Parametric Deductive DatabasesYann Loyer, Umberto Straccia. 271-282 [doi]
• A Qualitative Reasoning with Nuanced InformationMazen El-Sayed, Daniel Pacholczyk. 283-295 [doi]
• Dependent and Independent Variables in Propositional SatisfiabilityEnrico Giunchiglia, Marco Maratea, Armando Tacchella. 296-307 [doi]
• A DPLL-Based Calculus for Ground Satisfiability Modulo TheoriesCesare Tinelli. 308-319 [doi]
• Paraconsistent Reasoning via Quantified Boolean Formulas, I: Axiomatising Signed SystemsPhilippe Besnard, Torsten Schaub, Hans Tompits, Stefan Woltran. 320-331 [doi]
• Three-Valued Logics for Inconsistency HandlingSébastien Konieczny, Pierre Marquis. 332-344 [doi]
• Paraconsistent Logic ProgramsJoão Alcântara, Carlos Viegas Damásio, Luís Moniz Pereira. 345-356 [doi]
• Interpolation Properties of Action Logic: Lazy-Formalization to the Frame ProblemDongmo Zhang, Norman Y. Foo. 357-368 [doi]
• Reasoning about Actions in Prioritized Default TheoryTran Cao Son, Enrico Pontelli. 369-381 [doi]
• Towards a Conditional Logic of Actions and CausationLaura Giordano, Camilla Schwind. 382-393 [doi]
• Axiomatising Nash-Consistent Coalition LogicHelle Hvid Hansen, Marc Pauly. 394-406 [doi]
• Representing Possibilities in Relation to Constraints and AgentsRichard J. Wallace. 407-418 [doi]
• An Abductive Logic Programming Architecture for Negotiating AgentsFariba Sadri, Francesca Toni, Paolo Torroni. 419-431 [doi]
• Preferred Answer Sets for Ordered Logic ProgramsDavy Van Nieuwenborgh, Dirk Vermeir. 432-443 [doi]
• Implementing Ordered Disjunction Using Answer Set Solvers for Normal ProgramsGerhard Brewka, Ilkka Niemelä, Tommi Syrjänen. 444-455 [doi]
• An Infinite-Valued Semantics for Logic Programs with NegationPanos Rondogiannis, William W. Wadge. 456-467 [doi]
• More on noMoReThomas Linke, Christian Anger, Kathrin Konczak. 468-480 [doi]
• Answer Set Programming by Ant Colony OptimizationPascal Nicolas, Frédéric Saubion, Igor Stéphan. 481-492 [doi]
• Testing the Equivalence of Logic Programs under Stable Model SemanticsTomi Janhunen, Emilia Oikarinen. 493-504 [doi]
• Argumentative Reasoning with ABELRolf Haenni. 505-508 [doi]
• COBA: A Consistency-Based Belief Revision SystemJames P. Delgrande, Aaron Hunter, Torsten Schaub. 509-512 [doi]
• Constraint Lingo: A Program for Solving Logic Puzzles and Other Tabular Constraint ProblemsRaphael A. Finkel, V. Wiktor Marek, Miroslaw Truszczynski. 513-516 [doi]
• LDL-M::ine::: Integrating Data Mining with Intelligent Query AnsweringFosca Giannotti, Giuseppe Manco. 517-520 [doi]
• NoMoRe : Non-monotonic Reasoning with Logic ProgramsChristian Anger, Kathrin Konczak, Thomas Linke. 521-524 [doi]
• Process Miner - A Tool for Mining Process Schemes from Event-Based DataGuido Schimm. 525-528 [doi]
• SMILES: A Multi-purpose Learning SystemVicent Estruch, César Ferri, José Hernández-Orallo, M. José Ramírez-Quintana. 529-532 [doi]
• The aspps SystemDeborah East, Miroslaw Truszczynski. 533-536 [doi]
• The DLV SystemNicola Leone, Gerald Pfeifer, Wolfgang Faber, Francesco Calimeri, Tina Dell Armi, Thomas Eiter, Georg Gottlob, Giovambattista Ianni, Giuseppe Ielpa, Christoph Koch, Simona Perri, Axel Polleres. 537-540 [doi]
• The DLV:::K::: Planning System: Progress ReportThomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres. 541-544 [doi]
• Z-log: Applying System-ZMichael Minock, Hansi Kraus. 545-548 [doi]
• Hypergraph Transversal Computation and Related Problems in Logic and AIThomas Eiter, Georg Gottlob. 549-564 [doi]
• AlternationMoshe Y. Vardi. 565 [doi]
• The USA-Advisor: A Case Study in Answer Set ProgrammingMichael Gelfond. 566-568 [doi]