Abstract is missing.
- Taking stock of available technologies for compliance checking on first-order knowledgeLivio Robaldo, Sotiris Batsakis, Roberta Calegari, Francesco Calimeri, Megumi Fujita, Guido Governatori, Maria Concetta Morelli, Giuseppe Pisano, Ken Satoh, Ilias Tachmazidis. 1-16 [doi]
- GPU parallelism for SAT solving heuristicsMichele Collevati, Agostino Dovier, Andrea Formisano 0001. 17-31 [doi]
- Epistemic Multiagent Reasoning with Collaborative RobotsDavide Soldà, Francesco Fabiano, Agostino Dovier. 32-46 [doi]
- CARING for xAIFlavio Bertini, Alessandro Dal Palù, Francesco Fabiano, Eleonora Iotti. 47-60 [doi]
- Constraints propagation on GPU: A case study for AllDifferentFabio Tardivo, Agostino Dovier, Andrea Formisano 0001, Laurent Michel, Enrico Pontelli. 61-74 [doi]
- A Framework to build Abductive-Deductive Chatbots, based on Natural Language Processing and First-Order LogicCarmelo Fabio Longo, Corrado Santoro. 75-89 [doi]
- Abduction in (Probabilistic) Answer Set ProgrammingDamiano Azzolini, Elena Bellodi, Fabrizio Riguzzi. 90-103 [doi]
- Logic Programming library for Machine Learning: API design and prototypeGiovanni Ciatto, Matteo Castigliò, Roberta Calegari. 104-118 [doi]
- Temporalizing Epistemic Logic L-DINFStefania Costantini, Andrea Formisano 0001, Valentina Pitoni. 119-133 [doi]
- An Application of ASP for Procedural Content Generation in Video GamesAndrea De Seta, Mario Alviano. 134-140 [doi]
- An Intelligent Ecosystem to improve Patient Monitoring using Wearables and Artificial IntelligenceLorenzo De Lauretis, Fabio Persia, Stefania Costantini. 141-153 [doi]
- Exploiting Probabilistic Trace Expressions for Decentralized Runtime Verification with GapsDavide Ancona, Angelo Ferrando 0001, Viviana Mascardi. 154-170 [doi]
- Forward refutation for Gödel-Dummett LogicsCamillo Fiorentini, Mauro Ferrari 0002. 171-185 [doi]
- Epistemic Logic Programs: an approach to Semantic ComparisonStefania Costantini, Andrea Formisano 0001. 186-200 [doi]
- Discovering Business Processes models expressed as DNF or CNF formulae of Declare constraintsFederico Chesani, Chiara Di Francescomarino, Chiara Ghidini, Daniela Loreti, Fabrizio Maria Maggi, Paola Mello, Marco Montali, Elena Palmieri, Sergio Tessaris. 201-216 [doi]
- Efficient Theorem Proving for Conditional Logics with Conditional Excluded MiddleNikola Panic, Gian Luca Pozzato. 217-231 [doi]
- Declarative Pattern Mining in Digital Forensics: Preliminary ResultsFrancesca Alessandra Lisi, Gioacchino Sterlicchio. 232-246 [doi]
- A Loosely-coupled Neural-symbolic approach to Compliance of Electric PanelsVito Barbara, Dimitri Buelli, Massimo Guarascio, Stefano Ierace, Salvatore Iiritano, Giovanni Laboccetta, Nicola Leone, Giuseppe Manco 0001, Valerio Pesenti, Alessandro Quarta, Francesco Ricca, Ettore Ritacco. 247-253 [doi]
- KINS: Knowledge Injection via Network StructuringMatteo Magnini, Giovanni Ciatto, Andrea Omicini. 254-267 [doi]
- Constraint-Procedural Logic Generated Environments for Deep Q-learning Agent training and benchmarkingStefania Costantini, Giovanni De Gasperis, Patrizio Migliarini. 268-278 [doi]
- A Four-State Labelling Semantics for Weighted Argumentation FrameworksStefano Bistarelli, Carlo Taticchi. 279-293 [doi]
- Modeling and Solving the Rush Hour puzzleLorenzo Cian, Talissa Dreossi, Agostino Dovier. 294-306 [doi]
- From Weighted Conditionals with Typicality to a Gradual Argumentation Semantics (Extended Abstract)Laura Giordano 0001. 307-312 [doi]
- An ASP-based Approach to Master Surgical SchedulingLinda Cadermatori, Giuseppe Galatà, Carola Lo Monaco, Marco Maratea, Marco Mochi, Marco Schouten. 313-328 [doi]