Logics in Artificial Intelligence

9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004. Proceedings

Editors:

ISBN: 978-3-540-23242-1 (Print) 978-3-540-30227-8 (Online)

Table of contents (70 chapters)

previous Page of 4
  1. Front Matter

    Pages -

  2. Invited Talks

    1. No Access

      Book Chapter

      Pages 1-1

      Representing and Reasoning with Preferences

    2. No Access

      Book Chapter

      Pages 2-3

      Engineering of Logics for the Content-Based Representation of Information

    3. No Access

      Book Chapter

      Pages 4-4

      Formal Methods in Robotics

  3. Multi-agent Systems

    1. No Access

      Book Chapter

      Pages 5-17

      Games for Cognitive Agents

    2. No Access

      Book Chapter

      Pages 18-30

      Knowledge-Theoretic Properties of Strategic Voting

    3. No Access

      Book Chapter

      Pages 31-43

      The CIFF Proof Procedure for Abductive Logic Programming with Constraints

    4. No Access

      Book Chapter

      Pages 44-56

      Hierarchical Decision Making by Autonomous Agents

    5. No Access

      Book Chapter

      Pages 57-69

      Verifying Communicating Agents by Model Checking in a Temporal Action Logic

    6. No Access

      Book Chapter

      Pages 70-81

      Qualitative Action Theory

    7. No Access

      Book Chapter

      Pages 82-94

      Practical Reasoning for Uncertain Agents

    8. No Access

      Book Chapter

      Pages 95-107

      Modelling Communicating Agents in Timed Reasoning Logics

  4. Logic Programming and Nonmonotonic Reasoning

    1. No Access

      Book Chapter

      Pages 108-120

      On the Relation Between ID-Logic and Answer Set Programming

    2. No Access

      Book Chapter

      Pages 121-133

      An Implementation of Statistical Default Logic

    3. No Access

      Book Chapter

      Pages 134-146

      Capturing Parallel Circumscription with Disjunctive Logic Programs

    4. No Access

      Book Chapter

      Pages 147-160

      Towards a First Order Equilibrium Logic for Nonmonotonic Reasoning

    5. No Access

      Book Chapter

      Pages 161-173

      Characterizations for Relativized Notions of Equivalence in Answer Set Programming

    6. No Access

      Book Chapter

      Pages 174-186

      Equivalence of Logic Programs Under Updates

    7. No Access

      Book Chapter

      Pages 187-199

      Cardinality Constraint Programs

    8. No Access

      Book Chapter

      Pages 200-212

      Recursive Aggregates in Disjunctive Logic Programs: Semantics and Complexity

  5. Reasoning Under Uncertainty

    1. No Access

      Book Chapter

      Pages 213-225

      A Logic for Reasoning About Coherent Conditional Probability: A Modal Fuzzy Logic Approach

previous Page of 4