Logics in Artificial Intelligence: 8th European Conference, JELIA 2002 Cosenza, Italy, September 23–26, 2002 Proceedings

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