JELIA 2004: Lisbon, Portugal

Invited Talks

Multi-agent Systems

Logic Programming and Nonmonotonic Reasoning

Reasoning Under Uncertainty

Logic Programming

Actions and Causation

Complexity Issues

Description Logics

Belief Revision

Modal, Spacial, and Temporal Logics

Theorem Proving

Applications

Systems Session