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.
Author(s): Stefania Costantini, Arianna Tocchio (auth.), Sergio Flesca, Sergio Greco, Giovambattista Ianni, Nicola Leone (eds.)
Series: Lecture Notes in Computer Science 2424 : Lecture Notes in Artificial Intelligence
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2002
Language: English
Pages: 567
Tags: Artificial Intelligence (incl. Robotics); Mathematical Logic and Formal Languages; Programming Techniques
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
