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-2023 easychair.org. All rights reserved.