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 |