ARW-DT 2014 - AUTOMATED REASONING WORKSHOP/DEDUKTIONSTREFFEN PROCEEDINGS: KEYWORD INDEX

Papers Papers with Abstracts Preface Author Index Keyword Index Additional files

Shortcuts: A B C D E F G H I M N P Q R S T U V

A
ai	(AI) Planning to Reconfigure your Robot? (PDF, talk) Using CSP Meta Variables in AI Planning (PDF, talk)
ALCH	Computing Uniform Interpolants of ALCH-Ontologies with Background Knowledge (PDF, talk)
auction theory	Reasoning about Auctions (PDF, talk)
automate reasoning	Models Minimal Modulo Subset-Simulation for Expressive Propositional Modal Logics (PDF, talk)
automated reasoning	Reasoning about Auctions (PDF, talk) Automated Reasoning in Deontic Logic (PDF, talk)
automated theorem proving	The Leo-III Project (PDF, talk)
Autonomous systems	(AI) Planning to Reconfigure your Robot? (PDF, talk)
B
Boolean Algebra and Presburger Arithmetic	Combined Reasoning with Sets and Aggregation Functions (PDF, talk)
C
CDCL algorithm	Extended Resolution in Modern SAT Solving (PDF, talk)
classical logic	On Herbrand theorems for classical and non-classical logics (PDF, talk)
Constraints	Using CSP Meta Variables in AI Planning (PDF, talk)
CSP	Using CSP Meta Variables in AI Planning (PDF, talk)
D
Definability	Second-Order Characterizations of Definientia in Formula Classes (PDF, talk)
Deontic logic	Automated Reasoning in Deontic Logic (PDF, talk)
E
economics	Reasoning about Auctions (PDF, talk)
Expressive Description Logics	Computing Uniform Interpolants of ALCH-Ontologies with Background Knowledge (PDF, talk)
extended resolution	Extended Resolution in Modern SAT Solving (PDF, talk)
F
first-order logic	On Herbrand theorems for classical and non-classical logics (PDF, talk)
Focus Groups	Towards Evaluating the Usability of Interactive Theorem Provers (PDF, talk)
Forgetting	Computing Uniform Interpolants of ALCH-Ontologies with Background Knowledge (PDF, talk)
Forgetting/projection/uniform interpolation	Second-Order Characterizations of Definientia in Formula Classes (PDF, talk)
formal methods	Reasoning about Auctions (PDF, talk)
Formal Verification	Automating Regression Verification (PDF, talk)
functional programming	Reasoning about Auctions (PDF, talk)
G
General resolution	Extended Resolution in Modern SAT Solving (PDF, talk)
H
Herbrand theorem	On Herbrand theorems for classical and non-classical logics (PDF, talk)
Heuristics	Using CSP Meta Variables in AI Planning (PDF, talk)
higher-order	The Leo-III Project (PDF, talk)
Human Reasoning	Automated Reasoning in Deontic Logic (PDF, talk)
hybrid automata	Modular Verification of Interconnected Families of Uniform Linear Hybrid Automata (PDF, talk)
I
Interactive Theorem Provers	Towards Evaluating the Usability of Interactive Theorem Provers (PDF, talk)
Intuitionistic logic	On Herbrand theorems for classical and non-classical logics (PDF, talk) Tableau Development for a Bi-Intuitionistic Tense Logic (PDF, talk)
M
mechanism design	Reasoning about Auctions (PDF, talk)
Minimal model generation	Models Minimal Modulo Subset-Simulation for Expressive Propositional Modal Logics (PDF, talk)
modal logic	On Herbrand theorems for classical and non-classical logics (PDF, talk) Tableau Development for a Bi-Intuitionistic Tense Logic (PDF, talk)
Model generation	Models Minimal Modulo Subset-Simulation for Expressive Propositional Modal Logics (PDF, talk)
modular verification	Modular Verification of Interconnected Families of Uniform Linear Hybrid Automata (PDF, talk)
multi agent	The Leo-III Project (PDF, talk)
N
natural deduction	Socratic Proofs for Propositional Linear-Time Logic (PDF, talk)
normal modal logics	A Resolution-Based Prover for Normal Modal Logics (PDF, talk)
P
parallel deduction	The Leo-III Project (PDF, talk)
parameter synthesis	Modular Verification of Interconnected Families of Uniform Linear Hybrid Automata (PDF, talk)
planning	(AI) Planning to Reconfigure your Robot? (PDF, talk) Using CSP Meta Variables in AI Planning (PDF, talk)
program equivalence	Automating Regression Verification (PDF, talk)
program verification	Combined Reasoning with Sets and Aggregation Functions (PDF, talk)
proof complexity	Extended Resolution in Modern SAT Solving (PDF, talk)
proof search	Socratic Proofs for Propositional Linear-Time Logic (PDF, talk)
Propositional proof system	Extended Resolution in Modern SAT Solving (PDF, talk)
Q
query rewriting	Second-Order Characterizations of Definientia in Formula Classes (PDF, talk)
R
Reconfiguration	(AI) Planning to Reconfigure your Robot? (PDF, talk)
regression verification	Automating Regression Verification (PDF, talk)
resolution	Computing Uniform Interpolants of ALCH-Ontologies with Background Knowledge (PDF, talk)
resolution method	A Resolution-Based Prover for Normal Modal Logics (PDF, talk)
Robots	(AI) Planning to Reconfigure your Robot? (PDF, talk)
S
SAT solving	Extended Resolution in Modern SAT Solving (PDF, talk)
Satisfiability Modulo Theories	Combined Reasoning with Sets and Aggregation Functions (PDF, talk)
search	Using CSP Meta Variables in AI Planning (PDF, talk)
Second-order quantifier elimination	Second-Order Characterizations of Definientia in Formula Classes (PDF, talk)
sequent calculus	On Herbrand theorems for classical and non-classical logics (PDF, talk)
socratic proofs	Socratic Proofs for Propositional Linear-Time Logic (PDF, talk)
SPA	(AI) Planning to Reconfigure your Robot? (PDF, talk)
Strongest Necessary Conditions	Computing Uniform Interpolants of ALCH-Ontologies with Background Knowledge (PDF, talk)
Subset-simulation	Models Minimal Modulo Subset-Simulation for Expressive Propositional Modal Logics (PDF, talk)
superposition	The Leo-III Project (PDF, talk)
T
Tableau	Tableau Development for a Bi-Intuitionistic Tense Logic (PDF, talk)
Tableaux calculi	Models Minimal Modulo Subset-Simulation for Expressive Propositional Modal Logics (PDF, talk)
temporal logic	Socratic Proofs for Propositional Linear-Time Logic (PDF, talk)
term indexing	The Leo-III Project (PDF, talk)
term ordering	The Leo-III Project (PDF, talk)
Theorem-Proving	A Resolution-Based Prover for Normal Modal Logics (PDF, talk)
U
Uniform Interpolation	Computing Uniform Interpolants of ALCH-Ontologies with Background Knowledge (PDF, talk)
Usability	Towards Evaluating the Usability of Interactive Theorem Provers (PDF, talk)
V
verification	Reasoning about Auctions (PDF, talk)