VSL 2014: VIENNA SUMMER OF LOGIC 2014
TALK KEYWORD INDEX

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

2
2-valued semantics for logic programs
A
Abduction
abductive logic programming
Abductive Reasoning
abstract diagnosis
abstract interpretation
ACT-R
Agent Architectures
agent programming
Aggregates
Algorithm Configuration
Algorithm Schedules
Algorithm Selection
Algorithms Portfolio
Answer Set Programming
Answer Set Programming (ASP)
Answer Set Solving
answer-set programming
anytime algorithms
Approximate inference
Approximation Fixpoint Theory
Artificial Intelligence
Assertions
Automata
B
Belief bias
Big Data
bottom-up evaluation
Bounds-propagation
C
Causality
cautious reasoning
cdf interval
CLP applications
coinduction
complex events
complexity analysis
computational cognitive modeling
computational psychology
concurrency
concurrent constraint paradigm
Concurrent Constraint Programming
Concurrent Programming
Conditional Queries
conflict resolution
confluence
Conservative extensions to stable model semantics
Constraint ASP
Constraint Handling Rules
Constraint Horn Clause
Constraint Logic Program
Constraint Logic Programming
constraint programming
constraint reasoning
constraint satisfaction
constraint satisfaction problem
Contextual Reasoning
continuation passing Prolog
convex structures
Corecursion
Cumulativity
D
data synchronization
Database semantics
Debugging
decision procedures
declarative programming language constructs
deductive databases
default negation
Defectivity
Distributed Constraint Optimization Problems
distributed programming
Distribution Semantics
Domain-specific languages
dynamic consistency checking
Dynamic Domains
Dynamic systems
E
Eager Languages
Epistemic Specification
Excessiveness
Existence
F
first-order logic
Flattening
G
goal-directed
Graphs
Grounding
Guardedness
H
Hash Tries
higher-order
higher-order logic programming
Human Reasoning
I
Implementation
Incremental reasoning
incremental tabling
inferences
infinite-valued logics
Inspection Points
Instance features
Instrospection
Interval solvers
Irregularity
J
Java
K
knowledge base system
Knowledge Representation
Krohn-Rhodes Theory
L
Language Design
Language Interoperability
Lazy Languages
Lifted inference
linear logic
Linear Temporal Logic
Lock-freedom
logic
Logic Progarms
logic program updates
logic programming
logic variables
Loop Detection
LP design and implementation
M
machine learning
Magic Sets
MapReduce Framework
Markov Chain Monte Carlo Techniques
Mass Parallelization
Min-closed constraints
Module systems
Multi-Paradigm Programming
Multi-valued Logic Programming
Mutability
N
negation-as-failure
non-monotonic fixed point theory
Non-monotonic Logic Programming
Non-monotonic reasoning
non-termination
nonmonotonic reasoning
O
Object-Oriented Programming
optimization
P
Parallel Reasoning
partial evaluation
performance
planning
Portfolio Solving
Probabilistic Logic Programming
probability box
ProbLog
production rule systems
program verification
programming
Progression
Prolog
Prolog implementation
Prolog System
proof theory
Q
query answering
Query Evaluation
query languages
R
Rational Terms
Reactive reasoning
reactive systems
Regional Energy Planning
Relevance
reliable constraint reasoning
remote code execution
Resource Usage Analysis
resource-bounded search
S
s
Scalability
semantics
Side-effects
simulation
SLD-resolution
Soft Constraints
software design patterns
Software Verification
stable model semantics
Statistical Relational Artificial Intelligence
Strategic Environmental Assessment
strong negation
T
tabled abduction
Tabling
Term Size Analysis
termination
Three-valued Ɓukasiewicz Logic
transaction logic
transactions
type inference
U
uncertainty
updates
V
Validation
Variable Elimination
W
Weak Completion Semantics
web programming
well-founded model
Well-Founded Semantics
well-supported models
X
XSB Prolog