Weighted defeasible knowledge bases and a multipreference semantics for a deep neural network model Laura Giordano and Daniele Theseider Dupré
Exploiting forwardness: Satisfiability and Query-Entailment in Forward Guarded Fragment Bartosz Bednarczyk
13:50-14:00 • Break
14:00-15:00 • Invited Talk 1
Knowledge Representation and Hybrid Reasoning for Robotics Esra Erdem
15:00-15:10 • Break
15:10-16:30 • Session 2: Logic Programming 1
Lazy Stream Manipulation in Prolog via Backtracking: the Case of 2P-Kt Giovanni Ciatto, Roberta Calegari and Andrea Omicini
An Abstract View on Optimizations in SAT and ASP Yuliya Lierler
Model Reconciliation in Logic Programs Tran Cao Son, Van Nguyen, Stylianos Loukas Vasileiou and William Yeoh
Transforming gringo rules into formulas in a natural way Vladimir Lifschitz
Tuesday, May 18, 2021
12:30-13:50 • Session 3: Logic Programming 2
Residuation for Lexicographic Orders Fabio Gadducci and Francesco Santini
Tractable Reasoning using Logic Programs with Intensional Concepts Jesse Heyninck, Ricardo Gonçalves, Matthias Knorr and Joao Leite
On Syntactic Forgetting under Uniform Equivalence Ricardo Gonçalves, Tomi Janhunen, Matthias Knorr and Joao Leite
Testing in ASP: Revisited language and programming environment Giovanni Amendola, Tobias Berei and Francesco Ricca
13:50-14:00 • Break
14:00-15:00 • Invited Talk 2
Logic-based Learning for Interpretable AI: Recent Advancements and Future Directions Alessandra Russo
15:00-15:10 • Break
15:10-16:30 • Session 4: Constraint Satisfaction
Tractable Combinations of Theories via Sampling Manuel Bodirsky and Johannes Greiner
Conditional Descriptor Revision and its Implementation by a CSP Jonas Haldimann, Kai Sauerwald, Martin von Berg, Gabriele Kern-Isberner and Christoph Beierle
Analyzing refutability of difference constraint systems in selected refutation systems K. Subramani and Piotr Wojciechowski
Wednesday, May 19, 2021
12:30-13:50 • Session 5: Argumentation and Belief Revision
Graph-Classes of Argumentation Frameworks with Collective Attacks Wolfgang Dvořák, Matthias König and Stefan Woltran
Introducing a Tool for Concurrent Argumentation Stefano Bistarelli and Carlo Taticchi
Probabilistic argumentation: an approach based on conditional probability – a preliminary report Pilar Dellunde, Lluis Godo and Amanda Vidal Wandelmer
Trust is All You Need: From Belief Revision to Information Revision Ammar Yasser and Haythem Ismail
13:50-14:00 • Break
14:00-15:00 • Invited Talk 3
Towards a Liasion of Sensor Fusion, Streams and Multi-Context Systems Thomas Eiter
15:00-15:10 • Break
15:10-16:30 • Session 6: Logic Programming 3
Solving a Multi-resource Partial-ordering Flexible variant of the Job-shop Scheduling Problem with Hybrid ASP Giulia Francescutto, Konstantin Schekotihin and Mohammed El-Kholany
A Multi-shot ASP Encoding for the Aircraft Routing and Maintenance Planning Problem Pierre Tassel and Mohamed Rbaia
DualGrounder: Lazy instantiation via Clingo multi-shot framework Justin Robbins and Yuliya Lierler
Estimating Grounding Sizes of Logic Programs under Answer Set Semantics and system Predictor Nick Hippen and Yuliya Lierler
Thursday, May 20, 2021
12:30-13:50 • Session 7: Reasoning about Actions, Causality, and Change
Computing Defeasible Meta-Logic Guido Governatori, Francesco Olivieri, Matteo Cristani and Abdul Sattar
Syntax Splitting for Iterated Contractions, Ignorations, and Revisions Using Selection Strategies Jonas Haldimann, Christoph Beierle and Gabriele Kern-Isberner
An Epistemic Logic for Multi-Agent Systems with Budget and Costs Stefania Costantini, Andrea Formisano and Valentina Pitoni
Epistemic Reasoning about Rationality and Bids in Auction Munyque Mittelmann, Laurent Perrussel and Andreas Herzig
13:50-14:00 • Break
14:00-15:00 • Session 8: Non-Classical Logics
A Computationally Grounded Logic of Graded Belief Emiliano Lorini and Francois Schwarzentruber
Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals Miika Hannula and Jonni Virtema
An epistemic probabilistic logic with conditional probabilities Sejla Dautovic, Dragan Doder and Zoran Ognjanovic