Talk Keyword Index

TALK KEYWORD INDEX

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

Shortcuts: A B C D E G I K L M P S W

A
A.I. in legal practice	A normative model of explanation for binary classification legal AI and its implementation on causal explanations of Answer Set Programming
Action and change	On the generalization of learnt constraints in ASP solving for temporal domains
AI	A Casual Perspective on AI Deception Epistemic Logic Programs: a Novel Perspective and some Extensions
answer set	Assumable Answer Set Programming
Answer Set Programming	Conflict Handling in Product Configuration using Answer Set Programming Constrained Default Logic Programming plingo: A system for probabilistic reasoning in clingo based on lpmln A Semantics For Probabilistic Answer Set Programs With Incomplete Stochastic Knowledge Computing H-Partitions in ASP and Datalog ASP in Industry, here and there
Answer Set Programming (ASP)	A normative model of explanation for binary classification legal AI and its implementation on causal explanations of Answer Set Programming
Answer set programming in dynamic domains	On the generalization of learnt constraints in ASP solving for temporal domains
answer-set programming	Automatic Synthesis of Boolean Networks from Biological Knowledge and Data
ASP	Hard Variants of Stable Marriage Problems: An Empirical Comparison of ASP with Other Computing Paradigms
assumption-based reasoning	Assumable Answer Set Programming
B
Biological Systems	Automatic Synthesis of Boolean Networks from Biological Knowledge and Data
Boolean Network Synthesis	Automatic Synthesis of Boolean Networks from Biological Knowledge and Data
C
CASUAL	A Casual Perspective on AI Deception
CAUSAL	Correct Causal Inference in Probabilistic Logic Programming
causal graphs	A normative model of explanation for binary classification legal AI and its implementation on causal explanations of Answer Set Programming
Classical Model of Science (CMS)	A normative model of explanation for binary classification legal AI and its implementation on causal explanations of Answer Set Programming
Conflict Analysis	Conflict Handling in Product Configuration using Answer Set Programming
Conflict Resolution	Conflict Handling in Product Configuration using Answer Set Programming
Conflict-driven constraint learning	On the generalization of learnt constraints in ASP solving for temporal domains
constrained default logic	Constrained Default Logic Programming
D
Datalog	Computing H-Partitions in ASP and Datalog
declarative programming	Translating Definitions into the Language of Logic Programming: A Case Study
degrees of explainability	A normative model of explanation for binary classification legal AI and its implementation on causal explanations of Answer Set Programming
E
EELP	Epistemic Logic Programs: a Novel Perspective and some Extensions
G
graph partitioning	Computing H-Partitions in ASP and Datalog
I
infinite stable models	Translating Definitions into the Language of Logic Programming: A Case Study
K
Knowledge representation and reasoning	ASP in Industry, here and there
kr	Hard Variants of Stable Marriage Problems: An Empirical Comparison of ASP with Other Computing Paradigms
L
logic program splitting	Constrained Default Logic Programming
logic programming	Assumable Answer Set Programming Computing H-Partitions in ASP and Datalog Hard Variants of Stable Marriage Problems: An Empirical Comparison of ASP with Other Computing Paradigms ASP in Industry, here and there Correct Causal Inference in Probabilistic Logic Programming
LP	A Casual Perspective on AI Deception Epistemic Logic Programs: a Novel Perspective and some Extensions
LP^MLN	plingo: A system for probabilistic reasoning in clingo based on lpmln
M
Minimally Unsatisfiable Subsets	Conflict Handling in Product Configuration using Answer Set Programming
P
Probabilistic	A Semantics For Probabilistic Answer Set Programs With Incomplete Stochastic Knowledge
Probabilistic reasoning	plingo: A system for probabilistic reasoning in clingo based on lpmln Correct Causal Inference in Probabilistic Logic Programming
Product Configuration	Conflict Handling in Product Configuration using Answer Set Programming
programming methodology	Translating Definitions into the Language of Logic Programming: A Case Study
S
safety	Translating Definitions into the Language of Logic Programming: A Case Study
W
Weight learning	A Semantics For Probabilistic Answer Set Programs With Incomplete Stochastic Knowledge