Logics in artificial intelligence : 8th European conference, JELIA 2002, Cosenza, Italy, September 23-26, 2002 : proceedings

This book constitutes the refereed proceedings of the European Conference on Logics in Artificial Intelligence, JELIA 2002, held in Cosenza, Italy in September 2002. The 41 revised full papers presented together with 11 system descriptions and 3 invited contributions were carefuly reviewed and selected from more than 100 submissions. The papers are organized in topical sections on multi-agent systems, evolution and changes, description logic and the semantic web, complexity issues, probabilistic logic, AI planning, modal logic and causal reasoning, theory, reasoning under uncertainty, satisfiability, paraconsisten reasoning, actions and caution, logic for agents, semantics, and optimization issues in answer set semantics. Theeuropeanconferenceonlogicsinaiprovidesamajorbiennialforumforthe Discussion Of Logic-oriented Approaches To Arti?cial Intelligence. Following Pre- Ous Workshops Held In France (1988), The Netherlands (1990), Germany (1992), England (1994), Portugal (1996), Germany (1998), And Spain (2000) The Eighth Conference Was In Cosenza, Italy, September 23–26, 2002. The International Level And The Overall Technical Quality Of This Event Is Now Well Established. As A C- Sequence, The Program Committee Wished To Explicitly Mark Jelia 2002 As A Milestone By Promoting The Event From A “workshop” To A “conference”. Theaimwastobringtogetheractiveresearchersinterestedinallaspectsc- Cerning The Use Of Logics In Arti?cial Intelligence To Discuss Current Research, - Sults,problems,andapplicationsofboththeoreticalandpracticalnature. Jelia Strived To Foster Links And Facilitate Cross-fertilization Of Ideas Among Researchers From Various Disciplines, Among Researchers From Academia, Industry, And G- Ernment, And Between Theoreticians And Practitioners. Thetechnicalprogramofjelia2002comprisedthreeinvitedtalksthatwere Given By Georg Gottlob, Michael Gelfond, And Moshe Y. Vardi And 41 Refereed Contributions Selected By The Program Committee Amongst More Than 100 S- Mittedpapers. Asapartofthetechnicalprogram,theconferencefeaturedas- Cial Session Consisting Of 11 System Presentations. Finally, The Program Included Three Tutorials By V. S. Subrahamanian, Dino Pedreschi And Fosca Giannotti, And Gerald Pfeifer. Multi-agent Systems -- A Logic Programming Language For Multi-agent Systems -- A Proof-system For The Safe Execution Of Tasks In Multi-agent Systems -- An Argumentation Framework For Merging Conflicting Knowledge Bases -- Multi-agent Logics Of Dynamic Belief And Knowledge -- Evolution And Changes -- Evolving Logic Programs -- A Compilation Of Updates Plus Preferences -- Description Logic And Semantic Web -- Towards Service Description Logics -- P- (d): A Probabilistic Extension Of (d) For Probabilistic Ontologies In The Semantic Web -- A Temporal Description Logic For Reasoning Over Conceptual Schemas And Queries -- Complexity Issues -- Polynomial-length Planning Spans The Polynomial Hierarchy -- Complexity Of Multi-agent Systems Behavior -- Complexity And Algorithms For The Matching Of Bag And Set Terms -- Probabilistic Logic -- Non-commutativity And Expressive Deductive Logic Databases -- Using Institutions For The Study Of Qualitative And Quantitative Conditional Logics --^ Planning -- Theoretical And Empirical Aspects Of A Planner In A Multi-agent Environment -- Answer Set Planning Under Action Costs -- Modal Logic And Causal Reasoning -- On Fibring Semantics For Bdi Logics -- A Modal Formulation Of Mccain And Turner’s Theory Of Causal Reasoning -- Second-order Quantifier Elimination In Modal Contexts -- Theory -- Interpolation Theorems For Nonmonotonic Reasoning Systems -- Minimal Answer Computation And Sol -- Decidability Of Interval Temporal Logics Over Split-frames Via Granularity -- Reasoning Under Uncertainty -- Uncertainty And Partial Non-uniform Assumptions In Parametric Deductive Databases -- A Qualitative Reasoning With Nuanced Information -- Satisfiability -- Dependent And Independent Variables In Propositional Satisfiability -- A Dpll-based Calculus For Ground Satisfiability Modulo Theories -- Paraconsistent Reasoning -- Paraconsistent Reasoning Via Quantified Boolean Formulas, I: Axiomatising Signed Systems --^ Three-valued Logics For Inconsistency Handling -- Paraconsistent Logic Programs -- Actions And Causation -- Interpolation Properties Of Action Logic: Lazy-formalization To The Frame Problem -- Reasoning About Actions In Prioritized Default Theory -- Towards A Conditional Logic Of Actions And Causation -- Logics For Agents -- Axiomatising Nash-consistent Coalition Logic -- Representing Possibilities In Relation To Constraints And Agents -- An Abductive Logic Programming Architecture For Negotiating Agents -- Semantics -- Preferred Answer Sets For Ordered Logic Programs -- Implementing Ordered Disjunction Using Answer Set Solvers For Normal Programs -- An Infinite-valued Semantics For Logic Programs With Negation -- Optimization Issues In Answer Set Semantics -- More On Nomore -- Answer Set Programming By Ant Colony Optimization -- Testing The Equivalence Of Logic Programs Under Stable Model Semantics -- System Session -- Argumentative Reasoning With Abel --^ Coba: A Consistency-based Belief Revision System -- Constraint Lingo: A Program For Solving Logic Puzzles And Other Tabular Constraint Problems -- : Integrating Data Mining With Intelligent Query Answering -- Nomore: Non-monotonic Reasoning With Logic Programs -- Process Miner — A Tool For Mining Process Schemes From Event-based Data -- Smiles: A Multi-purpose Learning System -- The Aspps System -- The Dlv System -- The Dlvk Planning System: Progress Report -- Z-log: Applying System-z -- Invited Talks -- Hypergraph Transversal Computation And Related Problems In Logic And Ai -- Alternation -- The Usa-advisor: A Case Study In Answer Set Programming. Sergio Flesca ... [et Al.] (eds.). Includes Bibliographical References And Index. A Logic Programming Language for Multi-agent Systems....Pages 1-13 A Proof-System for the Safe Execution of Tasks in Multi-agent Systems....Pages 14-26 An Argumentation Framework for Merging Conflicting Knowledge Bases....Pages 27-37 Multi-agent Logics of Dynamic Belief and Knowledge....Pages 38-50 Evolving Logic Programs....Pages 50-62 A Compilation of Updates plus Preferences....Pages 62-74 Towards Service Description Logics....Pages 74-85 A Temporal Description Logic for Reasoning over Conceptual Schemas and Queries....Pages 86-97 Polynomial-Length Planning Spans the Polynomial Hierarchy....Pages 98-110 Complexity of Multi-agent Systems Behavior....Pages 111-124 Complexity and Algorithms for the Matching of Bag and Set Terms....Pages 125-136 Non-commutativity and Expressive Deductive Logic Databases....Pages 137-148 Using Institutions for the Study of Qualitative and Quantitative Conditional Logics....Pages 149-160 Theoretical and Empirical Aspects of a Planner in a Multi-agent Environment....Pages 161-172 Answer Set Planning under Action Costs....Pages 173-185 On Fibring Semantics for BDI Logics....Pages 186-197 A Modal Formulation of McCain and Turner’s Theory of Causal Reasoning....Pages 198-210 Second-Order Quantifier Elimination in Modal Contexts....Pages 211-222 Interpolation Theorems for Nonmonotonic Reasoning Systems....Pages 223-232 Minimal Answer Computation and SOL....Pages 233-244 Decidability of Interval Temporal Logics over Split-Frames via Granularity....Pages 245-258 Uncertainty and Partial Non-uniform Assumptions in Parametric Deductive Databases....Pages 259-270 A Qualitative Reasoning with Nuanced Information....Pages 271-282 Dependent and Independent Variables in Propositional Satisfiability....Pages 283-295 A DPLL-Based Calculus for Ground Satisfiability Modulo Theories....Pages 296-307 Paraconsistent Reasoning via Quantified Boolean Formulas, I: Axiomatising Signed Systems....Pages 308-319 Three-Valued Logics for Inconsistency Handling....Pages 320-331 Paraconsistent Logic Programs....Pages 332-344 Interpolation Properties of Action Logic: Lazy-Formalization to the Frame Problem....Pages 345-356 Reasoning about Actions in Prioritized Default Theory....Pages 357-368 Towards a Conditional Logic of Actions and Causation....Pages 369-381 Axiomatising Nash-Consistent Coalition Logic....Pages 382-393 Representing Possibilities in Relation to Constraints and Agents....Pages 394-406 An Abductive Logic Programming Architecture for Negotiating Agents....Pages 407-418 Preferred Answer Sets for Ordered Logic Programs....Pages 419-431 Implementing Ordered Disjunction Using Answer Set Solvers for Normal Programs....Pages 432-443 An Infinite-Valued Semantics for Logic Programs with Negation....Pages 444-456 More on noMoRe....Pages 456-468 Answer Set Programming by Ant Colony Optimization....Pages 468-480 Testing the Equivalence of Logic Programs under Stable Model Semantics....Pages 481-492 Argumentative Reasoning with ABEL....Pages 493-504 COBA: A Consistency-Based Belief Revision System....Pages 505-508 Constraint Lingo: A Program for Solving Logic Puzzles and Other Tabular Constraint Problems....Pages 509-512 NoMoRe: Non-monotonic Reasoning with Logic Programs ....Pages 513-516 Process Miner — A Tool for Mining Process Schemes from Event-Based Data....Pages 517-520 SMILES: A Multi-purpose Learning System....Pages 521-524 The aspps System....Pages 525-528 The DLV System....Pages 529-532 The DLV K Planning System: Progress Report....Pages 533-536 Z-log: Applying System-Z....Pages 537-540 Hypergraph Transversal Computation and Related Problems in Logic and AI....Pages 541-544 Alternation....Pages 545-548 The USA-Advisor: A Case Study in Answer Set Programming....Pages 549-564 ....Pages 565-565