FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
SLIDES

Abduction in Probabilistic Logic Programs

Damiano Azzolini, Elena Bellodi, Stefano Ferilli, Fabrizio Riguzzi and Riccardo Zese

Exploiting Parameters Learning for Hyper-Parameters Optimization in Deep Neural Networks

Michele Fraccaroli, Evelina Lamma and Fabrizio Riguzzi

An Iterative Fixpoint Semantics for MKNF Hybrid Knowledge Bases with Function Symbols

Marco Alberti, Riccardo Zese, Fabrizio Riguzzi and Evelina Lamma

ASP-Based Declarative Process Mining

Francesco Chiariello, Fabrizio Maria Maggi and Fabio Patrizi

MV-Datalog+/-: Effective Rule-Based Reasoning with Uncertain Observations (Best Paper Award)

Matthias Lanzinger, Stefano Sferrazza and Georg Gottlob

Solving a Multi-Resource Partial-Ordering Flexible Variant of the Job-Shop Scheduling Problem with Hybrid ASP

Giulia Francescutto, Konstantin Schekotihin and Mohammed M. S. El-Kholany

Problem Decomposition and Multi-Shot ASP Solving for Job-Shop Scheduling

Mohammed El-Kholany, Martin Gebser and Konstantin Schekotihin

Verifying Catamorphism-Based Contracts Using Constrained Horn Clauses

Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi and Maurizio Proietti

On Paraconsistent Belief Revision: the Case of Priest’s Logic of Paradox

Nicolas Schwind, Sebastien Konieczny and Ramon Pino Perez

Solving Problems in Polynomial Hierarchy with ASP(Q)

Giovanni Amendola, Francesco Ricca, Mirek Truszczynski and Bernardo Cuteri

Making ProB Compatible with SICStus and SWI-Prolog (Best Application Paper Award)

David Geleßus and Michael Leuschel

Implementing Stable-Unstable Semantics with ASPTOOLS and Clingo

Tomi Janhunen

What Do You Really Want to Do? Towards a Theory of Intentions for Human-Robot Collaboration

Rocio Gomez, Mohan Sridharan and Heather Riley

A Gaze into the Internal Logic of Graph Neural Networks, with Logic

Paul Tarau

Abductive Reasoning in Intuitionistic Propositional Logic via Theorem Synthesis

Paul Tarau

Stream Reasoning with Deadlines

Periklis Mantenoglou, Manolis Pitsikalis and Alexander Artikis

Determining Action Reversibility in STRIPS Using Answer Set Programming with Quantifiers

Wolfgang Faber, Michael Morak and Lukáš Chrpa

From Logic to Functional Logic Programs

Michael Hanus

Efficient Lifting of Symmetry Breaking Constraints for Complex Combinatorial Problems (Best Student Paper Award)

Alice Tarzariol, Martin Gebser, Konstantin Schekotihin and Mark Law

Applications of Answer Set Programming to Smart Devices and Large Scale Reasoning

Kristian Reale, Francesco Calimeri, Nicola Leone, Simona Perri and Francesco Ricca

Nested Justification Systems

Simon Marynissen, Jesse Heyninck, Bart Bogaerts and Marc Denecker

Tree-like Justification Systems Are Consistent

Simon Marynissen and Bart Bogaerts
Total: 22 presentations.