DIPARTIMENTO   DI   INFORMATICA Università di Torino

Gian Luca Pozzato Theorem Provers    CondLean 3.2: a Theorem Prover for Conditional Logics    GoalDUCK: a goal-directed theorem prover for Conditional Logics    KLMOptimal: an optimal Theorem Prover KLM Preferential logic P    KLMLean 2.0: a Theorem Prover for KLM Logics of Default Reasoning    FreeP 1.0: a Free-Variables Theorem Prover for KLM Preferential Logic P    CSLLean 1.0: a Theorem Prover for the Logic of Comparative Concept Similarity    NESCOND: an implementation of nested sequent calculi for Conditional Logics    Back to Gian Luca Pozzato's home page