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 |