Pages that link to "Item:Q1904400"
From MaRDI portal
The following pages link to lean\(T^ AP\): Lean tableau-based deduction (Q1904400):
Displayed 30 items.
- leanTAP (Q21962) (← links)
- Analytic tableaux for all of \(\mathrm{SIXTEEN}_3\) (Q253121) (← links)
- The disconnection tableau calculus (Q877889) (← links)
- IeanCOP: lean connection-based theorem proving (Q1404981) (← links)
- Tableau reasoning for description logics and its extension to probabilities (Q1653448) (← links)
- Machine learning guidance for connection tableaux (Q2031418) (← links)
- From input/output logics to conditional logics via sequents -- with provers (Q2142070) (← links)
- The \textsf{nanoCoP 2.0} connection provers for classical, intuitionistic and modal logics (Q2142078) (← links)
- Asynchronous knowledge with hidden actions in the situation calculus (Q2344356) (← links)
- nanoCoP: A Non-clausal Connection Prover (Q2817929) (← links)
- Implementing a relational theorem prover for modal logic (Q3008387) (← links)
- Experimental analysis of some computation rules in a simple parallel reasoning system for the ALC description logic (Q3016275) (← links)
- CSL-lean: A Theorem-prover for the Logic of Comparative Concept Similarity (Q3185758) (← links)
- Theorem proving for conditional logics: CondLean and GOALD<i>U</i>CK (Q3643366) (← links)
- Free variable tableaux for propositional modal logics (Q4610317) (← links)
- ileanTAP: An intuitionistic theorem prover (Q4610335) (← links)
- The disconnection method (Q4645231) (← links)
- Distributed modal theorem proving with KE (Q4645234) (← links)
- The tableau-based theorem prover 3 T A P Version 4.0 (Q4647529) (← links)
- Optimizing proof search in model elimination (Q4647531) (← links)
- Probabilistic DL Reasoning with Pinpointing Formulas: A Prolog-based Approach (Q4957185) (← links)
- The Tableau Workbench (Q4982114) (← links)
- HYPNO: Theorem Proving with Hypersequent Calculi for Non-normal Modal Logics (System Description) (Q5049016) (← links)
- MOIN: A Nested Sequent Theorem Prover for Intuitionistic Modal Logics (System Description) (Q5049018) (← links)
- Prolog Technology Reinforcement Learning Prover (Q5049033) (← links)
- LeanT A P: Lean tableau-based theorem proving (Q5210813) (← links)
- Hyper tableaux (Q5235250) (← links)
- α lean TA P: A Declarative Theorem Prover for First-Order Classical Logic (Q5504659) (← links)
- Fifty Years of Prolog and Beyond (Q6063890) (← links)
- A Survey of the Proof-Theoretic Foundations of Logic Programming (Q6063891) (← links)