LPNMR 2015: 13TH INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING AND NONMONOTONIC REASONING
TALK KEYWORD INDEX

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

A
Abduction
Abstraction Hierarchy
Action Language
action languages
Acyclicity
algebraic specifications
Algorithm Selection
Answer Set
answer set planning
Answer Set Programming
answer set programming modulo theories
Answer Set Solving
Applications of Answer Set Programming
Applications of Logic Programming
Applications of Non Monotonic Reasoning
Artificial Intelligence
ASP
ASP computational tasks
ASP modulo Theories
ASP systems
Automated inference
automatic configuration tuning
Automatic Investigation
B
belief change
belief merging
binary decision diagram
Boolean formula simplification
C
Causality
CDCL
clause learning
Cognitive Robotics
commonsense reasoning
complexity
computational complexity
conceptual blending
Conditionals
configuration problem
Constraint Processing
D
Debugging
descriptive goal
diagnostic reasoning
Digital Forensics
dl-programs
Domain Specific Heuristic
dynamic programming algorithms
dynamic systems
E
elementary program transformations
Expanding Herbrand Universe
Explanation
Extensions of Answer Set Programming
External data search
F
Forensic models
forest logic programs
fully enriched automata
fuzzy and many-valued logic
G
geometric and qualitative spatial reasoning
goal-directed query evaluation
Graded Modality
H
heuristics
Human Reasoning
I
implementation
Inconsistency
infinitary propositional logic
Integration of logics
Intelligent Agents
J
justifications
K
knowledge compilation
L
Legal reasoning
libraries of knowledge
logic of here-and-there
Logic Programming
Logical Agents
Lukasiewicz logic
M
magic sets
Mobile Robot
modular systems
Modularity
module theorem
Multi-Context Systems
Multivalued
N
natural language processing
Negation
Non Monotonic Reasoning
non-monotonic reasoning
O
object-oriented modeling
online answer set solving
Ontology-based Data Access
open answer set programming
open-world assumption
Optimization
Order Encoding
P
Parallel solving
partial evaluation
performance analysis
plan failure analysis
Preference Handling
probabilistic inference
probabilistic logic programming
ProbLog
product configuration
Python
R
Reasoning about Actions
Reasoning about Actions and Change
relationship between formalisms
reuse of knowledge
S
satisfiability
Semantics
Shift Design Problem
software systems
stable models
system optimization
System Synthesis
T
Task planning
Three-valued Lukasiewicz Semantics
tree decomposition
W
Weak Completion Semantics
Well-founded Semantics