FLOC 2022: FEDERATED LOGIC CONFERENCE 2022

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

3
3D Space	Reasoning about Cardinal Directions between 3-Dimensional Extended Objects using Answer Set Programming
A
Abstract Argumentation	Abstract Argumentation with Markov Networks (Extended Abstract) Rediscovering Argumentation Principles Utilizing Collective Attacks Impact of Logic Paradigms on Abstract Argumentation Matthias König's Thesis: Graph Parameters for Abstract Argumentation
Abstract Argumentation Frameworks	Defining Defense and Defeat in Abstract Argumentation From Scratch -- A Generalizing Approach
abstracted action models	Discovering User-Interpretable Capabilities of Black-Box Planning Agents
Acting and Sensing	Online Grounding of Symbolic Planning Domains in Unknown Environments
Action languages	Hybrid Conditional Planning for Robotic Applications (Extended Abstract)
action model learning	Data Efficient Paradigms for Personalized Assessment of Taskable AI Systems
active action model learning	Discovering User-Interpretable Capabilities of Black-Box Planning Agents
acyclicity notions	Chasing streams with existential rules
Agent autonomy	Act for Your Duties but Maintain Your Rights
agent interrogation	Discovering User-Interpretable Capabilities of Black-Box Planning Agents Data Efficient Paradigms for Personalized Assessment of Taskable AI Systems
Algorithms	Matthias König's Thesis: Graph Parameters for Abstract Argumentation
Announcing KR2023	KR 2022 Closing
Answer Set Navigation	Rushing and Strolling among Answer Sets -- Navigation Made Easy (Extended Abstract)
Answer Set Programming	A General Framework for Stable Roommates Problems using Answer Set Programming LACE: A Logical Approach to Collective Entity Resolution Reasoning about Cardinal Directions between 3-Dimensional Extended Objects using Answer Set Programming Lifting Symmetry Breaking Constraints with Inductive Logic Programming Rushing and Strolling among Answer Sets -- Navigation Made Easy (Extended Abstract) Computing Stable Argumentative Conclusions under the Weakest-Link Principle in the ASPIC+ Framework Embed2Sym - Scalable Neuro-Symbolic Reasoning via Clustered Embeddings Neural-Probabilistic Answer Set Programming Computational Aspects of Structured Argumentation
answer-set programming	ALASPO: An Adaptive Large-Neighbourhood ASP Optimiser
Approval Voting	The More the Worst-Case-Merrier: A Generalized Condorcet Jury Theorem for Belief Fusion
Argumentation	Forecasting Argumentation Frameworks A Credal Least Undefined Stable Semantics for Probabilistic Logic Programs and Probabilistic Argumentation Towards an Enthymeme-Based Communication Framework in Multi-Agent Systems Computational Aspects of Structured Argumentation
ASPIC+	Computing Stable Argumentative Conclusions under the Weakest-Link Principle in the ASPIC+ Framework Computational Aspects of Structured Argumentation
Assumption-based argumentation	On Dynamics in Structured Argumentation Formalisms Computational Aspects of Structured Argumentation
Automata	Act for Your Duties but Maintain Your Rights Verification and Realizability in Finite-Horizon Multiagent Systems
Automated Deduction	Filippo De Bortoli - Reasoning Efficiently with Description Logics that Count
automated reasoning	Hybrid Conditional Planning for Robotic Applications (Extended Abstract) Automating Reasoning with Standpoint Logic via Nested Sequents
B
Bayesian network classifiers	Influence-Driven Explanations for Bayesian Network Classifiers
Belief Base	Kernel Contraction and the Order of Relevance
belief base change	Hyperintensional Partial Meet Contractions
Belief bases	Epistemic Actions: Comparing Multi-agent Belief Bases with Action Models
belief change	An Axiomatic Approach to Revising Preferences (Extended Abstract) Hyperintensional Partial Meet Contractions Kernel Contraction and the Order of Relevance Relevance in Reasoning with and Revision of Conditional Beliefs
Belief Contraction	Kernel Contraction and the Order of Relevance
Belief Fusion	The More the Worst-Case-Merrier: A Generalized Condorcet Jury Theorem for Belief Fusion Doctoral Consortium Application
Belief Merging	Region-Based Merging of Open-Domain Terminological Knowledge Who’s the Expert? On Multi-source Belief Change On Merging of Open-Domain Ontologies
Belief Revision	On Paraconsistent Belief Revision in LP (Extended Abstract) An Axiomatic Approach to Revising Preferences (Extended Abstract) Iterated Belief Change, Computationally On the Representation of Darwiche and Pearl’s Epistemic States for Iterated Belief Revision Who’s the Expert? On Multi-source Belief Change Relevance in Reasoning with and Revision of Conditional Beliefs Do Humans Find Postulates of Belief Change Plausible?
belief update	Do Humans Find Postulates of Belief Change Plausible?
bipolar argumentation	Explaining Causal Models with Argumentation: the Case of Bi-variate Reinforcement
Boolean algebras	Compound conditionals as random quantities and Boolean algebras
boolean games	Verification and Realizability in Finite-Horizon Multiagent Systems
bounded cliquewidth	Ontology-Mediated Querying on Databases of Bounded Cliquewidth
Building Design	Reasoning about Cardinal Directions between 3-Dimensional Extended Objects using Answer Set Programming
C
Cardinal Directional Calculus	Reasoning about Cardinal Directions between 3-Dimensional Extended Objects using Answer Set Programming
Cardinality Constraints	Filippo De Bortoli - Reasoning Efficiently with Description Logics that Count
Chase termination	Normalisations of Existential Rules: Not so Innocuous!
cheminformatics	Structure-based ontology extensions
Class hierarchy	Learning Typed Rules over Knowledge Graphs
classical planning	Learning generalized policies without supervision using GNNs
Closing	KR 2022 Closing
clustering	Embed2Sym - Scalable Neuro-Symbolic Reasoning via Clustered Embeddings
Cognitive robotics	Hybrid Conditional Planning for Robotic Applications (Extended Abstract)
coherence	Compound conditionals as random quantities and Boolean algebras
collective attacks	Rediscovering Argumentation Principles Utilizing Collective Attacks
Collective Entity Resolution	LACE: A Logical Approach to Collective Entity Resolution
Coloring	Automating Reasoning with Standpoint Logic via Nested Sequents
Combinatorics	Solving Lam's Problem via SAT and Isomorph-Free Exhaustive Generation
commonsense knowledge	Neuro-Symbolic Adventures on Commonsense Knowledge and Reasoning
complexity	A Credal Least Undefined Stable Semantics for Probabilistic Logic Programs and Probabilistic Argumentation Verification and Realizability in Finite-Horizon Multiagent Systems Interpolants and Explicit Definitions in Extensions of the Description Logic EL Matthias König's Thesis: Graph Parameters for Abstract Argumentation
complexity analysis	LACE: A Logical Approach to Collective Entity Resolution
composite event recognition	Optimisation Methods for Complex Event Recognition
Compound conditionals	Compound conditionals as random quantities and Boolean algebras
Computability	Iterated Belief Change, Computationally
computational aspects of argumentation	Computing Stable Argumentative Conclusions under the Weakest-Link Principle in the ASPIC+ Framework
computational complexity	Simulating Multiwinner Voting Rules in Judgment Aggregation On Dynamics in Structured Argumentation Formalisms Computing Stable Argumentative Conclusions under the Weakest-Link Principle in the ASPIC+ Framework Computational Aspects of Structured Argumentation
computer-assisted proof	Solving Lam's Problem via SAT and Isomorph-Free Exhaustive Generation
Conditional belief base	Inference with System W Satisfies Syntax Splitting
Conditional effects	On the Expressive Power of Intermediate and Conditional Effects in Temporal Planning
conditional logic	Relevance in Reasoning with and Revision of Conditional Beliefs
Conditional logics	A conditional, a fuzzy and a probabilistic interpretation of self-organising maps (Abstract)
Conditional objects	Compound conditionals as random quantities and Boolean algebras
Conditional planning	Hybrid Conditional Planning for Robotic Applications (Extended Abstract)
Conditional previsions	Compound conditionals as random quantities and Boolean algebras
conditional reasoning	A General Framework for Modelling Conditional Reasoning - Preliminary Report
Conditionals	A Conditional Perspective for Reasoning, Revision and Relevance
Condorcet Jury Theorem	The More the Worst-Case-Merrier: A Generalized Condorcet Jury Theorem for Belief Fusion Doctoral Consortium Application
Conjunctive Queries	Unique Characterisability and Learnability of Temporal Instance Queries
Conjunctive query entailment	Normalisations of Existential Rules: Not so Innocuous!
conservative extensions	Conservative Extensions for Existential Rules
Consistency Checking	Reasoning about Cardinal Directions between 3-Dimensional Extended Objects using Answer Set Programming
Constraints translation	Data Quality in Ontology-Based Data Access
Counting queries	Counting queries over ELHI⊥ ontologies
cyclic dependencies	Stream Reasoning with Cycles
D
Darwiche-Pearl	Iterated Belief Change, Computationally
Data Quality	Data Quality in Ontology-Based Data Access
Datalog	On the Relationship between Shy and Warded Datalog+/- Faithful Approaches to Rule Learning
Datalog rules	Revisiting Semiring Provenance for Datalog
Declarative Framework	LACE: A Logical Approach to Collective Entity Resolution
declarative problem solving	A General Framework for Stable Roommates Problems using Answer Set Programming
declarative programming	Computational Aspects of Structured Argumentation
Deductive System	A Minimal Deductive System for RDFS with Negative Statements
deep learning	Structure-based ontology extensions
Deep Probabilistic Modelling	Neural-Probabilistic Answer Set Programming
Deep Probabilistic Programming Languages	Neural-Probabilistic Answer Set Programming
Defeasible and preferential logics	A conditional, a fuzzy and a probabilistic interpretation of self-organising maps (Abstract)
defeasible reasoning	A General Framework for Modelling Conditional Reasoning - Preliminary Report
Defeat Notions	Defining Defense and Defeat in Abstract Argumentation From Scratch -- A Generalizing Approach
Defense Notions	Defining Defense and Defeat in Abstract Argumentation From Scratch -- A Generalizing Approach
definability	Interpolants and Explicit Definitions in Extensions of the Description Logic EL
Deontic Logic	Dynamic Deontic Logic for Permitted Announcements Deontic Logic for Epistemic Actions
Description Logic	Pushing Optimal ABox Repair from EL Towards More Expressive Horn-DLs Unique Characterisability and Learnability of Temporal Instance Queries Ontology-Mediated Querying on Databases of Bounded Cliquewidth Interpolants and Explicit Definitions in Extensions of the Description Logic EL
Description Logics	Counting queries over ELHI⊥ ontologies Decidability Limits of Finite Ontology-Mediated Query Entailment Filippo De Bortoli - Reasoning Efficiently with Description Logics that Count
Description logics with fixpoints	Sticky Policies in OWL2: Extending PL with fixpoints and Transitive Closure
Description logics with transitive role closure	Sticky Policies in OWL2: Extending PL with fixpoints and Transitive Closure
dialectical explanations	Influence-Driven Explanations for Bayesian Network Classifiers
Digital Forensics	Reasoning about Cardinal Directions between 3-Dimensional Extended Objects using Answer Set Programming
DLV	On the Relationship between Shy and Warded Datalog+/-
Dynamic Deontic Logic	Dynamic Deontic Logic for Permitted Announcements
Dynamic epistemic logic	Epistemic Actions: Comparing Multi-agent Belief Bases with Action Models Deontic Logic for Epistemic Actions
Dynamics in Argumentation	On Dynamics in Structured Argumentation Formalisms
E
Embedding Space	Embed2Sym - Scalable Neuro-Symbolic Reasoning via Clustered Embeddings
Enforcement	On Dynamics in Structured Argumentation Formalisms
Enthymemes	Towards an Enthymeme-Based Communication Framework in Multi-Agent Systems From Non-monotonic Reasoning to Argumentation and Commonsense (Great Moments in KR Talk)
Epistemic Deontic Logic	Dynamic Deontic Logic for Permitted Announcements
epistemic logic	Epistemic Actions: Comparing Multi-agent Belief Bases with Action Models The Topology of Surprise Deontic Logic for Epistemic Actions
Epistemic State	Iterated Belief Change, Computationally
Epistemic States	Projection of Belief in the Presence of Nondeterministic Actions and Fallible Sensing On the Representation of Darwiche and Pearl’s Epistemic States for Iterated Belief Revision
Event Calculus	Stream Reasoning with Cycles Optimisation Methods for Complex Event Recognition
Exact Learning	Unique Characterisability and Learnability of Temporal Instance Queries
existential rules	Normalisations of Existential Rules: Not so Innocuous! Chasing streams with existential rules Conservative Extensions for Existential Rules Data Quality in Ontology-Based Data Access
Expertise	Who’s the Expert? On Multi-source Belief Change
Explainable AI	Influence-Driven Explanations for Bayesian Network Classifiers Explaining Causal Models with Argumentation: the Case of Bi-variate Reinforcement Symbolic Knowledge Extraction from Opaque Machine Learning Predictors: GridREx & PEDRO
Explainable AI Planning	Towards a Logical Account for Human-Aware Explanation Generation in Model Reconciliation Problems
Explainable Logic	Towards a Logical Account for Human-Aware Explanation Generation in Model Reconciliation Problems
explanation	Faithful Approaches to Rule Learning
explanations	Looking Inside the Black-Box: Logic-based Explanations for Neural Networks
expressive power	On the Expressive Power of Intermediate and Conditional Effects in Temporal Planning
F
Fallible sensors	Projection of Belief in the Presence of Nondeterministic Actions and Fallible Sensing
Finite entailment	Finite Entailment of UCRPQs over ALC Ontologies Decidability Limits of Finite Ontology-Mediated Query Entailment
first-order logic	Normalisations of Existential Rules: Not so Innocuous!
First-order rewritability	Normalisations of Existential Rules: Not so Innocuous!
Forecasting	Forecasting Argumentation Frameworks
Forgetting	On Syntactic Forgetting with Strong Persistence
formal argumentation	From Non-monotonic Reasoning to Argumentation and Commonsense (Great Moments in KR Talk)
Fuzzy Description Logics	A conditional, a fuzzy and a probabilistic interpretation of self-organising maps (Abstract)
fuzzy logic	A Gödel calculus for Linear Temporal Logic
G
general game playing	A Graph Neural Network Reasoner for Game Description Language Investigating Novel Representations and Deep Reinforcement Learning for General Game Playing
generalized policies	Learning generalized policies without supervision using GNNs
Genetic Programming	Rule Learning over Knowledge Graphs with Genetic Logic Programming
GQL	Graph Queries: Do We Study What Matters?
Gradual Argumentation	Interpreting Neural Networks as Quantitative Argumentation Frameworks (Extended Abstract)
gradual semantics	Explaining Causal Models with Argumentation: the Case of Bi-variate Reinforcement
Graph Neural Networks	Learning generalized policies without supervision using GNNs
graph queries	Graph Queries: Do We Study What Matters?
graph query languages	Graph Queries: Do We Study What Matters?
graphs	Matthias König's Thesis: Graph Parameters for Abstract Argumentation
Group Reliability	The More the Worst-Case-Merrier: A Generalized Condorcet Jury Theorem for Belief Fusion
Gödel logic	A Gödel calculus for Linear Temporal Logic
H
Horn-DL	Pushing Optimal ABox Repair from EL Towards More Expressive Horn-DLs
human cognition	Probabilities, Reasoning, and Argumentation
human reasoning	Do Humans Find Postulates of Belief Change Plausible? Probabilities, Reasoning, and Argumentation
Human-Aware AI	Towards a Logical Account for Human-Aware Explanation Generation in Model Reconciliation Problems
Hybrid planning	Hybrid Conditional Planning for Robotic Applications (Extended Abstract)
Hyper-parameter optimisation	Symbolic Knowledge Extraction from Opaque Machine Learning Predictors: GridREx & PEDRO
hyperintensionality	Hyperintensional Partial Meet Contractions
I
inconsistency-tolerant semantics	Querying Inconsistent Prioritized Data with ORBITS: Algorithms, Implementation, and Experiments
Inductive inference	Inference with System W Satisfies Syntax Splitting
inductive inference operator	Inference with System W Satisfies Syntax Splitting Relevance in Reasoning with and Revision of Conditional Beliefs
Inductive Logic Programming	Rule Learning over Knowledge Graphs with Genetic Logic Programming Lifting Symmetry Breaking Constraints with Inductive Logic Programming
information extraction	Open Relation Extraction With Non-existent and Multi-span Relationships
Intermediate conditions and effects	On the Expressive Power of Intermediate and Conditional Effects in Temporal Planning
Interpolation	Interpolants and Explicit Definitions in Extensions of the Description Logic EL
Interpretable prediction	Symbolic Knowledge Extraction from Opaque Machine Learning Predictors: GridREx & PEDRO
isomorph-free exhaustive generation	Solving Lam's Problem via SAT and Isomorph-Free Exhaustive Generation
Iterated Belief Change	Iterated Belief Change, Computationally
Iterated Belief Revision	On the Representation of Darwiche and Pearl’s Epistemic States for Iterated Belief Revision
J
Judgment Aggregation	Simulating Multiwinner Voting Rules in Judgment Aggregation
K
Kernel Contraction	Kernel Contraction and the Order of Relevance
knowability	The Topology of Surprise
Knowledge Based Data Management	Data Quality in Ontology-Based Data Access
Knowledge graph	Rule Learning over Knowledge Graphs with Genetic Logic Programming Learning Typed Rules over Knowledge Graphs
Knowledge Graphs	Open Relation Extraction With Non-existent and Multi-span Relationships
Knowledge integration	Automating Reasoning with Standpoint Logic via Nested Sequents
Knowledge Representation	Hybrid Conditional Planning for Robotic Applications (Extended Abstract) On the learnability of knowledge in language domains Doctoral Consortium Application
Knowledge representation and reasoning	Projection of Belief in the Presence of Nondeterministic Actions and Fallible Sensing
KR and Machine Learning	Interpreting Neural Networks as Quantitative Argumentation Frameworks (Extended Abstract)
KR2022	KR 2022 Closing
L
Large-Neighbourhood Search	ALASPO: An Adaptive Large-Neighbourhood ASP Optimiser
LARS	Chasing streams with existential rules
learning capabilities	Discovering User-Interpretable Capabilities of Black-Box Planning Agents
learning policies	Learning generalized policies without supervision using GNNs
lifted strips	Learning generalized policies without supervision using GNNs
linear temporal logic	A Gödel calculus for Linear Temporal Logic
Linear Temporal Logic on finite traces (LTLf)	Act for Your Duties but Maintain Your Rights
logic programming	Rushing and Strolling among Answer Sets -- Navigation Made Easy (Extended Abstract) Chasing streams with existential rules On Syntactic Forgetting with Strong Persistence Optimisation Methods for Complex Event Recognition
Logical Constraints	LACE: A Logical Approach to Collective Entity Resolution
Logical Entailments	A Graph Neural Network Reasoner for Game Description Language
Logics for Multi-Agent Systems	Logics for Representation and Design of Auctions
Low-complexity Description Logics	Sticky Policies in OWL2: Extending PL with fixpoints and Transitive Closure
LTLf synthesis	Act for Your Duties but Maintain Your Rights
M
machine learning	Faithful Approaches to Rule Learning Investigating Novel Representations and Deep Reinforcement Learning for General Game Playing
Marine Exploration	Reasoning about Cardinal Directions between 3-Dimensional Extended Objects using Answer Set Programming
Mechanism Design	Logics for Representation and Design of Auctions
modal logic	Automating Reasoning with Standpoint Logic via Nested Sequents
model learning	Faithful Approaches to Rule Learning
model-based reasoning	Data Efficient Paradigms for Personalized Assessment of Taskable AI Systems
Motion planning	Hybrid Conditional Planning for Robotic Applications (Extended Abstract)
Multi-Agent Debate	Forecasting Argumentation Frameworks
multi-agent epistemic logic	On the learnability of knowledge in language domains
Multi-Agent Systems	Automatic Synthesis of Dynamic Norms for Multi-Agent Systems Towards an Enthymeme-Based Communication Framework in Multi-Agent Systems
Multiwinner Voting	Simulating Multiwinner Voting Rules in Judgment Aggregation
N
Nash Equilibria	Verification and Realizability in Finite-Horizon Multiagent Systems
Negative Statements	A Minimal Deductive System for RDFS with Negative Statements
Nested sequent	Automating Reasoning with Standpoint Logic via Nested Sequents
neural language models	Neuro-Symbolic Adventures on Commonsense Knowledge and Reasoning
Neural Network Models	A conditional, a fuzzy and a probabilistic interpretation of self-organising maps (Abstract)
Neural Networks	A Graph Neural Network Reasoner for Game Description Language Looking Inside the Black-Box: Logic-based Explanations for Neural Networks Investigating Novel Representations and Deep Reinforcement Learning for General Game Playing
Neuro-Symbolic	Embed2Sym - Scalable Neuro-Symbolic Reasoning via Clustered Embeddings
neuro-symbolic AI	Interpreting Neural Networks as Quantitative Argumentation Frameworks (Extended Abstract) Neural-Probabilistic Answer Set Programming
neuro-symbolic reasoning	Neuro-Symbolic Adventures on Commonsense Knowledge and Reasoning
Non-classical Logic	Impact of Logic Paradigms on Abstract Argumentation
Non-classical Semantics	Defining Defense and Defeat in Abstract Argumentation From Scratch -- A Generalizing Approach
non-monotonic reasoning	A General Framework for Modelling Conditional Reasoning - Preliminary Report Impact of Logic Paradigms on Abstract Argumentation From Non-monotonic Reasoning to Argumentation and Commonsense (Great Moments in KR Talk)
Non-prioritised revision	Who’s the Expert? On Multi-source Belief Change
Nondeterminism	Projection of Belief in the Presence of Nondeterministic Actions and Fallible Sensing
nonmonotonic reasoning	Relevance in Reasoning with and Revision of Conditional Beliefs
Normative Systems	Automatic Synthesis of Dynamic Norms for Multi-Agent Systems
O
Online Grounding of Planning Domains	Online Grounding of Symbolic Planning Domains in Unknown Environments
ontologies	Looking Inside the Black-Box: Logic-based Explanations for Neural Networks
ontology	On Merging of Open-Domain Ontologies Structure-based ontology extensions
Ontology Based Data Access	Data Quality in Ontology-Based Data Access
ontology extension	Structure-based ontology extensions
Ontology-mediated query answering	Counting queries over ELHI⊥ ontologies Finite Entailment of UCRPQs over ALC Ontologies Decidability Limits of Finite Ontology-Mediated Query Entailment
ontology-mediated querying	Ontology-Mediated Querying on Databases of Bounded Cliquewidth Conservative Extensions for Existential Rules
open relation extraction	Open Relation Extraction With Non-existent and Multi-span Relationships
operator	On Syntactic Forgetting with Strong Persistence
Optimal ABox Repair	Pushing Optimal ABox Repair from EL Towards More Expressive Horn-DLs
optimisation	ALASPO: An Adaptive Large-Neighbourhood ASP Optimiser
Ordinal Conditional Functions	On the Representation of Darwiche and Pearl’s Epistemic States for Iterated Belief Revision
P
PAC semantic	On the learnability of knowledge in language domains
Paraconsistency	On Paraconsistent Belief Revision in LP (Extended Abstract)
parameterized complexity	Ontology-Mediated Querying on Databases of Bounded Cliquewidth
Perception & Reasoning	Embed2Sym - Scalable Neuro-Symbolic Reasoning via Clustered Embeddings
Permitted Announcements	Dynamic Deontic Logic for Permitted Announcements
Perspectives	Automating Reasoning with Standpoint Logic via Nested Sequents
Plan execution monitoring	Hybrid Conditional Planning for Robotic Applications (Extended Abstract)
Planning and Learning	Online Grounding of Symbolic Planning Domains in Unknown Environments
Planning under uncertainty	Hybrid Conditional Planning for Robotic Applications (Extended Abstract)
postulate-based reasoning	Do Humans Find Postulates of Belief Change Plausible?
preferences	An Axiomatic Approach to Revising Preferences (Extended Abstract) Computing Stable Argumentative Conclusions under the Weakest-Link Principle in the ASPIC+ Framework
Priest's Logic of Paradox	On Paraconsistent Belief Revision in LP (Extended Abstract)
principle-based analysis	Defining Defense and Defeat in Abstract Argumentation From Scratch -- A Generalizing Approach Rediscovering Argumentation Principles Utilizing Collective Attacks
prioritized knowledge bases	Querying Inconsistent Prioritized Data with ORBITS: Algorithms, Implementation, and Experiments
Privacy Policy	Dynamic Deontic Logic for Permitted Announcements
Private strategies	Private and public affairs in strategic reasoning
Probabilistic Argumentation	Abstract Argumentation with Markov Networks (Extended Abstract)
Probabilistic Circuits	Sum-Product Loop Programming: From Probabilistic Circuits to Loop Programming
Probabilistic Graphical Models	Abstract Argumentation with Markov Networks (Extended Abstract)
Probabilistic Logic Programming	A Credal Least Undefined Stable Semantics for Probabilistic Logic Programs and Probabilistic Argumentation
probabilistic programming	Sum-Product Loop Programming: From Probabilistic Circuits to Loop Programming Optimisation Methods for Complex Event Recognition
Probabilities	Probabilities, Reasoning, and Argumentation
Progression	Projection of Belief in the Presence of Nondeterministic Actions and Fallible Sensing
Projection	Projection of Belief in the Presence of Nondeterministic Actions and Fallible Sensing
Proof search	Automating Reasoning with Standpoint Logic via Nested Sequents
proof theory	Automating Reasoning with Standpoint Logic via Nested Sequents
Properties of Argumentation Semantics	Defining Defense and Defeat in Abstract Argumentation From Scratch -- A Generalizing Approach
Proportional Representation	Simulating Multiwinner Voting Rules in Judgment Aggregation
Propositional satisfiability	Computational Aspects of Structured Argumentation
provenance semantics	Revisiting Semiring Provenance for Datalog
PSyKE	Symbolic Knowledge Extraction from Opaque Machine Learning Predictors: GridREx & PEDRO
Public Announcement Logic	Dynamic Deontic Logic for Permitted Announcements
Q
Qualitative Spatial Reasoning	Reasoning about Cardinal Directions between 3-Dimensional Extended Objects using Answer Set Programming
Query rewriting	Data Quality in Ontology-Based Data Access
R
Random quantities	Compound conditionals as random quantities and Boolean algebras
rational closure	Inference with System W Satisfies Syntax Splitting
Reasoning	A Conditional Perspective for Reasoning, Revision and Relevance
Reasoning about action	Projection of Belief in the Presence of Nondeterministic Actions and Fallible Sensing
reasoning about actions	Act for Your Duties but Maintain Your Rights Automatic Synthesis of Dynamic Norms for Multi-Agent Systems
Reasoning about Terminological Knowledge	Region-Based Merging of Open-Domain Terminological Knowledge On Merging of Open-Domain Ontologies
Region Connection Calculus	Region-Based Merging of Open-Domain Terminological Knowledge
Regression	Projection of Belief in the Presence of Nondeterministic Actions and Fallible Sensing
Regular path queries	Finite Entailment of UCRPQs over ALC Ontologies
relation extraction	Open Relation Extraction With Non-existent and Multi-span Relationships
Relevance	Kernel Contraction and the Order of Relevance Relevance in Reasoning with and Revision of Conditional Beliefs A Conditional Perspective for Reasoning, Revision and Relevance
Resource Description Framework with Schema (RDFS)	A Minimal Deductive System for RDFS with Negative Statements
Revision	A Conditional Perspective for Reasoning, Revision and Relevance
rule learning	Learning Typed Rules over Knowledge Graphs Faithful Approaches to Rule Learning
Rule Mining	Rule Learning over Knowledge Graphs with Genetic Logic Programming
S
SAT-based algorithms	Querying Inconsistent Prioritized Data with ORBITS: Algorithms, Implementation, and Experiments
satisfiability solving	Solving Lam's Problem via SAT and Isomorph-Free Exhaustive Generation
Semantic policies	Sticky Policies in OWL2: Extending PL with fixpoints and Transitive Closure
semantics	Private and public affairs in strategic reasoning
semirings	Revisiting Semiring Provenance for Datalog
Service robotics	Hybrid Conditional Planning for Robotic Applications (Extended Abstract)
Shy Datalog+/-	On the Relationship between Shy and Warded Datalog+/-
situation calculus	Projection of Belief in the Presence of Nondeterministic Actions and Fallible Sensing
Social Choice	Doctoral Consortium Application
stable roommates problem	A General Framework for Stable Roommates Problems using Answer Set Programming
Standpoint	Automating Reasoning with Standpoint Logic via Nested Sequents
Strategic Reasoning	Private and public affairs in strategic reasoning Automatic Synthesis of Dynamic Norms for Multi-Agent Systems Logics for Representation and Design of Auctions
stream reasoning	Chasing streams with existential rules Optimisation Methods for Complex Event Recognition
Strong Equivalence	On Dynamics in Structured Argumentation Formalisms
strong persistence	On Syntactic Forgetting with Strong Persistence
structured argumentation	On Dynamics in Structured Argumentation Formalisms Computing Stable Argumentative Conclusions under the Weakest-Link Principle in the ASPIC+ Framework
suboptimal planning	Learning generalized policies without supervision using GNNs
surveys	Do Humans Find Postulates of Belief Change Plausible?
symbolic knowledge extraction	Symbolic Knowledge Extraction from Opaque Machine Learning Predictors: GridREx & PEDRO
Symmetry Breaking Constraints	Lifting Symmetry Breaking Constraints with Inductive Logic Programming
syntax splitting	Inference with System W Satisfies Syntax Splitting Relevance in Reasoning with and Revision of Conditional Beliefs
Synthesis	Automatic Synthesis of Dynamic Norms for Multi-Agent Systems
system description	ALASPO: An Adaptive Large-Neighbourhood ASP Optimiser
System W	Inference with System W Satisfies Syntax Splitting
T
Task planning	Hybrid Conditional Planning for Robotic Applications (Extended Abstract)
temporal abstraction	Discovering User-Interpretable Capabilities of Black-Box Planning Agents
Temporal Data	Unique Characterisability and Learnability of Temporal Instance Queries
Temporal Logics	Automatic Synthesis of Dynamic Norms for Multi-Agent Systems
temporal pattern matching	Stream Reasoning with Cycles
Temporal planning	On the Expressive Power of Intermediate and Conditional Effects in Temporal Planning
Temporal Queries	Unique Characterisability and Learnability of Temporal Instance Queries
topological semantics	The Topology of Surprise
Tractable Probabilistic Models	Sum-Product Loop Programming: From Probabilistic Circuits to Loop Programming
trust	Who’s the Expert? On Multi-source Belief Change
Truth-tracking	The More the Worst-Case-Merrier: A Generalized Condorcet Jury Theorem for Belief Fusion
Turing Complete	Iterated Belief Change, Computationally
Two-player games	Act for Your Duties but Maintain Your Rights
U
Uncertainty	Optimisation Methods for Complex Event Recognition
Unique Characterizablity	Unique Characterisability and Learnability of Temporal Instance Queries
Unstructured Data	Embed2Sym - Scalable Neuro-Symbolic Reasoning via Clustered Embeddings
unsupervised learning	Learning generalized policies without supervision using GNNs
V
Vadalog	On the Relationship between Shy and Warded Datalog+/-
W
Warded Datalog+/-	On the Relationship between Shy and Warded Datalog+/-

Disclaimer | Powered by EasyChair Smart Program