PAAR-2010: Keyword Index

KeywordPapers
a
application in ontology reasoningProgress in Automating Higher-Order Ontology Reasoning
automated reasoningAutomated Reasoning in the Simulation of Evolvable Systems
Automated Higher-order Reasoning about Quantales
b
BenchmarkingGridTPT: a distributed platform for Theorem Prover Testing
A Comparison of Solvers for Propositional Dynamic Logic
Boolean extensionality and modalitiesProgress in Automating Higher-Order Ontology Reasoning
c
component systemsAutomated Reasoning in the Simulation of Evolvable Systems
connection calculusUsing the TPTP Language for Representing Derivations in Tableau and Connection Calculi
d
decision proceduresFast Decision Procedure for Propositional Dummett Logic Based on a Multiple Premise Tableau Calculus
A Comparison of Solvers for Propositional Dynamic Logic
Development supportGridTPT: a distributed platform for Theorem Prover Testing
Dummett LogicFast Decision Procedure for Propositional Dummett Logic Based on a Multiple Premise Tableau Calculus
e
Evolvable systemsAutomated Reasoning in the Simulation of Evolvable Systems
g
geometryAutomation for Geometry in Isabelle/HOL
Grid ComputingGridTPT: a distributed platform for Theorem Prover Testing
h
higher-order reasoningAutomated Higher-order Reasoning about Quantales
higher-order theorem provingProgress in Automating Higher-Order Ontology Reasoning
i
IsabelleAutomation for Geometry in Isabelle/HOL
p
Performance aspectsGridTPT: a distributed platform for Theorem Prover Testing
prime implicatesTrie Based Subsumption and Improving the pi-Trie Algorithm
propositional dynamic logicA Comparison of Solvers for Propositional Dynamic Logic
q
QEPCADAutomation for Geometry in Isabelle/HOL
quantaleAutomated Higher-order Reasoning about Quantales
s
simplificationAutomation for Geometry in Isabelle/HOL
subsumptionTrie Based Subsumption and Improving the pi-Trie Algorithm
t
tableau calculusUsing the TPTP Language for Representing Derivations in Tableau and Connection Calculi
tableauxFast Decision Procedure for Propositional Dummett Logic Based on a Multiple Premise Tableau Calculus
testGridTPT: a distributed platform for Theorem Prover Testing
TPTP languageUsing the TPTP Language for Representing Derivations in Tableau and Connection Calculi
TriesTrie Based Subsumption and Improving the pi-Trie Algorithm
typed higher-order form of TPTPAutomated Higher-order Reasoning about Quantales