Università degli Studi di Torino

Gian Luca Pozzato and Nicola Olivetti

GoalDUCK: a goal-directed theorem prover for conditional logic CK

Conditional logics have a long history, and recently they have found several applications in artificial intelligence, such as deductive databases, nonmonotonic reasoning, belief revision. GoalDUCK is a theorem prover implementing a goal-directed proof procedure for the basic system of normal conditional logics CK. If you need some help, please contact: pozzato[at]di.unito.it or consult the user manual.

GoalDuck source code

   Back to Gian Luca Pozzato's home page