Logics in Artificial Intelligence: 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004. Proceedings
Author: Jóse Júlio Alferes, João Leite
Published by Springer Berlin Heidelberg
ISBN: 978-3-540-23242-1
DOI: 10.1007/b100483
Table of Contents:
- Representing and Reasoning with Preferences
- Engineering of Logics for the Content-Based Representation of Information
- Formal Methods in Robotics
- 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
- Verifying Communicating Agents by Model Checking in a Temporal Action Logic
- Qualitative Action Theory
- Practical Reasoning for Uncertain Agents
- Modelling Communicating Agents in Timed Reasoning Logics
- On the Relation Between ID-Logic 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
- A Logic for Reasoning About Coherent Conditional Probability: A Modal Fuzzy Logic Approach
Includes bibliographical references and index
