JELIA 2000: Malaga, Spain

Invited Talks

Knowledge Representation

Reasoning about Actions

Belief Revision

Theorem Proving

Argumentation

Agents

Decidability and Complexity

Updates

Preferences