FLOC 2022: FEDERATED LOGIC CONFERENCE 2022

A
Alberti, Marco	An Iterative Fixpoint Semantics for MKNF Hybrid Knowledge Bases with Function Symbols
Amendola, Giovanni	Solving Problems in PH with ASP(Q)
Arias, Joaquin	Towards Dynamic Consistency Checking in Goal-directed Predicate Answer Set Programming Building Information Modeling using Constraint Logic Programming Modeling and Reasoning in Event Calculus using Goal-Directed Constraint Answer Set Programming (Extended Abstract)
Artikis, Alexander	Stream Reasoning with Deadlines
Azimov, Rustam	Jumping Evaluation of Nested Regular Path Queries
Azzolini, Damiano	Abduction in Probabilistic Logic Programs
B
Bellodi, Elena	Abduction in Probabilistic Logic Programs
Bogaerts, Bart	Tree-Like Justification Systems are Consistent Nested Justification Systems
Borca-Tasciuc, Giorgian	Knowledge Authoring with Factual English
Bruynooghe, Maurice	Analyzing Semantics of Aggregate Answer Set Programming Using Approximation Fixpoint Theory
C
Calimeri, Francesco	Applications of Answer Set Programming to Smart Devices and Large Scale Reasoning
Carro, Manuel	Building Information Modeling using Constraint Logic Programming Modeling and Reasoning in Event Calculus using Goal-Directed Constraint Answer Set Programming (Extended Abstract)
Carro, Manuel	Towards Dynamic Consistency Checking in Goal-directed Predicate Answer Set Programming
Charalambidis, Angelos	Strong Equivalence of Logic Programs with Ordered Disjunction: a Logical Perspective
Chen, Zhuo	Modeling and Reasoning in Event Calculus using Goal-Directed Constraint Answer Set Programming (Extended Abstract)
Chiariello, Francesco	ASP-Based Declarative Process Mining
Chrpa, Lukáš	Determining Action Reversibility in STRIPS Using Answer Set Programming with Quantifiers
Cuteri, Bernardo	Solving Problems in PH with ASP(Q)
D
De Angelis, Emanuele	Verifying Catamorphism-Based Contracts using Constrained Horn Clauses
De Raedt, Luc	Inference and Learning with Model Uncertainty in Probabilistic Logic Programs DeepStochLog: Neural Stochastic Logic Programming
Denecker, Marc	Analyzing Semantics of Aggregate Answer Set Programming Using Approximation Fixpoint Theory Nested Justification Systems
Derkinderen, Vincent	Inference and Learning with Model Uncertainty in Probabilistic Logic Programs
Du, Hanxiang	A Preliminary Data-driven Analysis of Common Errors Encountered by Novice Answer Set Programmers
Dung, Ho Tuan	On Model Reconciliation: How to Reconcile When Robot Does not Know Human’s Model?
E
Eckel, Rory	A Preliminary Data-driven Analysis of Common Errors Encountered by Novice Answer Set Programmers
Eiter, Thomas	Large-Neighbourhood Search for ASP Optimisation A Neuro-Symbolic ASP Pipeline for Visual Question Answering
El-Kholany, Mohammed	Problem Decomposition and Multi-shot ASP Solving for Job-shop Scheduling Solving a Multi-resource Partial-ordering Flexible Variant of the Job-shop Scheduling Problem with Hybrid ASP
Everardo, Flavio	ApproxASP – A Scalable Approximate Answer Set Counter
F
Faber, Wolfgang	Determining Action Reversibility in STRIPS Using Answer Set Programming with Quantifiers
Ferilli, Stefano	Abduction in Probabilistic Logic Programs
Fichte, Johannes K.	ApproxASP – A Scalable Approximate Answer Set Counter Rushing and Strolling among Answer Sets – Navigation Made Easy
Fioravanti, Fabio	Verifying Catamorphism-Based Contracts using Constrained Horn Clauses
Fodor, Paul	Knowledge Authoring with Factual English
Fraccaroli, Michele	Exploiting Parameters Learning for Hyper-parameters Optimization in Deep Neural Networks
Francescutto, Giulia	Solving a Multi-resource Partial-ordering Flexible Variant of the Job-shop Scheduling Problem with Hybrid ASP
G
Gaggl, Sarah Alice	Rushing and Strolling among Answer Sets – Navigation Made Easy
Gebser, Martin	Problem Decomposition and Multi-shot ASP Solving for Job-shop Scheduling Efficient lifting of symmetry breaking constraints for complex combinatorial problems (Best Student Paper Award)
Geibinger, Tobias	Large-Neighbourhood Search for ASP Optimisation
Geleßus, David	Making ProB compatible with SICStus and SWI-Prolog (Best Application Paper Award)
Giordano, Laura	An ASP approach for reasoning on neural networks under a finitely many-valued semantics for weighted conditional knowledge bases
Goel, Nikhil	Knowledge Authoring with Factual English
Gomez, Rocio	What do you really want to do? Towards a Theory of Intentions for Human-Robot Collaboration
Gonçalves, Ricardo	On Syntactic Forgetting under Uniform Equivalence Tractable Reasoning using Logic Programs with Intensional Concepts
Gottlob, Georg	MV-Datalog+/-: Effective Rule-based Reasoning with Uncertain Observations (Best Paper Award)
Gupta, Gopal	Towards Dynamic Consistency Checking in Goal-directed Predicate Answer Set Programming FOLD-RM: A Scalable and Efficient Inductive Learning Algorithm for Multi-Category Classification of Mixed Data Graph-based Interpretation of Normal Logic Programs Building Information Modeling using Constraint Logic Programming Modeling and Reasoning in Event Calculus using Goal-Directed Constraint Answer Set Programming (Extended Abstract)
H
Hansen, Zach	A Preliminary Data-driven Analysis of Common Errors Encountered by Novice Answer Set Programmers
Hanus, Michael	From Logic to Functional Logic Programs
Hecher, Markus	Treewidth-aware Reductions of Normal ASP to SAT– Is Normal ASP Harder than SAT after All? ApproxASP – A Scalable Approximate Answer Set Counter
Heyninck, Jesse	Tractable Reasoning using Logic Programs with Intensional Concepts Nested Justification Systems
Higuera, Nelson	A Neuro-Symbolic ASP Pipeline for Visual Question Answering
Higuera Ruiz, Nelson	Large-Neighbourhood Search for ASP Optimisation
J
Janhunen, Tomi	On Syntactic Forgetting under Uniform Equivalence Implementing Stable-Unstable Semantics with ASPTOOLS and Clingo
K
Kabir, Mohimenul	ApproxASP – A Scalable Approximate Answer Set Counter
Kiesel, Rafael	Efficient Knowledge Compilation Beyond Weighted Model Counting (Best Student Paper Award)
Kifer, Michael	Knowledge Authoring with Factual English
Killen, Spencer	A Fixpoint Characterization of Three-Valued Disjunctive Hybrid MKNF Knowledge Bases
Kimmig, Angelika	Efficient Knowledge Compilation Beyond Weighted Model Counting (Best Student Paper Award)
Knorr, Matthias	On Syntactic Forgetting under Uniform Equivalence Tractable Reasoning using Logic Programs with Intensional Concepts
Konieczny, Sebastien	On Paraconsistent Belief Revision: the Case of Priest’s Logic of Paradox
L
Lamma, Evelina	An Iterative Fixpoint Semantics for MKNF Hybrid Knowledge Bases with Function Symbols Exploiting Parameters Learning for Hyper-parameters Optimization in Deep Neural Networks
Lanzinger, Matthias	MV-Datalog+/-: Effective Rule-based Reasoning with Uncertain Observations (Best Paper Award)
Law, Mark	Efficient lifting of symmetry breaking constraints for complex combinatorial problems (Best Student Paper Award)
Leite, João	On Syntactic Forgetting under Uniform Equivalence Tractable Reasoning using Logic Programs with Intensional Concepts
Leone, Nicola	Applications of Answer Set Programming to Smart Devices and Large Scale Reasoning
Leuschel, Michael	Making ProB compatible with SICStus and SWI-Prolog (Best Application Paper Award)
Li, Fang	Graph-based Interpretation of Normal Logic Programs
Lifschitz, Vladimir	Transforming Gringo Rules into Formulas in a Natural Way Strong Equivalence of Logic Programs with Counting
Lugo, Justin	A Preliminary Data-driven Analysis of Common Errors Encountered by Novice Answer Set Programmers
M
Maggi, Fabrizio Maria	ASP-Based Declarative Process Mining
Manhaeve, Robin	DeepStochLog: Neural Stochastic Logic Programming
Mantenoglou, Periklis	Stream Reasoning with Deadlines
Marra, Giuseppe	DeepStochLog: Neural Stochastic Logic Programming
Marynissen, Simon	Tree-Like Justification Systems are Consistent Nested Justification Systems
Meel, Kuldeep S.	ApproxASP – A Scalable Approximate Answer Set Counter
Morak, Michael	Determining Action Reversibility in STRIPS Using Answer Set Programming with Quantifiers
Musliu, Nysret	Large-Neighbourhood Search for ASP Optimisation
N
Nguyen, Van	Model Reconciliation in Logic Programs
Niehren, Joachim	Jumping Evaluation of Nested Regular Path Queries
Nomikos, Christos	Strong Equivalence of Logic Programs with Ordered Disjunction: a Logical Perspective
O
Oetsch, Johannes	Large-Neighbourhood Search for ASP Optimisation A Neuro-Symbolic ASP Pipeline for Visual Question Answering
P
Patrizi, Fabio	ASP-Based Declarative Process Mining
Perri, Simona	Applications of Answer Set Programming to Smart Devices and Large Scale Reasoning
Pettorossi, Alberto	Verifying Catamorphism-Based Contracts using Constrained Horn Clauses
Pino Perez, Ramon	On Paraconsistent Belief Revision: the Case of Priest’s Logic of Paradox
Pitsikalis, Manolis	Stream Reasoning with Deadlines
Pritz, Michael	A Neuro-Symbolic ASP Pipeline for Visual Question Answering
Proietti, Maurizio	Verifying Catamorphism-Based Contracts using Constrained Horn Clauses
R
Rbaia, Mohamed	A Multi-shot ASP Encoding for the Aircraft Routing and Maintenance Planning Problem
Reale, Kristian	Applications of Answer Set Programming to Smart Devices and Large Scale Reasoning
Ricca, Francesco	Solving Problems in PH with ASP(Q) Applications of Answer Set Programming to Smart Devices and Large Scale Reasoning
Riguzzi, Fabrizio	Abduction in Probabilistic Logic Programs An Iterative Fixpoint Semantics for MKNF Hybrid Knowledge Bases with Function Symbols Exploiting Parameters Learning for Hyper-parameters Optimization in Deep Neural Networks
Riley, Heather	What do you really want to do? Towards a Theory of Intentions for Human-Robot Collaboration
Rondogiannis, Panos	Strong Equivalence of Logic Programs with Ordered Disjunction: a Logical Perspective
Rusovac, Dominik	Rushing and Strolling among Answer Sets – Navigation Made Easy
S
Salazar, Elmer	Towards Dynamic Consistency Checking in Goal-directed Predicate Answer Set Programming
Salazar, Elmer	Graph-based Interpretation of Normal Logic Programs
Salvati, Sylvain	Jumping Evaluation of Nested Regular Path Queries
Schekotihin, Konstantin	Problem Decomposition and Multi-shot ASP Solving for Job-shop Scheduling Efficient lifting of symmetry breaking constraints for complex combinatorial problems (Best Student Paper Award) Solving a Multi-resource Partial-ordering Flexible Variant of the Job-shop Scheduling Problem with Hybrid ASP
Schwind, Nicolas	On Paraconsistent Belief Revision: the Case of Priest’s Logic of Paradox
Sferrazza, Stefano	MV-Datalog+/-: Effective Rule-based Reasoning with Uncertain Observations (Best Paper Award)
Shukla, Ankit	ApproxASP – A Scalable Approximate Answer Set Counter
Son, Tran Cao	Model Reconciliation in Logic Programs On Model Reconciliation: How to Reconcile When Robot Does not Know Human’s Model?
Sridharan, Mohan	What do you really want to do? Towards a Theory of Intentions for Human-Robot Collaboration
Stepanova, Daria	Large-Neighbourhood Search for ASP Optimisation
T
Tarau, Paul	A Gaze into the Internal Logic of Graph Neural Networks, with Logic Abductive Reasoning in Intuitionistic Propositional Logic via Theorem Synthesis
Tarzariol, Alice	Efficient lifting of symmetry breaking constraints for complex combinatorial problems (Best Student Paper Award)
Tassel, Pierre	A Multi-shot ASP Encoding for the Aircraft Routing and Maintenance Planning Problem
Theseider Dupré, Daniele	An ASP approach for reasoning on neural networks under a finitely many-valued semantics for weighted conditional knowledge bases
Totis, Pietro	Efficient Knowledge Compilation Beyond Weighted Model Counting (Best Student Paper Award)
Truszczynski, Mirek	Solving Problems in PH with ASP(Q)
Törmá, Seppo	Building Information Modeling using Constraint Logic Programming
V
Vanbesien, Linde	Analyzing Semantics of Aggregate Answer Set Programming Using Approximation Fixpoint Theory
Vasileiou, Stylianos Loukas	Model Reconciliation in Logic Programs
Verreet, Victor	Inference and Learning with Model Uncertainty in Probabilistic Logic Programs
W
Wan, Hai	Efficient Datalog Rewriting for Query Answering in TGD Ontologies
Wang, Huaduo	FOLD-RM: A Scalable and Efficient Inductive Learning Algorithm for Multi-Category Classification of Mixed Data
Wang, Kewen	Efficient Datalog Rewriting for Query Answering in TGD Ontologies
Wang, Yuheng	Knowledge Authoring with Factual English
Wang, Zhe	Efficient Datalog Rewriting for Query Answering in TGD Ontologies
Winters, Thomas	DeepStochLog: Neural Stochastic Logic Programming
X
Xiao, Peng	Efficient Datalog Rewriting for Query Answering in TGD Ontologies
Xing, Wanli	A Preliminary Data-driven Analysis of Common Errors Encountered by Novice Answer Set Programmers
Y
Yeoh, William	Model Reconciliation in Logic Programs
You, Jia-Huai	A Fixpoint Characterization of Three-Valued Disjunctive Hybrid MKNF Knowledge Bases
Z
Zese, Riccardo	Abduction in Probabilistic Logic Programs An Iterative Fixpoint Semantics for MKNF Hybrid Knowledge Bases with Function Symbols
Zhang, Yuanlin	A Preliminary Data-driven Analysis of Common Errors Encountered by Novice Answer Set Programmers
Zhuang, Zhiqiang	Efficient Datalog Rewriting for Query Answering in TGD Ontologies
Zuidberg Dos Martires, Pedro	Inference and Learning with Model Uncertainty in Probabilistic Logic Programs

Disclaimer | Powered by EasyChair Smart Program