leanTAP
From MaRDI portal
LeanTAP
Cited in
(78)- PAG
- SETHEO
- IeanCOP: lean connection-based theorem proving
- lolliCoP
- Encoding modal logics in logical frameworks
- Tableau reasoning for description logics and its extension to probabilities
- VINTE: an implementation of internal calculi for Lewis' logics of counterfactual reasoning
- GrAnDe
- SATCHMO
- E-SETHEO
- LoTREC
- Machine learning guidance for connection tableaux
- The \textsf{nanoCoP 2.0} connection provers for classical, intuitionistic and modal logics
- ileanCoP
- DLog
- CSLLean
- CondLean
- aleanTAP
- KLMLean
- NESCOND
- Prefuse
- Asynchronous knowledge with hidden actions in the situation calculus
- linTAP
- KtSeqC
- ModLeanTAP
- Analytic tableaux for all of \(\mathrm{SIXTEEN}_3\)
- PreDeLo
- scientific article; zbMATH DE number 1612565 (Why is no real title available?)
- Tableau methods for modal and temporal logics
- nanoCoP: a non-clausal connection prover
- TWB
- Implementing a relational theorem prover for modal logic K
- Experimental analysis of some computation rules in a simple parallel reasoning system for the \(\mathcal{ALC}\) description logic
- Logic programming as a basis for lean automated deduction
- CSL-\textsf{lean}: a theorem-prover for the logic of comparative concept similarity
- miniKanren
- KANREN
- SWI-Prolog
- MleanCoP
- 3TAP
- nanoCoP
- PR-OWL
- Implementing and evaluating provers for first-order modal logics
- VINTE
- Theorem proving for conditional logics: CondLean and GOALDUCK
- THOT
- HARP
- METEOR
- Binder
- KL-ONE
- PRIZ
- OntoDLV
- scientific article; zbMATH DE number 1252517 (Why is no real title available?)
- scientific article; zbMATH DE number 1301855 (Why is no real title available?)
- scientific article; zbMATH DE number 1301971 (Why is no real title available?)
- scientific article; zbMATH DE number 1341478 (Why is no real title available?)
- scientific article; zbMATH DE number 1341480 (Why is no real title available?)
- scientific article; zbMATH DE number 1341618 (Why is no real title available?)
- DysToPic
- lean TAP revisited
- Slakje
- Free variable tableaux for propositional modal logics
- \(\mathsf{ileanTAP}\): an intuitionistic theorem prover
- scientific article; zbMATH DE number 2090123 (Why is no real title available?)
- Probabilistic DL reasoning with pinpointing formulas: a Prolog-based approach
- The Tableau Workbench
- HYPNO: Theorem Proving with Hypersequent Calculi for Non-normal Modal Logics (System Description)
- MOIN: A Nested Sequent Theorem Prover for Intuitionistic Modal Logics (System Description)
- Prolog Technology Reinforcement Learning Prover
- SOLAR: a consequence finding system for advanced reasoning
- LeanT A P: Lean tableau-based theorem proving
- A multi-engine theorem prover for a description logic of typicality
- Logics in Artificial Intelligence
- KLMLean 2.0: A Theorem Prover for KLM Logics of Nonmonotonic Reasoning
- Automated Reasoning with Analytic Tableaux and Related Methods
- α lean TA P: A Declarative Theorem Prover for First-Order Classical Logic
- Free-variable tableaux for propositional modal logics
- The disconnection tableau calculus
This page was built for software: leanTAP
