FLOC 2022: FEDERATED LOGIC CONFERENCE 2022

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

A
abduction	An API for DL Abduction Solvers
abstraction	Using Abstraction for Interpretable Robot Programs in Stochastic Domains
agent programs	Using Abstraction for Interpretable Robot Programs in Stochastic Domains
Argumentation	Invited Talk: Explaining and Arguing with Facts and Rules
artificial intelligence	Dialogue-Based Explanations of Reasoning in Rule-based Systems
C
clustering	Clustering-Based Approaches for Symbolic Knowledge Extraction
conflicts	Explaining Soft-Goal Conflicts through Constraint Relaxations
constraint programming	Stepwise Explanations of Unsatisfiable Constraint Programs (Extended abstract)
counterfactual explanations	Should counterfactual explanations always be data instances?
D
debugging	Stepwise Explanations of Unsatisfiable Constraint Programs (Extended abstract)
Description Logics	An API for DL Abduction Solvers Explaining Description Logic Entailments in Practice with Evee and Evonne
Dialogue For Explanation	Dialogue-Based Explanations of Reasoning in Rule-based Systems
E
Explainable AI	Clustering-Based Approaches for Symbolic Knowledge Extraction Invited Talk: Explaining and Arguing with Facts and Rules
Explainable Artificial Intelligence	Dialogue-Based Explanations of Reasoning in Rule-based Systems
explanations	Stepwise Explanations of Unsatisfiable Constraint Programs (Extended abstract)
F
formal proofs	Finding Good Proofs for Answers to Conjunctive Queries Mediated by Lightweight Ontologies (Extended Abstract)
H
Heterogeneous knowledge bases	Modular Provenance in Multi-Context Systems
I
inference schemas	Finding Good Proofs for Answers to Conjunctive Queries Mediated by Lightweight Ontologies (Extended Abstract)
Interactive Explanations	On interactive explanations as reasoning
K
Knowledge Graphs	Invited Talk: Explaining and Arguing with Facts and Rules
L
library	Explaining Description Logic Entailments in Practice with Evee and Evonne
M
machine learning classifiers	Should counterfactual explanations always be data instances?
Machine Reasoning	Dialogue-Based Explanations of Reasoning in Rule-based Systems
metric temporal queries	Finding Good Proofs for Answers to Conjunctive Queries Mediated by Lightweight Ontologies (Extended Abstract)
Multi-context systems	Modular Provenance in Multi-Context Systems
N
non-monotonic reasoning	On interactive explanations as reasoning
O
OMQA	Finding Good Proofs for Answers to Conjunctive Queries Mediated by Lightweight Ontologies (Extended Abstract)
ontologies	An API for DL Abduction Solvers
OWL	Explaining Description Logic Entailments in Practice with Evee and Evonne
P
Planning	Explaining Soft-Goal Conflicts through Constraint Relaxations
Probabilistic programs	Using Abstraction for Interpretable Robot Programs in Stochastic Domains
proof representation	Finding Good Proofs for Answers to Conjunctive Queries Mediated by Lightweight Ontologies (Extended Abstract)
Proofs	Explaining Description Logic Entailments in Practice with Evee and Evonne
Protege	Explaining Description Logic Entailments in Practice with Evee and Evonne
Provenance	Modular Provenance in Multi-Context Systems
R
relation-based explanations	Should counterfactual explanations always be data instances?
relaxations	Explaining Soft-Goal Conflicts through Constraint Relaxations
Rule Based	Dialogue-Based Explanations of Reasoning in Rule-based Systems
S
software engineering	An API for DL Abduction Solvers
stochastic actions	Using Abstraction for Interpretable Robot Programs in Stochastic Domains
symbolic knowledge extraction	Clustering-Based Approaches for Symbolic Knowledge Extraction
T
TBA1	Invited Talk: Explanation Generation in Applications of Answer Set Programming
TBA2	Invited Talk: Explanation Generation in Applications of Answer Set Programming
TBA3	Invited Talk: Explanation Generation in Applications of Answer Set Programming
U
unsatisfiable	Stepwise Explanations of Unsatisfiable Constraint Programs (Extended abstract)
V
Visualisation	Explaining Description Logic Entailments in Practice with Evee and Evonne
X
XAI	On interactive explanations as reasoning

Disclaimer | Powered by EasyChair Smart Program