Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Volume
•
Abstracts
•
Preface
•
Authors
•
Keywords
•
BibTex Entries
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
Copyright © 2012-2024 easychair.org. All rights reserved.