FLOC 2022: FEDERATED LOGIC CONFERENCE 2022

A
Arieli, Ofer	Abductive Reasoning with Sequent-Based Argumentation (Extended Abstract)
B
Baker, Clayton	Asking human reasoners to judge postulates of belief change for plausibility
Balintová, Iveta	Hybrid MHS-MXP ABox Abduction Solver: First Emprical Results
Benz, Chloe	There and Back Again: Combining Nonmonotonic Logical Reasoning and Deep Learning on an Assistive Robot
Bernreiter, Michael	The Effect of Preferences in Abstract Argumentation Under a Claim-Centric View
Boborová, Janka	Hybrid MHS-MXP ABox Abduction Solver: First Emprical Results
Booth, Richard	Truth-Tracking with Non-Expert Information Sources
Borg, Annemarie	Abductive Reasoning with Sequent-Based Argumentation (Extended Abstract)
Bozzato, Loris	Reasoning on Multi-Relational Contextual Hierarchies via Answer Set Programming with Algebraic Measures
C
Casini, Giovanni	Defeasible reasoning in RDFS Situated Conditionals - A Brief Introduction
Costantini, Stefania	Modelling Agents Roles in the Epistemic Logic L-DINF
Cozman, Fabio	Bipolar Argumentation Frameworks with Explicit Conclusions: Connecting Argumentation and Logic Programming
D
de Camargo E Souza Câmara, Igor	Rational defeasible subsumption in DLs with nested quantifiers: the case of ELI_⊥
Di Stefano, Federica	Pointwise Circumscription in Description Logics
Dvořák, Wolfgang	The Effect of Preferences in Abstract Argumentation Under a Claim-Centric View
E
Eiter, Thomas	Hybrid Anwer Set Programming: Opportunities and Challenges
Eiter, Thomas	Reasoning on Multi-Relational Contextual Hierarchies via Answer Set Programming with Algebraic Measures
F
Falakh, Faiq Miftakhul	AGM Revision in Description Logics Under Fixed-Domain Semantics
Findelair, Arthur	There and Back Again: Combining Nonmonotonic Logical Reasoning and Deep Learning on an Assistive Robot
Formisano, Andrea	Modelling Agents Roles in the Epistemic Logic L-DINF
G
Giordano, Laura	From Weighted Conditionals to a Gradual Argumentation Semantics and back
Gloaguen, Kevin	There and Back Again: Combining Nonmonotonic Logical Reasoning and Deep Learning on an Assistive Robot
Gómez Álvarez, Lucia	Modelling Multiple Perspectives by Standpoint-Enhanced Description Logics
H
Haifani, Fajar	Connection-Minimal Abduction in EL via Translation to FOL
Hayashi, Hisashi	Towards Legally and Ethically Correct Online HTN Planning for Data Transfer
Hesse, Matthis	Abductive Reasoning with Sequent-Based Argumentation (Extended Abstract)
Heyninck, Jesse	Conditional Syntax Splitting, Lexicographic Entailment and the Drowning Effect
Homola, Martin	Hybrid MHS-MXP ABox Abduction Solver: First Emprical Results
Hunter, Aaron	Trust Graphs for Belief Revision: Framework and Implementation
K
Kern-Isberner, Gabriele	Conditional Syntax Splitting, Lexicographic Entailment and the Drowning Effect
Kiesel, Rafael	Reasoning on Multi-Relational Contextual Hierarchies via Answer Set Programming with Algebraic Measures
Koopmann, Patrick	Connection-Minimal Abduction in EL via Translation to FOL
M
Marquis, Pierre	Rectifying Classifiers
Matos, Vinícius Bitencourt	Repairing Ontologies via Kernel Pseudo-Contraction
Meyer, Thomas	Asking human reasoners to judge postulates of belief change for plausibility Conditional Syntax Splitting, Lexicographic Entailment and the Drowning Effect Situated Conditionals - A Brief Introduction
O
Ortiz, Magdalena	Pointwise Circumscription in Description Logics
P
Parent, Xavier	On some weakenings of transitivity in the logic of norms (extended abstract)
Pitoni, Valentina	Modelling Agents Roles in the Epistemic Logic L-DINF
Pukancová, Júlia	Hybrid MHS-MXP ABox Abduction Solver: First Emprical Results
R
Rapberger, Anna	The Effect of Preferences in Abstract Argumentation Under a Claim-Centric View Argumentation Frameworks induced by Assumption-based Argumentation: Relating Size and Complexity
Rocha, Victor Hugo	Bipolar Argumentation Frameworks with Explicit Conclusions: Connecting Argumentation and Logic Programming
Rudolph, Sebastian	Modelling Multiple Perspectives by Standpoint-Enhanced Description Logics
Rudolph, Sebastian	AGM Revision in Description Logics Under Fixed-Domain Semantics
S
Satoh, Ken	Towards Legally and Ethically Correct Online HTN Planning for Data Transfer
Scherl, Richard	A situation-calculus model of Knowledge and Belief based on Thinking about Justifications
Singleton, Joseph	Truth-Tracking with Non-Expert Information Sources
Sridharan, Mohan	There and Back Again: Combining Nonmonotonic Logical Reasoning and Deep Learning on an Assistive Robot
Straccia, Umberto	Defeasible reasoning in RDFS
Strass, Hannes	Modelling Multiple Perspectives by Standpoint-Enhanced Description Logics
Strasser, Christian	Abductive Reasoning with Sequent-Based Argumentation (Extended Abstract)
T
Tadey, Sam	Trust Graphs for Belief Revision: Framework and Implementation
Tourret, Sophie	Connection-Minimal Abduction in EL via Translation to FOL
Turhan, Anni-Yasmin	Rational defeasible subsumption in DLs with nested quantifiers: the case of ELI_⊥
U
Ulbricht, Markus	Argumentation Frameworks induced by Assumption-based Argumentation: Relating Size and Complexity
V
Varzinczak, Ivan	Situated Conditionals - A Brief Introduction
Villata, Serena	Fallacious arguments: the place where Knowledge Representation and Argument Mining meet each other
W
Wallner, Johannes P.	Argumentation Frameworks induced by Assumption-based Argumentation: Relating Size and Complexity
Wassermann, Renata	Repairing Ontologies via Kernel Pseudo-Contraction
Weidenbach, Christoph	Connection-Minimal Abduction in EL via Translation to FOL
Woltran, Stefan	The Effect of Preferences in Abstract Argumentation Under a Claim-Centric View
Š
Šimkus, Mantas	Pointwise Circumscription in Description Logics

Disclaimer | Powered by EasyChair Smart Program