ICLP DOCTORAL CONSORTIUM 2014 ABSTRACTS: KEYWORD INDEX

ICLP Volumes Papers Papers with Abstracts Author Index Keyword Index

Shortcuts: A C D E F G I K L M O P Q R S T U V

A
Algorithm Visualization	Visualization of Constraint Handling Rules (PDF, talk)
answer set programming	Bound Founded Answer Set Programming (PDF, talk)
C
cdf interval	CDF-Intervals: A Reliable Framework to Reason about Data with Uncertainty (PDF, talk)
Constraint Handling Rules	Visualization of Constraint Handling Rules (PDF, talk)
Constraint Programming	CDF-Intervals: A Reliable Framework to Reason about Data with Uncertainty (PDF, talk) Bound Founded Answer Set Programming (PDF, talk)
constraint reasoning	CDF-Intervals: A Reliable Framework to Reason about Data with Uncertainty (PDF, talk)
constraint satisfaction problem	CDF-Intervals: A Reliable Framework to Reason about Data with Uncertainty (PDF, talk)
convex structures	CDF-Intervals: A Reliable Framework to Reason about Data with Uncertainty (PDF, talk)
D
Decision Rules	Logic Programming as Scripting Language for Bots in Computer Games – Research Overview (PDF, talk)
deductive databases	Application of Methods for Syntax Analysis of Context-Free Languages to Query Evaluation of Logic Programs (PDF, talk)
E
Earley deduction	Application of Methods for Syntax Analysis of Context-Free Languages to Query Evaluation of Logic Programs (PDF, talk)
existential rules	The Impact of Disjunction on Reasoning under Existential Rules: Research Summary (PDF, talk)
F
fodot	Model revision inference for extensions of first order logic (PDF, talk)
G
Grounding bottleneck	Bound Founded Answer Set Programming (PDF, talk)
I
idp	Model revision inference for extensions of first order logic (PDF, talk)
K
knowledge representation	Model revision inference for extensions of first order logic (PDF, talk)
L
logic	The Impact of Disjunction on Reasoning under Existential Rules: Research Summary (PDF, talk)
Logic Programming	Logic Programming as Scripting Language for Bots in Computer Games – Research Overview (PDF, talk)
M
model revision	Model revision inference for extensions of first order logic (PDF, talk)
O
ontology	The Impact of Disjunction on Reasoning under Existential Rules: Research Summary (PDF, talk)
P
partial deduction	Application of Methods for Syntax Analysis of Context-Free Languages to Query Evaluation of Logic Programs (PDF, talk)
probabilistic reasoning	Reasoning with Probabilistic Logics (PDF, talk)
probability box	CDF-Intervals: A Reliable Framework to Reason about Data with Uncertainty (PDF, talk)
Prolog	Reasoning with Probabilistic Logics (PDF, talk)
Q
query answering	The Impact of Disjunction on Reasoning under Existential Rules: Research Summary (PDF, talk)
R
reliable constraint reasoning	CDF-Intervals: A Reliable Framework to Reason about Data with Uncertainty (PDF, talk)
S
Scripting Language	Logic Programming as Scripting Language for Bots in Computer Games – Research Overview (PDF, talk)
Source-to-Source Transformation	Visualization of Constraint Handling Rules (PDF, talk)
T
Tableau	Reasoning with Probabilistic Logics (PDF, talk)
tgds	The Impact of Disjunction on Reasoning under Existential Rules: Research Summary (PDF, talk)
U
uncertainty	CDF-Intervals: A Reliable Framework to Reason about Data with Uncertainty (PDF, talk)
V
Video Games	Logic Programming as Scripting Language for Bots in Computer Games – Research Overview (PDF, talk)
Virtual Characters	Logic Programming as Scripting Language for Bots in Computer Games – Research Overview (PDF, talk)