![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
39th CILC 2024: Rome, Italy
- Emanuele De Angelis, Maurizio Proietti:
Proceedings of the 39th Italian Conference on Computational Logic, Rome, Italy, June 26-28, 2024. CEUR Workshop Proceedings 3733, CEUR-WS.org 2024
Regular Papers
- Angelo Ferrando, Andrea Gatti, Viviana Mascardi:
Geometric and Spatial Reasoning in BDI Agents: A Survey. - Giovanni Pagliarini, Andrea Paradiso, Guido Sciavicco, Ionel Eduard Stan:
On Modal Logic Formulae Minimization. - Simone Boscaratto, Eugenio G. Omodeo, Alberto Policriti:
On Generalised Ackermann Encodings - The Basis Issue. - Damiano Azzolini, Matteo Bonato, Elisabetta Gentili, Fabrizio Riguzzi:
Logic Programming for Knowledge Graph Completion. - Dariusz Marzec, Lidia Tendera:
On Two-variable First-order Logic with a Partial Order. - Mario Alviano, Carmine Dodaro, Ilaria R. Vasile:
Structured Declarative Language. - Stefano Bistarelli, Maria Chiara Meo, Carlo Taticchi:
Preserving Privacy in a (Timed) Concurrent Language for Argumentation. - Carmine Dodaro, Giuseppe Galatà, Cinzia Marte, Marco Maratea, Marco Mochi:
Nuclear Medicine Scheduling via Answer Set Programming. - Stefano Bistarelli, Carlo Taticchi:
A Semantics-Aware Evaluation Order for Abstract Argumentation Frameworks. - Stefania Costantini, Andrea Formisano:
Solver Fast Prototyping for Reduct-based ELP Semantics. - Stefania Costantini, Pierangelo Dell'Acqua, Giovanni De Gasperis, Francesco Gullo, Andrea Rafanelli:
NEMO - A Neural, Emotional Architecture for Human-AI Teaming. - Antonio Lieto, Gian Luca Pozzato, Gioele Tallone:
A Description Logics Based Cognitively Inspired Tool for Knowledge Generation via Concept Combination. - Antonis C. Kakas, Paolo Mancarella:
On the Extension of Argumentation Logic. - Flavio Bertini, Alessandro Dal Palù, Francesco Fabiano, Andrea Formisano, Federica Zaglio:
Concept2Text: An Explainable Multilingual Rewriting of Concepts into Natural Language. - Gabriele Buriola, Domenico Cantone, Gianluca Cincotti, Eugenio G. Omodeo, Gaetano T. Spartà:
Some Decidability Issues Concerning C^n Real Functions. - Mario Alviano, Marco Botta, Roberto Esposito, Laura Giordano, Daniele Theseider Dupré:
Many-valued Temporal Weighted Knowledge Bases with Typicality for Explainability. - Hongkai Yin, Matteo Pascucci:
Decidability of Ordered Fragments of FOL via Modal Translation.
Short Papers
- Gioacchino Sterlicchio, Francesca A. Lisi:
Condensed Representations for Contrast Sequential Pattern Mining in ASP. - Mario Alviano, Lorenzo Grillo:
Answer Set Programming and Large Language Models Interaction with YAML: Preliminary Report. - Agostino Dovier, Talissa Dreossi, Andrea Formisano:
XAI-LAW Towards a Logic Programming Tool for Taking and Explaining Legal Decisions. - Stefano Bistarelli, Marco Cuccarini:
BERT-based Questions Answering on Close Domains: Preliminary Report. - Marco Di Ianni, Fabio Fioravanti, Giulia Matricardi:
Visualizing CHC Verification Conditions for Smart Contracts Auditing. - Francesco Di Cosmo, Tephilla Prince:
Bounded Verification of Petri Nets and EOSs using Telingo: An Experience Report.
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
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.