The following pages link to leanTAP (Q21962):
Displaying 42 items.
- Analytic tableaux for all of \(\mathrm{SIXTEEN}_3\) (Q253121) (← links)
- The disconnection tableau calculus (Q877889) (← links)
- IeanCOP: lean connection-based theorem proving (Q1404981) (← links)
- Encoding modal logics in logical frameworks (Q1577344) (← links)
- Tableau reasoning for description logics and its extension to probabilities (Q1653448) (← links)
- VINTE: an implementation of internal calculi for Lewis' logics of counterfactual reasoning (Q1694459) (← links)
- Machine learning guidance for connection tableaux (Q2031418) (← 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)
- (Q2721210) (← links)
- Tableau methods for modal and temporal logics (Q2753601) (← 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)
- Logic programming as a basis for lean automated deduction (Q3129514) (← links)
- CSL-lean: A Theorem-prover for the Logic of Comparative Concept Similarity (Q3185758) (← links)
- (Q3457212) (← links)
- Theorem proving for conditional logics: CondLean and GOALD<i>U</i>CK (Q3643366) (← links)
- (Q4229404) (← links)
- (Q4247078) (← links)
- (Q4247207) (← links)
- (Q4263017) (← links)
- (Q4263019) (← links)
- (Q4263167) (← links)
- lean TAP revisited (Q4399512) (← links)
- Free variable tableaux for propositional modal logics (Q4610317) (← links)
- ileanTAP: An intuitionistic theorem prover (Q4610335) (← links)
- (Q4808815) (← 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)
- Automated Reasoning with Analytic Tableaux and Related Methods (Q5187874) (← links)
- LeanT A P: Lean tableau-based theorem proving (Q5210813) (← links)
- A Multi-engine Theorem Prover for a Description Logic of Typicality (Q5215376) (← links)
- Logics in Artificial Intelligence (Q5394151) (← links)
- KLMLean 2.0: A Theorem Prover for KLM Logics of Nonmonotonic Reasoning (Q5434493) (← links)
- Automated Reasoning with Analytic Tableaux and Related Methods (Q5479291) (← links)
- α lean TA P: A Declarative Theorem Prover for First-Order Classical Logic (Q5504659) (← links)
- Free-variable tableaux for propositional modal logics (Q5955622) (← links)
- Publication:5434493 (← links)
