FLOC 2022: FEDERATED LOGIC CONFERENCE 2022

A
Aguilera, Juan	A Gödel calculus for Linear Temporal Logic
Albini, Emanuele	Influence-Driven Explanations for Bayesian Network Classifiers
Alechina, Natasha	Automatic Synthesis of Dynamic Norms for Multi-Agent Systems
Artikis, Alexander	Stream Reasoning with Cycles
Aspis, Yaniv	Embed2Sym - Scalable Neuro-Symbolic Reasoning via Clustered Embeddings
B
Baader, Franz	Pushing Optimal ABox Repair from EL Towards More Expressive Horn-DLs
Baker, Clayton	Do Humans Find Postulates of Belief Change Plausible?
Baldazzi, Teodoro	On the Relationship between Shy and Warded Datalog+/-
Baltag, Alexandru	The Topology of Surprise
Baroni, Pietro	Influence-Driven Explanations for Bayesian Network Classifiers Explaining Causal Models with Argumentation: the Case of Bi-variate Reinforcement
Beierle, Christoph	Inference with System W Satisfies Syntax Splitting Iterated Belief Change, Computationally
Bellomarini, Luigi	On the Relationship between Shy and Warded Datalog+/-
Berthold, Matti	On Syntactic Forgetting with Strong Persistence
Bezhanishvili, Nick	The Topology of Surprise
Bienvenu, Meghyn	Querying Inconsistent Prioritized Data with ORBITS: Algorithms, Implementation, and Experiments LACE: A Logical Approach to Collective Entity Resolution Counting queries over ELHI⊥ ontologies
Blümel, Lydia	Impact of Logic Paradigms on Abstract Argumentation Defining Defense and Defeat in Abstract Argumentation From Scratch -- A Generalizing Approach
Bonatti, Piero	Sticky Policies in OWL2: Extending PL with fixpoints and Transitive Closure
Bonet, Blai	Learning generalized policies without supervision using GNNs
Booth, Richard	Who’s the Expert? On Multi-source Belief Change
Bordini, Rafael H.	Towards an Enthymeme-Based Communication Framework in Multi-Agent Systems
Bouraoui, Zied	Region-Based Merging of Open-Domain Terminological Knowledge
Bourgaux, Camille	Querying Inconsistent Prioritized Data with ORBITS: Algorithms, Implementation, and Experiments Revisiting Semiring Provenance for Datalog
Bourhis, Pierre	Revisiting Semiring Provenance for Datalog
Bright, Curtis	Solving Lam's Problem via SAT and Isomorph-Free Exhaustive Generation
Broda, Krysia	Embed2Sym - Scalable Neuro-Symbolic Reasoning via Clustered Embeddings
C
Calegari, Roberta	Symbolic Knowledge Extraction from Opaque Machine Learning Predictors: GridREx & PEDRO
Carral, David	Normalisations of Existential Rules: Not so Innocuous!
Casini, Giovanni	A Minimal Deductive System for RDFS with Negative Statements A General Framework for Modelling Conditional Reasoning - Preliminary Report
Cheung, Kevin K. H.	Solving Lam's Problem via SAT and Isomorph-Free Exhaustive Generation
Chingoma, Julian	Simulating Multiwinner Voting Rules in Judgment Aggregation
Choi, Yejin	Neuro-Symbolic Adventures on Commonsense Knowledge and Reasoning
Cima, Gianluca	LACE: A Logical Approach to Collective Entity Resolution
Classen, Jens	Projection of Belief in the Presence of Nondeterministic Actions and Fallible Sensing
Cozman, Fabio	A Credal Least Undefined Stable Semantics for Probabilistic Logic Programs and Probabilistic Argumentation
Cuenca Grau, Bernardo	Faithful Approaches to Rule Learning
D
De Bortoli, Filippo	Filippo De Bortoli - Reasoning Efficiently with Description Logics that Count
De Giacomo, Giuseppe	Automatic Synthesis of Dynamic Norms for Multi-Agent Systems Act for Your Duties but Maintain Your Rights
de Haan, Ronald	Simulating Multiwinner Voting Rules in Judgment Aggregation
de Sousa Ribeiro, Manuel	Looking Inside the Black-Box: Logic-based Explanations for Neural Networks
Delgrande, James	Projection of Belief in the Presence of Nondeterministic Actions and Fallible Sensing
Dhami, Devendra	Neural-Probabilistic Answer Set Programming Sum-Product Loop Programming: From Probabilistic Circuits to Loop Programming
Diéguez, Martín	A Gödel calculus for Linear Temporal Logic
Dvořák, Wolfgang	Rediscovering Argumentation Principles Utilizing Collective Attacks
E
Eiter, Thomas	ALASPO: An Adaptive Large-Neighbourhood ASP Optimiser Chasing streams with existential rules
Endriss, Ulle	Simulating Multiwinner Voting Rules in Judgment Aggregation
Erdem, Esra	A General Framework for Stable Roommates Problems using Answer Set Programming Reasoning about Cardinal Directions between 3-Dimensional Extended Objects using Answer Set Programming Hybrid Conditional Planning for Robotic Applications (Extended Abstract)
F
Favorito, Marco	On the Relationship between Shy and Warded Datalog+/-
Fernández-Duque, David	The Topology of Surprise A Gödel calculus for Linear Temporal Logic
Ferreira, João	Looking Inside the Black-Box: Logic-based Explanations for Neural Networks
Fichte, Johannes K.	Rushing and Strolling among Answer Sets -- Navigation Made Easy (Extended Abstract)
Fidan, Müge	A General Framework for Stable Roommates Problems using Answer Set Programming
Fijalkow, Nathanaël	Private and public affairs in strategic reasoning
Flaminio, Tommaso	Compound conditionals as random quantities and Boolean algebras
Fortin, Marie	Interpolants and Explicit Definitions in Extensions of the Description Logic EL Unique Characterisability and Learnability of Temporal Instance Queries
G
Gabbay, Dov	Dynamic Deontic Logic for Permitted Announcements
Gaggl, Sarah Alice	Rushing and Strolling among Answer Sets -- Navigation Made Easy (Extended Abstract)
Ganesh, Vijay	Solving Lam's Problem via SAT and Isomorph-Free Exhaustive Generation
Gebser, Martin	Lifting Symmetry Breaking Constraints with Inductive Logic Programming
Geffner, Hector	Learning generalized policies without supervision using GNNs
Geibinger, Tobias	ALASPO: An Adaptive Large-Neighbourhood ASP Optimiser
Gerevini, Alfonso Emilio	Online Grounding of Symbolic Planning Domains in Unknown Environments
Gigante, Nicola	On the Expressive Power of Intermediate and Conditional Effects in Temporal Planning
Gilio, Angelo	Compound conditionals as random quantities and Boolean algebras
Giordano, Laura	A conditional, a fuzzy and a probabilistic interpretation of self-organising maps (Abstract)
Glauer, Martin	Structure-based ontology extensions
Gliozzi, Valentina	A conditional, a fuzzy and a probabilistic interpretation of self-organising maps (Abstract)
Godo, Lluis	Compound conditionals as random quantities and Boolean algebras
Gonçalves, Ricardo	Looking Inside the Black-Box: Logic-based Explanations for Neural Networks
Gottlob, Georg	Rule Learning over Knowledge Graphs with Genetic Logic Programming
Gunawan, Alvaro	Investigating Novel Representations and Deep Reinforcement Learning for General Game Playing A Graph Neural Network Reasoner for Game Description Language
Gutierrez-Basulto, Victor	LACE: A Logical Approach to Collective Entity Resolution Finite Entailment of UCRPQs over ALC Ontologies
Gutowski, Albert	Decidability Limits of Finite Ontology-Mediated Query Entailment Finite Entailment of UCRPQs over ALC Ontologies
Gómez Álvarez, Lucía	Automating Reasoning with Standpoint Logic via Nested Sequents
H
Hahn, Ulrike	Probabilities, Reasoning, and Argumentation
Haldimann, Jonas	Inference with System W Satisfies Syntax Splitting Relevance in Reasoning with and Revision of Conditional Beliefs
Haret, Adrian	An Axiomatic Approach to Revising Preferences (Extended Abstract)
Higuera, Nelson	ALASPO: An Adaptive Large-Neighbourhood ASP Optimiser
Huang, Xiaowei	A Graph Neural Network Reasoner for Game Description Language
Hunter, Anthony	From Non-monotonic Reasoning to Argumentation and Commonsense (Great Moments in KR Talk)
I
Ibanez-Garcia, Yazmin	Finite Entailment of UCRPQs over ALC Ontologies
Irwin, Benjamin	Forecasting Argumentation Frameworks
Izmirlioglu, Yusuf	Reasoning about Cardinal Directions between 3-Dimensional Extended Objects using Answer Set Programming
J
Jung, Jean Christoph	Conservative Extensions for Existential Rules
Järvisalo, Matti	Computing Stable Argumentative Conclusions under the Weakest-Link Principle in the ASPIC+ Framework
K
Karge, Jonas	The More the Worst-Case-Merrier: A Generalized Condorcet Jury Theorem for Belief Fusion Doctoral Consortium Application
Kern-Isberner, Gabriele	KR 2022 Closing
Kersting, Kristian	Neural-Probabilistic Answer Set Programming Sum-Product Loop Programming: From Probabilistic Circuits to Loop Programming
Konev, Boris	Interpolants and Explicit Definitions in Extensions of the Description Logic EL Unique Characterisability and Learnability of Temporal Instance Queries
Konieczny, Sébastien	On Paraconsistent Belief Revision in LP (Extended Abstract) Region-Based Merging of Open-Domain Terminological Knowledge On the Representation of Darwiche and Pearl’s Epistemic States for Iterated Belief Revision
Kotsireas, Ilias	Solving Lam's Problem via SAT and Isomorph-Free Exhaustive Generation
Kriegel, Francesco	Pushing Optimal ABox Repair from EL Towards More Expressive Horn-DLs
Krötzsch, Markus	Chasing streams with existential rules
König, Matthias	Rediscovering Argumentation Principles Utilizing Collective Attacks Matthias König's Thesis: Graph Parameters for Abstract Argumentation
L
Lamanna, Leonardo	Online Grounding of Symbolic Planning Domains in Unknown Environments
Larroque, Lucas	Normalisations of Existential Rules: Not so Innocuous!
Lehtonen, Tuomo	Computing Stable Argumentative Conclusions under the Weakest-Link Principle in the ASPIC+ Framework Computational Aspects of Structured Argumentation
Leite, Joao	Looking Inside the Black-Box: Logic-based Explanations for Neural Networks
Li, Da-Wei	Open Relation Extraction With Non-existent and Multi-span Relationships
Li, Xu	Deontic Logic for Epistemic Actions Dynamic Deontic Logic for Permitted Announcements
Li, Zekun	Open Relation Extraction With Non-existent and Multi-span Relationships
Libkin, Leon	Graph Queries: Do We Study What Matters?
Lobo, Jorge	Embed2Sym - Scalable Neuro-Symbolic Reasoning via Clustered Embeddings
Logan, Brian	Automatic Synthesis of Dynamic Norms for Multi-Agent Systems
Lorini, Emiliano	Epistemic Actions: Comparing Multi-agent Belief Bases with Action Models
Lutz, Carsten	Conservative Extensions for Existential Rules Ontology-Mediated Querying on Databases of Bounded Cliquewidth
Lyon, Tim	Automating Reasoning with Standpoint Logic via Nested Sequents
M
Ma, Thanh	Region-Based Merging of Open-Domain Terminological Knowledge On Merging of Open-Domain Ontologies
Manière, Quentin	Counting queries over ELHI⊥ ontologies
Manlove, David	A General Framework for Stable Roommates Problems using Answer Set Programming
Mantenoglou, Periklis	Stream Reasoning with Cycles Optimisation Methods for Complex Event Recognition
Marcinkowski, Jerzy	Conservative Extensions for Existential Rules
Markovich, Réka	Dynamic Deontic Logic for Permitted Announcements
Marpally, Shashank Rao	Discovering User-Interpretable Capabilities of Black-Box Planning Agents
Maubert, Bastien	Private and public affairs in strategic reasoning
McBurney, Peter	Towards an Enthymeme-Based Communication Framework in Multi-Agent Systems
McLean, Brett	A Gödel calculus for Linear Temporal Logic
Meyer, Thomas	KR 2022 Closing
Micheli, Andrea	On the Expressive Power of Intermediate and Conditional Effects in Temporal Planning
Mittelmann, Munyque	Logics for Representation and Design of Auctions
Mocanu, Ionela	On the learnability of knowledge in language domains
Motik, Boris	Faithful Approaches to Rule Learning
Mugnier, Marie-Laure	Normalisations of Existential Rules: Not so Innocuous!
Murano, Aniello	Private and public affairs in strategic reasoning
Murlak, Filip	Finite Entailment of UCRPQs over ALC Ontologies
Musliu, Nysret	ALASPO: An Adaptive Large-Neighbourhood ASP Optimiser
N
Nouman, Ahmed	Hybrid Conditional Planning for Robotic Applications (Extended Abstract)
O
Ochs, Daniel	Neural-Probabilistic Answer Set Programming
Oetsch, Johannes	ALASPO: An Adaptive Large-Neighbourhood ASP Optimiser
P
Panisson, Alison R.	Towards an Enthymeme-Based Communication Framework in Multi-Agent Systems
Patoglu, Volkan	Hybrid Conditional Planning for Robotic Applications (Extended Abstract)
Perelli, Giuseppe	Automatic Synthesis of Dynamic Norms for Multi-Agent Systems
Perrotin, Elise	Epistemic Actions: Comparing Multi-agent Belief Bases with Action Models
Peterfreund, Liat	Revisiting Semiring Provenance for Datalog
Pfanschilling, Viktor	Sum-Product Loop Programming: From Probabilistic Circuits to Loop Programming
Pino Perez, Ramon	On the Representation of Darwiche and Pearl’s Epistemic States for Iterated Belief Revision
Pino Pérez, Ramón	On Paraconsistent Belief Revision in LP (Extended Abstract)
Pitsikalis, Manolis	Stream Reasoning with Cycles
Potyka, Nico	Abstract Argumentation with Markov Networks (Extended Abstract) Interpreting Neural Networks as Quantitative Argumentation Frameworks (Extended Abstract)
Prosser, Patrick	A General Framework for Stable Roommates Problems using Answer Set Programming
Pérution-Kihli, Guillaume	Data Quality in Ontology-Based Data Access
R
Rago, Antonio	Forecasting Argumentation Frameworks Influence-Driven Explanations for Bayesian Network Classifiers Explaining Causal Models with Argumentation: the Case of Bi-variate Reinforcement
Rajasekaran, Senthil	Verification and Realizability in Finite-Horizon Multiagent Systems
Rapberger, Anna	On Dynamics in Structured Argumentation Formalisms
Ribeiro, Jandson S.	Kernel Contraction and the Order of Relevance
Rocha, Victor Hugo Nascimento	A Credal Least Undefined Stable Semantics for Probabilistic Logic Programs and Probabilistic Argumentation
Ruan, Ji	A Graph Neural Network Reasoner for Game Description Language
Rubin, Sasha	Private and public affairs in strategic reasoning
Rudolph, Sebastian	The More the Worst-Case-Merrier: A Generalized Condorcet Jury Theorem for Belief Fusion
Rusovac, Dominik	Rushing and Strolling among Answer Sets -- Navigation Made Easy (Extended Abstract)
Russo, Alessandra	Embed2Sym - Scalable Neuro-Symbolic Reasoning via Clustered Embeddings
Ryzhikov, Vladislav	Unique Characterisability and Learnability of Temporal Instance Queries
S
Sabbatini, Federico	Symbolic Knowledge Extraction from Opaque Machine Learning Predictors: GridREx & PEDRO
Sabellek, Leif	Ontology-Mediated Querying on Databases of Bounded Cliquewidth
Saetti, Alessandro	Online Grounding of Symbolic Planning Domains in Unknown Environments
Sallinger, Emanuel	On the Relationship between Shy and Warded Datalog+/- Rule Learning over Knowledge Graphs with Genetic Logic Programming
Sanfilippo, Giuseppe	Compound conditionals as random quantities and Boolean algebras
Sauerwald, Kai	Iterated Belief Change, Computationally
Sauro, Luigi	Sticky Policies in OWL2: Extending PL with fixpoints and Transitive Closure
Savateev, Yury	Unique Characterisability and Learnability of Temporal Instance Queries
Scala, Enrico	On the Expressive Power of Intermediate and Conditional Effects in Temporal Planning
Schekotihin, Konstantin	Lifting Symmetry Breaking Constraints with Inductive Logic Programming
Schulze, Lukas	Ontology-Mediated Querying on Databases of Bounded Cliquewidth
Schwarzentruber, Francois	Epistemic Actions: Comparing Multi-agent Belief Bases with Action Models
Schwind, Nicolas	On Paraconsistent Belief Revision in LP (Extended Abstract) Region-Based Merging of Open-Domain Terminological Knowledge On the Representation of Darwiche and Pearl’s Epistemic States for Iterated Belief Revision
Serafini, Luciano	Online Grounding of Symbolic Planning Domains in Unknown Environments
Sezgin, Meliha	A Conditional Perspective for Reasoning, Revision and Relevance
Shen, Yi-Dong	Learning Typed Rules over Knowledge Graphs
Sherkhonov, Evgeny	Rule Learning over Knowledge Graphs with Genetic Logic Programming
Shindo, Hikaru	Sum-Product Loop Programming: From Probabilistic Circuits to Loop Programming
Singleton, Joe	Who’s the Expert? On Multi-source Belief Change
Skryagin, Arseny	Neural-Probabilistic Answer Set Programming
Souza, Marlo	Hyperintensional Partial Meet Contractions
Srivastava, Siddharth	Discovering User-Interpretable Capabilities of Black-Box Planning Agents
Stammer, Wolfgang	Neural-Probabilistic Answer Set Programming
Stepanova, Daria	ALASPO: An Adaptive Large-Neighbourhood ASP Optimiser
Stevens, Brett	Solving Lam's Problem via SAT and Isomorph-Free Exhaustive Generation
Straccia, Umberto	A Minimal Deductive System for RDFS with Negative Statements A General Framework for Modelling Conditional Reasoning - Preliminary Report
Ståhlberg, Simon	Learning generalized policies without supervision using GNNs
T
Tarzariol, Alice	Lifting Symmetry Breaking Constraints with Inductive Logic Programming
Tena Cucala, David	Faithful Approaches to Rule Learning
Theseider Dupre, Daniele	A conditional, a fuzzy and a probabilistic interpretation of self-organising maps (Abstract)
Thomazo, Michaël	Revisiting Semiring Provenance for Datalog Normalisations of Existential Rules: Not so Innocuous! Counting queries over ELHI⊥ ontologies
Toni, Francesca	Forecasting Argumentation Frameworks Influence-Driven Explanations for Bayesian Network Classifiers Explaining Causal Models with Argumentation: the Case of Bi-variate Reinforcement
Traverso, Paolo	Online Grounding of Symbolic Planning Domains in Unknown Environments
U
Ulbricht, Markus	Rediscovering Argumentation Principles Utilizing Collective Attacks On Dynamics in Structured Argumentation Formalisms Defining Defense and Defeat in Abstract Argumentation From Scratch -- A Generalizing Approach
Urbani, Jacopo	Chasing streams with existential rules
V
Vahdati, Sahar	Rule Learning over Knowledge Graphs with Genetic Logic Programming
Vardi, Moshe	Private and public affairs in strategic reasoning
Vardi, Moshe Y.	Verification and Realizability in Finite-Horizon Multiagent Systems
Varzinczak, Ivan	Region-Based Merging of Open-Domain Terminological Knowledge
Vasileiou, Stylianos Loukas	Towards a Logical Account for Human-Aware Explanation Generation in Model Reconciliation Problems
Verma, Pulkit	Discovering User-Interpretable Capabilities of Black-Box Planning Agents Data Efficient Paradigms for Personalized Assessment of Taskable AI Systems
W
Wallner, Johannes P.	Computing Stable Argumentative Conclusions under the Weakest-Link Principle in the ASPIC+ Framework An Axiomatic Approach to Revising Preferences (Extended Abstract)
Wang, Kewen	Learning Typed Rules over Knowledge Graphs
Wang, Zhe	Learning Typed Rules over Knowledge Graphs
Wassermann, Renata	Hyperintensional Partial Meet Contractions
Wolter, Frank	Interpolants and Explicit Definitions in Extensions of the Description Logic EL Unique Characterisability and Learnability of Temporal Instance Queries
Woltran, Stefan	Rediscovering Argumentation Principles Utilizing Collective Attacks
Wu, Bin	Open Relation Extraction With Non-existent and Multi-span Relationships
Wu, Hong	Learning Typed Rules over Knowledge Graphs
Wu, Lianlong	Rule Learning over Knowledge Graphs with Genetic Logic Programming
Y
Yang, Donglin	Open Relation Extraction With Non-existent and Multi-span Relationships
Yang, Huifan	Open Relation Extraction With Non-existent and Multi-span Relationships
Z
Zakharyaschev, Michael	Unique Characterisability and Learnability of Temporal Instance Queries
Zhu, Shufang	Act for Your Duties but Maintain Your Rights

Disclaimer | Powered by EasyChair Smart Program