JELIA 2004: Lisbon, Portugal

Refine list

showing all ?? records

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

a service of  Schloss Dagstuhl - Leibniz Center for Informatics