default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID36th CILC 2021: Parma, Italy
- Stefania Monica, Federico Bergenti:
Proceedings of the 36th Italian Conference on Computational Logic, Parma, Italy, September 7-9, 2021. CEUR Workshop Proceedings 3002, CEUR-WS.org 2021
Papers
- Stefano Bistarelli, Maria Chiara Meo, Carlo Taticchi:
Timed Concurrent Language for Argumentation. 1-15 - Giuseppe Pisano, Roberta Calegari, Andrea Omicini, Giovanni Sartor:
A Mechanism for Reasoning over Defeasible Preferences in Arg2P. 16-30 - Domenico Cantone, Eugenio G. Omodeo, Mattia Panettiere:
Very Weak, Essentially Undecidabile Set Theories. 31-46 - Laura Giordano, Daniele Theseider Dupré:
A Framework for a Modular Multi-Concept Lexicographic Closure Semantics (an abridged report). 47-61 - Diego Calvanese, Francesco Di Cosmo
, Jorge Lobo, Marco Montali:
Convergence Verification of Declarative Distributed Systems. 62-76 - Sylvain Conchon, Giorgio Delzanno, Arnaud Sangnier:
Verification of Contact Tracing Protocols via SMT-based Model Checking and Counting Abstraction. 77-91 - Angelo Ferrando, Giorgio Delzanno:
Incrementally Predictive Runtime Verification. 92-106 - Asta Halkjær From, Anders Schlichtkrull, Jørgen Villadsen:
A Sequent Calculus for First-Order Logic Formalized in Isabelle/HOL. 107-121 - Alberto Coffrini, Stefania Monica, Federico Bergenti:
On the Design of an Artificial Player for a Popular Word Game. 122-132 - Rocco de Felice, Stefania Monica, Federico Bergenti:
Summary of a Citywide Meal Planning Service for Kids Based on Logic Programming. 133-142 - Giuseppe Bisicchia, Stefano Forti, Antonio Brogi:
A Declarative Goal-oriented Framework for Smart Environments with LPaaS. 143-157 - Abeer Dyoub, Stefania Costantini, Francesca A. Lisi, Ivan Letteri:
Ethical Monitoring and Evaluation of Dialogues with a MAS. 158-172 - Stefania Costantini, Lorenzo De Lauretis, Claudio Ferri, Jessica Giancola, Fabio Persia:
A Smart Health Assistant via DALI Logical Agents. 173-187
Short papers
- Antonio Ielo, Francesco Ricca:
Answer Set Computation of Negative Two-Literal Programs Based on Graph Neural Networks: Preliminary Results. 188-195
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 2024-11-21 20:36 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:
