This book constitutes the refereed proceedings of the 9th European Conference on Logics in Artificial Intelligence, JELIA 2004, held in Lisbon, Portugal, in September 2004.
The 52 revised full papers and 15 revised systems presentation papers presented together with the abstracts of 3 invited talks were carefully reviewed and selected from a total of 169 submissions. The papers are organized in topical sections on multi-agent systems; logic programming and nonmonotonic reasoning; reasoning under uncertainty; logic programming; actions and causation; complexity; description logics; belief revision; modal, spatial, and temporal logics; theorem proving; and applications.The LNAI series reports state-of-the-art results in artificial intelligence re-search, development, and education, at a high level and in both printed and electronic form. Enjoying tight cooperation with the R&D community, with numerous individuals, as well as with prestigious organizations and societies,LNAI has grown into the most comprehensive artificial intelligence research forum available.
The scope of LNAI spans the whole range of artificial intelligence and intelli-gent information processing including interdisciplinary topics in a variety of application fields. The type of material published traditionally includes
-proceedings (published in time for the respective conference)
-post-proceedings (consisting of thoroughly revised final full papers)
-research monographs (which may be based on PhD work)Invited Talks
Representing and Reasoning with Preferences
Engineering of Logics for the Content-Based Representation of Information
Formal Methods in Robotics
Multi-agent Systems
Games for Cognitive Agents
Knowledge-Theoretic Properties of Strategic Voting
The CIFF Proof Procedure for Abductive Logic Programming with Constraints
Hierarchical Decision Making by Autonomous Agents
Vertying Commumcating Agents by Model Checking in a Temporal Action Logic
Qualitative Action Theory(A Comparison of the Semantics of Alternating-Time Temporal Logic
and the Kutschera-Belnap Approach to Agency)
Practical Reasoning for Uncertain Agents
Modeiling Communicating Agents in Timed Reasoning Logics
Logic Programming and Nonmonotonic Reasoning
On the Relation Between ID-Logig and Answer Set Programming
An Implementation of Statistical Default Logic
Capturing Parallel Circumscription with Disjunctive Logic Programs
Towards a First Order Equilibrium Logic for Nonmonotonic Reasoning
Characterizations for Relativized Notions of Equivalence in Answer Set Programming
Equivalence of Logic Programs Under Updates
Cardinality Constraint Programs
Recursive Aggregates in Disjunctive Logic Programs: Semantics and Complexity
Reasoning Under Uncertainty
A Logic for Reasoning About Coherent Conditional Probability: A Modal Fuzzy Logic Approach
A Logic with Conditional Probabilities
Reasoning About Quantum Systems
Sorted Multi-adjoint Logic Programs:Termination Results and Applications
Logic Programming
The Modal Logic Programming System MProlog
　……
Actions and Causation
Complexity Issues
Description Logics
Belief Revision
Modal,Spacial,and Temporal Logics
Theorem Proving
Applications
Systems Ssession
Author Index