PAAR-2010: Keyword Index

Keyword	Papers
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