swMATH17667MaRDI QIDQ29522FDOQ29522
scientific article; zbMATH DE number Author name (Why is no real title available?)
Official website: http://link.springer.com/chapter/10.1007/10722086_7
(48)
- Capturing equilibrium models in modal logic
- HOL Based First-Order Modal Logic Provers
- Solving the \$100 modal logic challenge
- First-order resolution methods for modal logics
- The Tableau Workbench
- A subset-matching size-bounded cache for testing satisfiability in modal logics
- MleanCoP: a connection prover for first-order modal logic
- Extensional higher-order paramodulation in Leo-III
- A foundational view on integration problems
- A general tableau method for propositional interval temporal logics: theory and implementation
- Inst-Gen -- a modular approach to instantiation-based automated reasoning
- Simulation and synthesis of deduction calculi
- \(\mathrm{K}_{\mathrm S}\mathrm{P}\) a resolution-based theorem prover for \({\mathsf{K}}_n\): architecture, refinements, strategies and experiments
- LWB
- DAML+OIL
- TSPASS
- LoTREC
- A new methodology for developing deduction methods
- FaCT++
- QMLTP
- GQML
- MetTeL
- pdl-tableau
- KtSeqC
- ModLeanTAP
- Spartacus
- LeoPARD
- TRP++
- HyLoRes
- TWB
- scientific article; zbMATH DE number 1612541 (Why is no real title available?)
- Optimizing a BDD-based modal solver.
- FMLtoHOL
- MleanCoP
- InKreSAT
- CTL-RP
- embed_modal
- KL-ONE
- BDDTab
- SableCC
- Optimizing terminological reasoning for expressive description logics
- An assumption-based approach for solving the minimal S5-satisfiability problem
- Implementing and evaluating provers for first-order modal logics
- MOIN
- Blocking and other enhancements for bottom-up model generation methods
- Reasoning about plan revision in BDI agent programs
- Automated reasoning with analytic tableaux and related methods. International conference, TABLEAUX 2000, St Andrews, Scotland, GB, July 3--7, 2000. Proceedings
- The higher-order prover Leo-III
This page was built for software: MSPASS
