KLMLean

swMATH9988MaRDI QIDQ21965FDOQ21965

Author name not available (Why is that?)

Official website: http://www.di.unito.it/~pozzato/klmlean%202.0/

Cited In (13)

• KLMLean 2.0: A Theorem Prover for KLM Logics of Nonmonotonic Reasoning
• tuCLEVER
• Conditional and preferential logics. Proof methods and theorem proving.
• From input/output logics to conditional logics via sequents -- with provers
• CondLean
• CSLLean
• leanTAP
• NESCOND
• ModLeanTAP
• VINTE
• Preserving confidentiality while reacting on iterated queries and belief revisions
• MOIN
• CSL-\textsf{lean}: a theorem-prover for the logic of comparative concept similarity

This page was built for software: KLMLean