VSL 2014: VIENNA SUMMER OF LOGIC 2014
TALK KEYWORD INDEX

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

A
Abductive Reasoning
abstract argumentation
abstract argumentation semantics
Abstraction
action and change
Action histories
aggregators in probabilistic models
Algebra of maps
Allen algebra
alternating temporal logic
angry birds
Answer Set Programming
applied KR for design computing
Approximation Fixpoint Theory
Argumentation
argumentation framework
Argumentation frameworks
argumentation semantics
artifact-centric systems
ATL
Automata-Based Reasoning
automated reasoning
awareness
axiomatization
Ayciclicity conditions
B
belief base
Belief bias
belief change
Belief Merging
belief revision
Boolean games
boosting completeness
Branching Time
Business Process Management
C
Causality
causation
certain answers
certain knowledge
chaining predictors
Classical Planning
cognitive robotics
Combined Approach
combined complexity
complexity
complexity analysis
complexity theory
comprehension model
Computational Complexity
computational logic
computational model of narrative
Computational Pragmatics
computer-aided architecture design
Concept Similarity
conformant planning
ConGolog
constructive negation
Contextual Reasoning
contingent planning
continuous noise in effectors and sensors
contraction
D
data complexity
Data-aware dynamic systems
database querying
decidability and complexity
decision diagrams
decision rules
declarative modeling
default logic
defeasible reasoning
degrees of belief
deontic logic
dependence
Description logic
Description Logics
Description Logics and Ontologies
diagnosis
Dialogue Modeling
Dominance
doxastic logic
dynamic logic
E
egalitarianism
empirical analysis
epistemic logic
epistemic planning
Equality constraints
equilibrium logic
Equilibrium Semantics
Exact Learning
existential rules
Experimental Evaluation
expressiveness
F
finite satisfiability
first-order
first-order logic
first-order logic of discrete linear order
fixed-parameter tractability
Forgetting
Forgetting in Reasoning about Actions
Forgetting in the Situation Calculus
formalization
Fuzzy Description Logics
G
Game theory
general theory of stable models
Generalized databases
Golog
Grounded Equilibrium Semantics
Gödel Semantics
H
higher-order logic programming
Horn logic
Human Reasoning
I
identity
incomplete databases
inconsistency in probabilistic knowledge bases
inconsistency measures
IndiGolog
Infinitary Formulas
Informal semantics
Input/output logic
Inspection Points
Intention and Belief
iterative process
J
Jeffrey's rule of conditioning
Judgment Aggregation
justified belief
K
Knowledge Acquisition and Forgetting
knowledge compilation
Knowledge Representation
L
labellings enumeration algorithm
Lifted inference
Linked Data
logic
logic programming
logical difference
logistic regression
Lukasiewicz logic
M
machine learning
Maps of graphs
Mathematical Morphology
minimal change
minimal network
missing information
modal logic
Modal Temporal Logics
model checking
model counting
model theory of incompleteness
models of incompleteness
Multi Context Systems
Multi-agent systems
multiagent dynamic systems
N
Narrative
Nash equilibrium
negation as failure
nominal schemas
Non-circular Justifications
non-classical logics
Non-monotonic reasoning
nonmonotonic reasoning
Normative reasoning
O
OBDD
ontology
ontology languages
open/closed world semantics
Ordered Disjunction
P
parameter estimation
PCA
Pearl's virtual evidence method
performance prediction
Petri nets
planning
Planning and Pseudo-boolean Optimization
Planning as Satisfiability
Plausibility Rankings
Polynomial Hierarchy
population size in relational models
Possibilistic networks
Preference
Preorders
preserving soundness
prime network
probabilistic logic
probabilistic logics
probabilistic models
Process Adaptation
Product Modal Logics
program semantics
program verification
Progression
progression of basic action theories
Projection
proof procedure
propositional assignments
propositional closure
psychological validation
Pure Nash Equilibria
Q
qualitative algebras
qualitative constraint networks
qualitative spatial reasoning
query answering
query entailment
Query Evaluation
query rewriting
R
rationality
reasoner
reasoning about action and change
reasoning about actions
Reasoning about Actions and Change
reasoning about knowledge and action
reasoning about knowledge and belief
Reasoning under uncertain inputs
Reductions to SAT
redundancy
region connection calculus
regular path queries
relational logistic regression
relational probabilistic models
Relevance
Relevance Theory
Reordering
revision
rough sets
rules
S
Satisfiability in Alternating-time Temporal Logic
Sceptical reasoning
Semantic Web
Semantics and pragmatics
Semantics of Aggregates
Semantics of Conditional Literals
Side-effects
similarity
situation calculus
Skolemization
Social Choice
social choice theory
software description
specificity
stability
stability analysis
stable model semantics
standard reasoning
State-boundedness
Story Telling
story understanding
strategies
strong equivalence
structural equations
Succinctness
T
Tableau-based Decision Methods
Temporal Description Logics
temporal logic
Temporal projection
Temporal Reasoning
Three-valued Lukasiewicz Logic
three-valued semantics
Time Travel
treewidth
U
Uniform Interpolation
Uniform interpolation and forgetting
update
V
verification
visual and spatial cognition and computation
W
Weak Completion Semantics
Web of Linked Data
Well-Founded Semantics
Winograd Schema Challenge
Winograd Schemas
world view