a |
application in ontology reasoning | Progress in Automating Higher-Order Ontology Reasoning |
automated reasoning | Automated Reasoning in the Simulation of Evolvable Systems Automated Higher-order Reasoning about Quantales |
b |
Benchmarking | GridTPT: a distributed platform for Theorem Prover Testing A Comparison of Solvers for Propositional Dynamic Logic |
Boolean extensionality and modalities | Progress in Automating Higher-Order Ontology Reasoning |
c |
component systems | Automated Reasoning in the Simulation of Evolvable Systems |
connection calculus | Using the TPTP Language for Representing Derivations in Tableau and
Connection Calculi |
d |
decision procedures | Fast Decision Procedure for Propositional Dummett Logic Based on a Multiple Premise Tableau Calculus A Comparison of Solvers for Propositional Dynamic Logic |
Development support | GridTPT: a distributed platform for Theorem Prover Testing |
Dummett Logic | Fast Decision Procedure for Propositional Dummett Logic Based on a Multiple Premise Tableau Calculus |
e |
Evolvable systems | Automated Reasoning in the Simulation of Evolvable Systems |
g |
geometry | Automation for Geometry in Isabelle/HOL |
Grid Computing | GridTPT: a distributed platform for Theorem Prover Testing |
h |
higher-order reasoning | Automated Higher-order Reasoning about Quantales |
higher-order theorem proving | Progress in Automating Higher-Order Ontology Reasoning |
i |
Isabelle | Automation for Geometry in Isabelle/HOL |
p |
Performance aspects | GridTPT: a distributed platform for Theorem Prover Testing |
prime implicates | Trie Based Subsumption and Improving the pi-Trie Algorithm |
propositional dynamic logic | A Comparison of Solvers for Propositional Dynamic Logic |
q |
QEPCAD | Automation for Geometry in Isabelle/HOL |
quantale | Automated Higher-order Reasoning about Quantales |
s |
simplification | Automation for Geometry in Isabelle/HOL |
subsumption | Trie Based Subsumption and Improving the pi-Trie Algorithm |
t |
tableau calculus | Using the TPTP Language for Representing Derivations in Tableau and
Connection Calculi |
tableaux | Fast Decision Procedure for Propositional Dummett Logic Based on a Multiple Premise Tableau Calculus |
test | GridTPT: a distributed platform for Theorem Prover Testing |
TPTP language | Using the TPTP Language for Representing Derivations in Tableau and
Connection Calculi |
Tries | Trie Based Subsumption and Improving the pi-Trie Algorithm |
typed higher-order form of TPTP | Automated Higher-order Reasoning about Quantales |