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

Papers Papers with Abstracts Preface Author Index Keyword Index Additional files

Shortcuts: B C F G H J K L M N P R S U W

B
Beckert, Bernhard	Towards Evaluating the Usability of Interactive Theorem Provers (PDF, talk)
Bender, Markus	Combined Reasoning with Sets and Aggregation Functions (PDF, talk)
Benzmüller, Christoph	The Leo-III Project (PDF, talk)
Bezerra Silva, George	A Resolution-Based Prover for Normal Modal Logics (PDF, talk)
Bolotov, Alexander	Socratic Proofs for Propositional Linear-Time Logic (PDF, talk)
Böhl, Florian	Towards Evaluating the Usability of Interactive Theorem Provers (PDF, talk)
C
Caminati, Marco B.	Reasoning about Auctions (PDF, talk)
F
Felsing, Dennis	Automating Regression Verification (PDF, talk)
Furbach, Ulrich	Automated Reasoning in Deontic Logic (PDF, talk)
G
Grebing, Sarah	Towards Evaluating the Usability of Interactive Theorem Provers (PDF, talk) Automating Regression Verification (PDF, talk)
Grigoriev, Oleg	Socratic Proofs for Propositional Linear-Time Logic (PDF, talk)
H
Horbach, Matthias	Modular Verification of Interconnected Families of Uniform Linear Hybrid Automata (PDF, talk)
J
Judge, Mark	(AI) Planning to Reconfigure your Robot? (PDF, talk) Using CSP Meta Variables in AI Planning (PDF, talk)
K
Kerber, Manfred	Reasoning about Auctions (PDF, talk)
Klebanov, Vladimir	Automating Regression Verification (PDF, talk)
Koopmann, Patrick	Computing Uniform Interpolants of ALCH-Ontologies with Background Knowledge (PDF, talk)
L
Lange, Christoph	Reasoning about Auctions (PDF, talk)
Lyaletski, Alexander	On Herbrand theorems for classical and non-classical logics (PDF, talk)
M
Manthey, Norbert	Extended Resolution in Modern SAT Solving (PDF, talk)
N
Nalon, Cláudia	A Resolution-Based Prover for Normal Modal Logics (PDF, talk)
P
Papacchini, Fabio	Models Minimal Modulo Subset-Simulation for Expressive Propositional Modal Logics (PDF, talk)
R
Rowat, Colin	Reasoning about Auctions (PDF, talk)
Rydeheard, David	Tableau Development for a Bi-Intuitionistic Tense Logic (PDF, talk)
S
Schmidt, Renate A.	Computing Uniform Interpolants of ALCH-Ontologies with Background Knowledge (PDF, talk) Models Minimal Modulo Subset-Simulation for Expressive Propositional Modal Logics (PDF, talk) Tableau Development for a Bi-Intuitionistic Tense Logic (PDF, talk)
Schon, Claudia	Automated Reasoning in Deontic Logic (PDF, talk)
Shangin, Vasilyi	Socratic Proofs for Propositional Linear-Time Logic (PDF, talk)
Sofronie-Stokkermans, Viorica	Modular Verification of Interconnected Families of Uniform Linear Hybrid Automata (PDF, talk)
Steen, Alexander	The Leo-III Project (PDF, talk)
Stell, John	Tableau Development for a Bi-Intuitionistic Tense Logic (PDF, talk)
Stolzenburg, Frieder	Automated Reasoning in Deontic Logic (PDF, talk)
U
Ulbrich, Mattias	Automating Regression Verification (PDF, talk)
Urbanski, Mariusz	Socratic Proofs for Propositional Linear-Time Logic (PDF, talk)
W
Wernhard, Christoph	Second-Order Characterizations of Definientia in Formula Classes (PDF, talk)
Wisniewski, Max	The Leo-III Project (PDF, talk)