VSL 2014: VIENNA SUMMER OF LOGIC 2014

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

Disclaimer | Powered by EasyChair Smart Program