default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID37th CILC 2022: Bologna, Italy
- Roberta Calegari, Giovanni Ciatto, Andrea Omicini:
Proceedings of the 37th Italian Conference on Computational Logic, Bologna, Italy, June 29 - July 1, 2022. CEUR Workshop Proceedings 3204, CEUR-WS.org 2022 - Livio Robaldo, Sotiris Batsakis, Roberta Calegari, Francesco Calimeri, Megumi Fujita, Guido Governatori, Maria Concetta Morelli, Giuseppe Pisano, Ken Satoh, Ilias Tachmazidis:
Taking stock of available technologies for compliance checking on first-order knowledge. 1-16 - Michele Collevati, Agostino Dovier, Andrea Formisano:
GPU parallelism for SAT solving heuristics. 17-31 - Davide Soldà, Francesco Fabiano, Agostino Dovier:
Epistemic Multiagent Reasoning with Collaborative Robots. 32-46 - Flavio Bertini, Alessandro Dal Palù, Francesco Fabiano, Eleonora Iotti:
CARING for xAI. 47-60 - Fabio Tardivo, Agostino Dovier, Andrea Formisano, Laurent Michel, Enrico Pontelli:
Constraints propagation on GPU: A case study for AllDifferent. 61-74 - Carmelo Fabio Longo, Corrado Santoro:
A Framework to build Abductive-Deductive Chatbots, based on Natural Language Processing and First-Order Logic. 75-89 - Damiano Azzolini, Elena Bellodi, Fabrizio Riguzzi:
Abduction in (Probabilistic) Answer Set Programming. 90-103 - Giovanni Ciatto, Matteo Castigliò, Roberta Calegari:
Logic Programming library for Machine Learning: API design and prototype. 104-118 - Stefania Costantini, Andrea Formisano, Valentina Pitoni:
Temporalizing Epistemic Logic L-DINF. 119-133 - Andrea De Seta, Mario Alviano:
An Application of ASP for Procedural Content Generation in Video Games. 134-140 - Lorenzo De Lauretis, Fabio Persia, Stefania Costantini:
An Intelligent Ecosystem to improve Patient Monitoring using Wearables and Artificial Intelligence. 141-153 - Davide Ancona, Angelo Ferrando, Viviana Mascardi:
Exploiting Probabilistic Trace Expressions for Decentralized Runtime Verification with Gaps. 154-170 - Camillo Fiorentini, Mauro Ferrari:
Forward refutation for Gödel-Dummett Logics. 171-185 - Stefania Costantini, Andrea Formisano:
Epistemic Logic Programs: an approach to Semantic Comparison. 186-200 - Federico Chesani, Chiara Di Francescomarino, Chiara Ghidini, Daniela Loreti, Fabrizio Maria Maggi, Paola Mello, Marco Montali, Elena Palmieri, Sergio Tessaris:
Discovering Business Processes models expressed as DNF or CNF formulae of Declare constraints. 201-216 - Nikola Panic, Gian Luca Pozzato:
Efficient Theorem Proving for Conditional Logics with Conditional Excluded Middle. 217-231 - Francesca Alessandra Lisi, Gioacchino Sterlicchio:
Declarative Pattern Mining in Digital Forensics: Preliminary Results. 232-246 - Vito Barbara, Dimitri Buelli, Massimo Guarascio, Stefano Ierace, Salvatore Iiritano, Giovanni Laboccetta, Nicola Leone, Giuseppe Manco, Valerio Pesenti, Alessandro Quarta, Francesco Ricca, Ettore Ritacco:
A Loosely-coupled Neural-symbolic approach to Compliance of Electric Panels. 247-253 - Matteo Magnini, Giovanni Ciatto, Andrea Omicini:
KINS: Knowledge Injection via Network Structuring. 254-267 - Stefania Costantini, Giovanni De Gasperis, Patrizio Migliarini:
Constraint-Procedural Logic Generated Environments for Deep Q-learning Agent training and benchmarking. 268-278 - Stefano Bistarelli, Carlo Taticchi:
A Four-State Labelling Semantics for Weighted Argumentation Frameworks. 279-293 - Lorenzo Cian, Talissa Dreossi, Agostino Dovier:
Modeling and Solving the Rush Hour puzzle. 294-306 - Laura Giordano:
From Weighted Conditionals with Typicality to a Gradual Argumentation Semantics (Extended Abstract). 307-312 - Linda Cadermatori, Giuseppe Galatà, Carola Lo Monaco, Marco Maratea, Marco Mochi, Marco Schouten:
An ASP-based Approach to Master Surgical Scheduling. 313-328
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-12 01:19 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
