FLOC 2022: FEDERATED LOGIC CONFERENCE 2022

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

A
abduction	Connection-Minimal Abduction in EL via Translation to FOL
abductive logics	Abductive Reasoning with Sequent-Based Argumentation (Extended Abstract)
ABox abduction	Hybrid MHS-MXP ABox Abduction Solver: First Emprical Results
Algebraic Measures	Reasoning on Multi-Relational Contextual Hierarchies via Answer Set Programming with Algebraic Measures
Answer Set Programming	Hybrid Anwer Set Programming: Opportunities and Challenges
Application	Towards Legally and Ethically Correct Online HTN Planning for Data Transfer
argument mining	Fallacious arguments: the place where Knowledge Representation and Argument Mining meet each other
Argumentation	The Effect of Preferences in Abstract Argumentation Under a Claim-Centric View
Argumentation Framework	Bipolar Argumentation Frameworks with Explicit Conclusions: Connecting Argumentation and Logic Programming
ASP	Reasoning on Multi-Relational Contextual Hierarchies via Answer Set Programming with Algebraic Measures
Assumption-based argumentation	Argumentation Frameworks induced by Assumption-based Argumentation: Relating Size and Complexity
B
Belief	A situation-calculus model of Knowledge and Belief based on Thinking about Justifications
belief change	Truth-Tracking with Non-Expert Information Sources Trust Graphs for Belief Revision: Framework and Implementation Rectifying Classifiers
Belief Revision	Repairing Ontologies via Kernel Pseudo-Contraction AGM Revision in Description Logics Under Fixed-Domain Semantics
betterness relation	On some weakenings of transitivity in the logic of norms (extended abstract)
bipolar argumentation	Bipolar Argumentation Frameworks with Explicit Conclusions: Connecting Argumentation and Logic Programming
boolean classifiers	Rectifying Classifiers
C
Circumscription	Pointwise Circumscription in Description Logics
complexity	The Effect of Preferences in Abstract Argumentation Under a Claim-Centric View
computational complexity	Argumentation Frameworks induced by Assumption-based Argumentation: Relating Size and Complexity
computational models of argument	Fallacious arguments: the place where Knowledge Representation and Argument Mining meet each other
conditional reasoning	Situated Conditionals - A Brief Introduction
conflict management	Modelling Multiple Perspectives by Standpoint-Enhanced Description Logics
Cooperative agents	Modelling Agents Roles in the Epistemic Logic L-DINF
Counterfactual Reasoning	Situated Conditionals - A Brief Introduction
Counterfactuals
D
Data Transfer	Towards Legally and Ethically Correct Online HTN Planning for Data Transfer
deep learning	There and Back Again: Combining Nonmonotonic Logical Reasoning and Deep Learning on an Assistive Robot
Defeasible Knowledge	Reasoning on Multi-Relational Contextual Hierarchies via Answer Set Programming with Algebraic Measures
defeasible reasoning	Situated Conditionals - A Brief Introduction From Weighted Conditionals to a Gradual Argumentation Semantics and back Rational defeasible subsumption in DLs with nested quantifiers: the case of ELI_⊥ Defeasible reasoning in RDFS Conditional Syntax Splitting, Lexicographic Entailment and the Drowning Effect
Description Logics	Rational defeasible subsumption in DLs with nested quantifiers: the case of ELI_⊥ Repairing Ontologies via Kernel Pseudo-Contraction Reasoning on Multi-Relational Contextual Hierarchies via Answer Set Programming with Algebraic Measures Hybrid MHS-MXP ABox Abduction Solver: First Emprical Results AGM Revision in Description Logics Under Fixed-Domain Semantics Pointwise Circumscription in Description Logics
dyadic deontic logic	On some weakenings of transitivity in the logic of norms (extended abstract)
E
EL	Connection-Minimal Abduction in EL via Translation to FOL
Epistemic Logics	Modelling Agents Roles in the Epistemic Logic L-DINF
Ethical Reasoning	Towards Legally and Ethically Correct Online HTN Planning for Data Transfer
Expertise	Truth-Tracking with Non-Expert Information Sources
Explainability
Explainable AI	Abductive Reasoning with Sequent-Based Argumentation (Extended Abstract)
expressiveness	Argumentation Frameworks induced by Assumption-based Argumentation: Relating Size and Complexity
F
fallacious argumentation	Fallacious arguments: the place where Knowledge Representation and Argument Mining meet each other
Fixed-domain semantics	AGM Revision in Description Logics Under Fixed-Domain Semantics
FOL	Connection-Minimal Abduction in EL via Translation to FOL
Fuzzy Description Logics	From Weighted Conditionals to a Gradual Argumentation Semantics and back
G
Gradual Argumentation	From Weighted Conditionals to a Gradual Argumentation Semantics and back
H
HTN Planning	Towards Legally and Ethically Correct Online HTN Planning for Data Transfer
human reasoning	Asking human reasoners to judge postulates of belief change for plausibility
hybrid reasoning	Hybrid Anwer Set Programming: Opportunities and Challenges
I
implementations	Trust Graphs for Belief Revision: Framework and Implementation
J
Justifiable Exceptions	Reasoning on Multi-Relational Contextual Hierarchies via Answer Set Programming with Algebraic Measures
Justification Logic	A situation-calculus model of Knowledge and Belief based on Thinking about Justifications
K
Knowledge	A situation-calculus model of Knowledge and Belief based on Thinking about Justifications
Knowledge Graphs
Knowledge integration	Modelling Multiple Perspectives by Standpoint-Enhanced Description Logics
Knowledge Representation	There and Back Again: Combining Nonmonotonic Logical Reasoning and Deep Learning on an Assistive Robot
L
learning	Truth-Tracking with Non-Expert Information Sources
Legal Reasoning	Towards Legally and Ethically Correct Online HTN Planning for Data Transfer
lexicographic inference	Conditional Syntax Splitting, Lexicographic Entailment and the Drowning Effect
logic programming	Bipolar Argumentation Frameworks with Explicit Conclusions: Connecting Argumentation and Logic Programming Towards Legally and Ethically Correct Online HTN Planning for Data Transfer
logic-based ontologies	Hybrid Anwer Set Programming: Opportunities and Challenges
M
Multi-Agent Systems	Modelling Agents Roles in the Epistemic Logic L-DINF
N
neuro-symbolic AI	Hybrid Anwer Set Programming: Opportunities and Challenges
non-monotonic logic	Conditional Syntax Splitting, Lexicographic Entailment and the Drowning Effect
Non-monotonic logical reasoning	There and Back Again: Combining Nonmonotonic Logical Reasoning and Deep Learning on an Assistive Robot
non-monotonic reasoning	Situated Conditionals - A Brief Introduction Rational defeasible subsumption in DLs with nested quantifiers: the case of ELI_⊥ Defeasible reasoning in RDFS Conditional Syntax Splitting, Lexicographic Entailment and the Drowning Effect Pointwise Circumscription in Description Logics
O
Online Planning	Towards Legally and Ethically Correct Online HTN Planning for Data Transfer
ontologies	Hybrid MHS-MXP ABox Abduction Solver: First Emprical Results
Ontology Alignment	Modelling Multiple Perspectives by Standpoint-Enhanced Description Logics
Ontology repair	Repairing Ontologies via Kernel Pseudo-Contraction
P
preference based models	On some weakenings of transitivity in the logic of norms (extended abstract)
preferences	The Effect of Preferences in Abstract Argumentation Under a Claim-Centric View
Pseudo-contraction	Repairing Ontologies via Kernel Pseudo-Contraction
R
rational closure	Defeasible reasoning in RDFS
RDFS	Defeasible reasoning in RDFS
rectification	Rectifying Classifiers
revision postulates	Asking human reasoners to judge postulates of belief change for plausibility
Robotics	There and Back Again: Combining Nonmonotonic Logical Reasoning and Deep Learning on an Assistive Robot
S
sequent-based argumentation	Abductive Reasoning with Sequent-Based Argumentation (Extended Abstract)
situation calculus	A situation-calculus model of Knowledge and Belief based on Thinking about Justifications
structured argumentation	Argumentation Frameworks induced by Assumption-based Argumentation: Relating Size and Complexity
survey	Asking human reasoners to judge postulates of belief change for plausibility
syntax splitting	Conditional Syntax Splitting, Lexicographic Entailment and the Drowning Effect
T
trust	Trust Graphs for Belief Revision: Framework and Implementation
Truth-tracking	Truth-Tracking with Non-Expert Information Sources
Typicality	Rational defeasible subsumption in DLs with nested quantifiers: the case of ELI_⊥
U
update postulates	Asking human reasoners to judge postulates of belief change for plausibility
W
weakenings of transitivity	On some weakenings of transitivity in the logic of norms (extended abstract)
X
XAI

Disclaimer | Powered by EasyChair Smart Program