FLOC 2022: FEDERATED LOGIC CONFERENCE 2022

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

A
abduction	Abduction in Probabilistic Logic Programs
abductive intuitionistic logic	Abductive Reasoning in Intuitionistic Propositional Logic via Theorem Synthesis
aggregates	Strong Equivalence of Logic Programs with Counting Analyzing Semantics of Aggregate Answer Set Programming Using Approximation Fixpoint Theory
Airline scheduling	A Multi-shot ASP Encoding for the Aircraft Routing and Maintenance Planning Problem
Algebraic Data Types	Verifying Catamorphism-Based Contracts using Constrained Horn Clauses
Algebraic Model Counting	Efficient Knowledge Compilation Beyond Weighted Model Counting (Best Student Paper Award)
Answer Set Programming	Strong Equivalence of Logic Programs with Counting Building Information Modeling using Constraint Logic Programming FOLD-RM: A Scalable and Efficient Inductive Learning Algorithm for Multi-Category Classification of Mixed Data An ASP approach for reasoning on neural networks under a finitely many-valued semantics for weighted conditional knowledge bases Analyzing Semantics of Aggregate Answer Set Programming Using Approximation Fixpoint Theory Efficient lifting of symmetry breaking constraints for complex combinatorial problems (Best Student Paper Award) Problem Decomposition and Multi-shot ASP Solving for Job-shop Scheduling On Model Reconciliation: How to Reconcile When Robot Does not Know Human’s Model? A Preliminary Data-driven Analysis of Common Errors Encountered by Novice Answer Set Programmers A Fixpoint Characterization of Three-Valued Disjunctive Hybrid MKNF Knowledge Bases Solving Problems in PH with ASP(Q) On Syntactic Forgetting under Uniform Equivalence Large-Neighbourhood Search for ASP Optimisation Rushing and Strolling among Answer Sets – Navigation Made Easy Towards Dynamic Consistency Checking in Goal-directed Predicate Answer Set Programming Determining Action Reversibility in STRIPS Using Answer Set Programming with Quantifiers ASP-Based Declarative Process Mining Model Reconciliation in Logic Programs A Multi-shot ASP Encoding for the Aircraft Routing and Maintenance Planning Problem Applications of Answer Set Programming to Smart Devices and Large Scale Reasoning Transforming Gringo Rules into Formulas in a Natural Way ApproxASP – A Scalable Approximate Answer Set Counter Treewidth-aware Reductions of Normal ASP to SAT– Is Normal ASP Harder than SAT after All?
Answer Sets	Strong Equivalence of Logic Programs with Ordered Disjunction: a Logical Perspective
answer-set programming	A Neuro-Symbolic ASP Pipeline for Visual Question Answering
approximate counting	ApproxASP – A Scalable Approximate Answer Set Counter
Approximation Fixpoint Theory	Analyzing Semantics of Aggregate Answer Set Programming Using Approximation Fixpoint Theory A Fixpoint Characterization of Three-Valued Disjunctive Hybrid MKNF Knowledge Bases
artificial intelligence	MV-Datalog+/-: Effective Rule-based Reasoning with Uncertain Observations (Best Paper Award) Rushing and Strolling among Answer Sets – Navigation Made Easy
ASP	Solving a Multi-resource Partial-ordering Flexible Variant of the Job-shop Scheduling Problem with Hybrid ASP Modeling and Reasoning in Event Calculus using Goal-Directed Constraint Answer Set Programming (Extended Abstract)
Automated planning	Determining Action Reversibility in STRIPS Using Answer Set Programming with Quantifiers
B
Belief Revision	On Paraconsistent Belief Revision: the Case of Priest’s Logic of Paradox
Beyond NP	Solving Problems in PH with ASP(Q)
Big data	Applications of Answer Set Programming to Smart Devices and Large Scale Reasoning
Building Information Modelling	Building Information Modeling using Constraint Logic Programming
C
Catamorphisms	Verifying Catamorphism-Based Contracts using Constrained Horn Clauses
Co-stable Model Semantics	Graph-based Interpretation of Normal Logic Programs
Commonsense reasoning	Building Information Modeling using Constraint Logic Programming
compatibility	Making ProB compatible with SICStus and SWI-Prolog (Best Application Paper Award)
complexity analysis	Treewidth-aware Reductions of Normal ASP to SAT– Is Normal ASP Harder than SAT after All?
Computing Education	A Preliminary Data-driven Analysis of Common Errors Encountered by Novice Answer Set Programmers
Conformance Checking	ASP-Based Declarative Process Mining
consistency	Tree-Like Justification Systems are Consistent
Constrained Horn Clauses	Verifying Catamorphism-Based Contracts using Constrained Horn Clauses
constraint	Building Information Modeling using Constraint Logic Programming
Constraints	Towards Dynamic Consistency Checking in Goal-directed Predicate Answer Set Programming ApproxASP – A Scalable Approximate Answer Set Counter Modeling and Reasoning in Event Calculus using Goal-Directed Constraint Answer Set Programming (Extended Abstract)
Contracts	Verifying Catamorphism-Based Contracts using Constrained Horn Clauses
controlled natural languages	Knowledge Authoring with Factual English
D
data graphs	Jumping Evaluation of Nested Regular Path Queries
Data mining	FOLD-RM: A Scalable and Efficient Inductive Learning Algorithm for Multi-Category Classification of Mixed Data
Datalog	MV-Datalog+/-: Effective Rule-based Reasoning with Uncertain Observations (Best Paper Award) Jumping Evaluation of Nested Regular Path Queries
Datalog±	MV-Datalog+/-: Effective Rule-based Reasoning with Uncertain Observations (Best Paper Award)
Declarative Process Mining	ASP-Based Declarative Process Mining
decomposition	Problem Decomposition and Multi-shot ASP Solving for Job-shop Scheduling
deep learning	Exploiting Parameters Learning for Hyper-parameters Optimization in Deep Neural Networks
definite clause grammars	DeepStochLog: Neural Stochastic Logic Programming
dependency trees	A Gaze into the Internal Logic of Graph Neural Networks, with Logic
Difference logic	Solving a Multi-resource Partial-ordering Flexible Variant of the Job-shop Scheduling Problem with Hybrid ASP
disjunctive programs	Implementing Stable-Unstable Semantics with ASPTOOLS and Clingo
Disjunctive Rules	A Fixpoint Characterization of Three-Valued Disjunctive Hybrid MKNF Knowledge Bases
Distribution semantics	Abduction in Probabilistic Logic Programs
Dynamic consistency checking	Towards Dynamic Consistency Checking in Goal-directed Predicate Answer Set Programming
E
emulation	Making ProB compatible with SICStus and SWI-Prolog (Best Application Paper Award)
epistemic uncertainty	Inference and Learning with Model Uncertainty in Probabilistic Logic Programs
Event Calculus	Stream Reasoning with Deadlines Modeling and Reasoning in Event Calculus using Goal-Directed Constraint Answer Set Programming (Extended Abstract)
existential rules	Efficient Datalog Rewriting for Query Answering in TGD Ontologies
Explainable AI	FOLD-RM: A Scalable and Efficient Inductive Learning Algorithm for Multi-Category Classification of Mixed Data
Explainable planning	On Model Reconciliation: How to Reconcile When Robot Does not Know Human’s Model? Model Reconciliation in Logic Programs
explanation	Tree-Like Justification Systems are Consistent
F
first-order logic	Transforming Gringo Rules into Formulas in a Natural Way
Fixpoint Semantics	An Iterative Fixpoint Semantics for MKNF Hybrid Knowledge Bases with Function Symbols
Forgetting	On Syntactic Forgetting under Uniform Equivalence
Function Symbols	An Iterative Fixpoint Semantics for MKNF Hybrid Knowledge Bases with Function Symbols
Functional logic programming	From Logic to Functional Logic Programs
Fuzzy Description Logics	An ASP approach for reasoning on neural networks under a finitely many-valued semantics for weighted conditional knowledge bases
fuzzy logic	MV-Datalog+/-: Effective Rule-based Reasoning with Uncertain Observations (Best Paper Award)
G
Goal-Directed	Modeling and Reasoning in Event Calculus using Goal-Directed Constraint Answer Set Programming (Extended Abstract)
Goal-Directed evaluation	Towards Dynamic Consistency Checking in Goal-directed Predicate Answer Set Programming
Graph Neural Networks	A Gaze into the Internal Logic of Graph Neural Networks, with Logic
graph node property prediction	A Gaze into the Internal Logic of Graph Neural Networks, with Logic
Gringo	Transforming Gringo Rules into Formulas in a Natural Way
ground term similarity relations	A Gaze into the Internal Logic of Graph Neural Networks, with Logic
H
High School Students	A Preliminary Data-driven Analysis of Common Errors Encountered by Novice Answer Set Programmers
human computer interaction	On Model Reconciliation: How to Reconcile When Robot Does not Know Human’s Model?
Human-robot collaboration	What do you really want to do? Towards a Theory of Intentions for Human-Robot Collaboration
Hybrid Knowledge Bases	An Iterative Fixpoint Semantics for MKNF Hybrid Knowledge Bases with Function Symbols
Hybrid MKNF Knowledge Bases	A Fixpoint Characterization of Three-Valued Disjunctive Hybrid MKNF Knowledge Bases
Hyper-parameters tuning	Exploiting Parameters Learning for Hyper-parameters Optimization in Deep Neural Networks
I
implementing sequent calculi in Prolog	Abductive Reasoning in Intuitionistic Propositional Logic via Theorem Synthesis
Inductive Logic Programming	FOLD-RM: A Scalable and Efficient Inductive Learning Algorithm for Multi-Category Classification of Mixed Data Efficient lifting of symmetry breaking constraints for complex combinatorial problems (Best Student Paper Award)
intensional concepts	Tractable Reasoning using Logic Programs with Intensional Concepts
Interpretation	Graph-based Interpretation of Normal Logic Programs
J
Job-shop Scheduling Problem	Problem Decomposition and Multi-shot ASP Solving for Job-shop Scheduling
justification	Nested Justification Systems
justification theory	Nested Justification Systems Tree-Like Justification Systems are Consistent
K
KALM	Knowledge Authoring with Factual English
knowledge authoring	Knowledge Authoring with Factual English
Knowledge Compilation	Efficient Knowledge Compilation Beyond Weighted Model Counting (Best Student Paper Award)
Knowledge Representation	Nested Justification Systems
Knowledge representation and reasoning	Knowledge Authoring with Factual English A Fixpoint Characterization of Three-Valued Disjunctive Hybrid MKNF Knowledge Bases What do you really want to do? Towards a Theory of Intentions for Human-Robot Collaboration
L
Large-Neighbourhood Search	Large-Neighbourhood Search for ASP Optimisation
Log Generation	ASP-Based Declarative Process Mining
Logic of Here-and-There	Strong Equivalence of Logic Programs with Ordered Disjunction: a Logical Perspective
Logic of Paradox	On Paraconsistent Belief Revision: the Case of Priest’s Logic of Paradox
logic programming	Analyzing Semantics of Aggregate Answer Set Programming Using Approximation Fixpoint Theory
logic programming and automated reasoning	Abductive Reasoning in Intuitionistic Propositional Logic via Theorem Synthesis
Logic Programming and Machine Learning	A Gaze into the Internal Logic of Graph Neural Networks, with Logic
Lower-regular	Analyzing Semantics of Aggregate Answer Set Programming Using Approximation Fixpoint Theory
M
machine learning	FOLD-RM: A Scalable and Efficient Inductive Learning Algorithm for Multi-Category Classification of Mixed Data MV-Datalog+/-: Effective Rule-based Reasoning with Uncertain Observations (Best Paper Award)
MAP inference	Efficient Knowledge Compilation Beyond Weighted Model Counting (Best Student Paper Award)
MKNF	An Iterative Fixpoint Semantics for MKNF Hybrid Knowledge Bases with Function Symbols
modal operators	Tractable Reasoning using Logic Programs with Intensional Concepts
Model reconciliation	On Model Reconciliation: How to Reconcile When Robot Does not Know Human’s Model? Model Reconciliation in Logic Programs
modularity	Nested Justification Systems
Monte Carlo techniques	Inference and Learning with Model Uncertainty in Probabilistic Logic Programs
Multi-shot solving	Large-Neighbourhood Search for ASP Optimisation Solving a Multi-resource Partial-ordering Flexible Variant of the Job-shop Scheduling Problem with Hybrid ASP A Multi-shot ASP Encoding for the Aircraft Routing and Maintenance Planning Problem
Multilayer Perceptrons	An ASP approach for reasoning on neural networks under a finitely many-valued semantics for weighted conditional knowledge bases
N
Narrowing strategies	From Logic to Functional Logic Programs
natural language processing	Knowledge Authoring with Factual English
Negation as Failure	FOLD-RM: A Scalable and Efficient Inductive Learning Algorithm for Multi-Category Classification of Mixed Data
nested regular path queries	Jumping Evaluation of Nested Regular Path Queries
neural symbolic artificial intelligence	DeepStochLog: Neural Stochastic Logic Programming
Neural-symbolic integration	Exploiting Parameters Learning for Hyper-parameters Optimization in Deep Neural Networks
neuro-symbolic computing	A Neuro-Symbolic ASP Pipeline for Visual Question Answering
Non-monotonic logical reasoning	What do you really want to do? Towards a Theory of Intentions for Human-Robot Collaboration
Normal Logic Programs	Graph-based Interpretation of Normal Logic Programs
O
ontology	Efficient Datalog Rewriting for Query Answering in TGD Ontologies
Ordered Disjunction	Strong Equivalence of Logic Programs with Ordered Disjunction: a Logical Perspective
P
Paraconsistency	On Paraconsistent Belief Revision: the Case of Priest’s Logic of Paradox
Parameter learning	Inference and Learning with Model Uncertainty in Probabilistic Logic Programs
parameterized complexity	Treewidth-aware Reductions of Normal ASP to SAT– Is Normal ASP Harder than SAT after All?
Partial Stable Models	A Fixpoint Characterization of Three-Valued Disjunctive Hybrid MKNF Knowledge Bases
polynomial time hierarchy	Implementing Stable-Unstable Semantics with ASPTOOLS and Clingo
porting	Making ProB compatible with SICStus and SWI-Prolog (Best Application Paper Award)
Preferential semantics	An ASP approach for reasoning on neural networks under a finitely many-valued semantics for weighted conditional knowledge bases
ProB	Making ProB compatible with SICStus and SWI-Prolog (Best Application Paper Award)
Probabilistic Logic Programming	Efficient Knowledge Compilation Beyond Weighted Model Counting (Best Student Paper Award) Inference and Learning with Model Uncertainty in Probabilistic Logic Programs Abduction in Probabilistic Logic Programs Exploiting Parameters Learning for Hyper-parameters Optimization in Deep Neural Networks
Probabilistic reasoning	What do you really want to do? Towards a Theory of Intentions for Human-Robot Collaboration
Program Verification	Verifying Catamorphism-Based Contracts using Constrained Horn Clauses
Programming Errors	A Preliminary Data-driven Analysis of Common Errors Encountered by Novice Answer Set Programmers
Prolog	Making ProB compatible with SICStus and SWI-Prolog (Best Application Paper Award)
Q
Quantified logics	Solving Problems in PH with ASP(Q)
Query Checking	ASP-Based Declarative Process Mining
Query rewriting	Efficient Datalog Rewriting for Query Answering in TGD Ontologies
R
Reasoning about action and change	Determining Action Reversibility in STRIPS Using Answer Set Programming with Quantifiers
resolution	From Logic to Functional Logic Programs
S
scheduling	Solving a Multi-resource Partial-ordering Flexible Variant of the Job-shop Scheduling Problem with Hybrid ASP
Search space exploration	Rushing and Strolling among Answer Sets – Navigation Made Easy
semantics	Strong Equivalence of Logic Programs with Counting
Smart Devices	Applications of Answer Set Programming to Smart Devices and Large Scale Reasoning
Stable Model Semantics	Graph-based Interpretation of Normal Logic Programs
stable models	Strong Equivalence of Logic Programs with Counting
Stable-Unstable Semantics	Implementing Stable-Unstable Semantics with ASPTOOLS and Clingo
Stanza	Knowledge Authoring with Factual English
Statistical relational artificial intelligence	Abduction in Probabilistic Logic Programs
stochastic logic programming	DeepStochLog: Neural Stochastic Logic Programming
Strong Equivalence	Strong Equivalence of Logic Programs with Counting Strong Equivalence of Logic Programs with Ordered Disjunction: a Logical Perspective
symbolic vs. neural AI	A Gaze into the Internal Logic of Graph Neural Networks, with Logic
Symmetry Breaking Constraints	Efficient lifting of symmetry breaking constraints for complex combinatorial problems (Best Student Paper Award)
T
temporal pattern matching	Stream Reasoning with Deadlines
temporally-constrained effects of events	Stream Reasoning with Deadlines
Ternary satisfaction relation	Analyzing Semantics of Aggregate Answer Set Programming Using Approximation Fixpoint Theory
text graphs	A Gaze into the Internal Logic of Graph Neural Networks, with Logic
theorem provers for intuitionistic propositional logic	Abductive Reasoning in Intuitionistic Propositional Logic via Theorem Synthesis
theorem synthesis	Abductive Reasoning in Intuitionistic Propositional Logic via Theorem Synthesis
Theory of intentions	What do you really want to do? Towards a Theory of Intentions for Human-Robot Collaboration
Three-valued Logic	A Fixpoint Characterization of Three-Valued Disjunctive Hybrid MKNF Knowledge Bases
tractable reasoning	Tractable Reasoning using Logic Programs with Intensional Concepts
transformation	From Logic to Functional Logic Programs
Tree decomposition	Treewidth-aware Reductions of Normal ASP to SAT– Is Normal ASP Harder than SAT after All?
Treewidth	Treewidth-aware Reductions of Normal ASP to SAT– Is Normal ASP Harder than SAT after All?
Treewidth-aware reductions	Treewidth-aware Reductions of Normal ASP to SAT– Is Normal ASP Harder than SAT after All?
tuple-generating dependency	Efficient Datalog Rewriting for Query Answering in TGD Ontologies
Typicality in Description Logics	An ASP approach for reasoning on neural networks under a finitely many-valued semantics for weighted conditional knowledge bases
U
Uncertainty	MV-Datalog+/-: Effective Rule-based Reasoning with Uncertain Observations (Best Paper Award)
Uniform equivalence	On Syntactic Forgetting under Uniform Equivalence
unifying framework	Tree-Like Justification Systems are Consistent
V
visual question answering	A Neuro-Symbolic ASP Pipeline for Visual Question Answering
W
well-founded semantics	Tractable Reasoning using Logic Programs with Intensional Concepts Graph-based Interpretation of Normal Logic Programs

Disclaimer | Powered by EasyChair Smart Program