VSL 2014: VIENNA SUMMER OF LOGIC 2014

This page contains an index consisting of author-provided keywords.

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

Disclaimer | Powered by EasyChair Smart Program