VSL 2014: VIENNA SUMMER OF LOGIC 2014
TALK KEYWORD INDEX

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

A
Abduction
abstract argumentation
abstract dialectical frameworks
Agent Architectures
Algorithm Selection
Answer Set Programming
answer-set programming
argument game
Argumentation
Argumentation frameworks
argumentation semantics
ASP Solver
autoepistemic logic
B
Backtracking
belief change
Belief Merging
belief revision
benchmarks
bipolar argumentation
C
Causality
Causality in Databases
Commonsense reasoning
competitive events
complexity
Compositional Semantics
Computational Complexity
Computational models of argument
constraints-based
D
Databases Repair
datasets
declarative programming
default logic
default negation
default reasoning
defeasible logic program
diagnosis discrimination
Diagnostic Reasoning
Dialogical argumentation
Dialogical Proof Theory
disjunctive answer set programming
disjunctive logic program
Dynamic reasoning
E
existential rules
Experimental Evaluation
expressiveness
F
first-order logic
Forgetting
Fragments of Propositional Logic
I
Implementation
Implementation of dialogical argumentation
inference
K
Knowledge Representation
Knowledge Representation and Reasoning
L
learning
lessons learned
logic of GK
logic programming
M
machine learning
minimal entailment
model expansion
Modular Logic Programming
modularity
multi-context system
N
natural language arguments
non-convex aggregates
Non-monotonic reasoning
nonmonotonic reasoning
O
Object Creation
P
Partially Observable Markov Decision Processes
Preference based Argumentation
preferences on rules
preferred answer sets
Probabilistic Inductive Logic Programming Statistical Relational Learning
program debugging
proof complexity
R
ranking semantics
realizability
Reasoning about Actions and Change
Robotics
S
semantics
sequent calculi
simulations
Stable Models
Story Comprehension
Strategies for dialogical argumentation
strong equivalence
strong negation
T
tableau systems
termination
textual entailment
transformation
Trust
U
Uncertainty Reasoning
updates
W
well-supported models