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


Systems Session

a service of  Schloss Dagstuhl - Leibniz Center for Informatics