Abstract is missing.
- Timed Concurrent Language for ArgumentationStefano Bistarelli, Maria Chiara Meo, Carlo Taticchi. 1-15 [doi]
- A Mechanism for Reasoning over Defeasible Preferences in Arg2PGiuseppe Pisano, Roberta Calegari, Andrea Omicini, Giovanni Sartor. 16-30 [doi]
- Very Weak, Essentially Undecidabile Set TheoriesDomenico Cantone, Eugenio G. Omodeo, Mattia Panettiere. 31-46 [doi]
- A Framework for a Modular Multi-Concept Lexicographic Closure Semantics (an abridged report)Laura Giordano 0001, Daniele Theseider Dupré. 47-61 [doi]
- Convergence Verification of Declarative Distributed SystemsDiego Calvanese, Francesco Di Cosmo, Jorge Lobo 0001, Marco Montali. 62-76 [doi]
- Verification of Contact Tracing Protocols via SMT-based Model Checking and Counting AbstractionSylvain Conchon, Giorgio Delzanno, Arnaud Sangnier. 77-91 [doi]
- Incrementally Predictive Runtime VerificationAngelo Ferrando, Giorgio Delzanno. 92-106 [doi]
- A Sequent Calculus for First-Order Logic Formalized in Isabelle/HOLAsta Halkjær From, Anders Schlichtkrull, Jørgen Villadsen. 107-121 [doi]
- On the Design of an Artificial Player for a Popular Word GameAlberto Coffrini, Stefania Monica, Federico Bergenti. 122-132 [doi]
- Summary of a Citywide Meal Planning Service for Kids Based on Logic ProgrammingRocco de Felice, Stefania Monica, Federico Bergenti. 133-142 [doi]
- A Declarative Goal-oriented Framework for Smart Environments with LPaaSGiuseppe Bisicchia, Stefano Forti 0002, Antonio Brogi. 143-157 [doi]
- Ethical Monitoring and Evaluation of Dialogues with a MASAbeer Dyoub, Stefania Costantini, Francesca A. Lisi, Ivan Letteri. 158-172 [doi]
- A Smart Health Assistant via DALI Logical AgentsStefania Costantini, Lorenzo De Lauretis, Claudio Ferri, Jessica Giancola, Fabio Persia. 173-187 [doi]
- Answer Set Computation of Negative Two-Literal Programs Based on Graph Neural Networks: Preliminary ResultsAntonio Ielo, Francesco Ricca. 188-195 [doi]