default search action

combined dblp search
author search
venue search
publication search

ask others

36th CILC 2021: Parma, Italy

> Home > Conferences and Workshops > CILC

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
- export record
  dblp key:
  - conf/cilc/2021
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cilc/2021
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

- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/cilc/BistarelliMT21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cilc/BistarelliMT21
Stefano Bistarelli, Maria Chiara Meo, Carlo Taticchi:
Timed Concurrent Language for Argumentation. 1-15
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/cilc/PisanoCOS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cilc/PisanoCOS21
Giuseppe Pisano, Roberta Calegari, Andrea Omicini, Giovanni Sartor:
A Mechanism for Reasoning over Defeasible Preferences in Arg2P. 16-30
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/cilc/CantoneOP21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cilc/CantoneOP21
Domenico Cantone, Eugenio G. Omodeo, Mattia Panettiere:
Very Weak, Essentially Undecidabile Set Theories. 31-46
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/cilc/0001D21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cilc/0001D21
Laura Giordano, Daniele Theseider Dupré:
A Framework for a Modular Multi-Concept Lexicographic Closure Semantics (an abridged report). 47-61
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/cilc/CalvaneseC0M21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cilc/CalvaneseC0M21
Diego Calvanese, Francesco Di Cosmo, Jorge Lobo, Marco Montali:
Convergence Verification of Declarative Distributed Systems. 62-76
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/cilc/ConchonDS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cilc/ConchonDS21
Sylvain Conchon, Giorgio Delzanno, Arnaud Sangnier:
Verification of Contact Tracing Protocols via SMT-based Model Checking and Counting Abstraction. 77-91
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/cilc/FerrandoD21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cilc/FerrandoD21
Angelo Ferrando, Giorgio Delzanno:
Incrementally Predictive Runtime Verification. 92-106
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/cilc/FromSV21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cilc/FromSV21
Asta Halkjær From, Anders Schlichtkrull, Jørgen Villadsen:
A Sequent Calculus for First-Order Logic Formalized in Isabelle/HOL. 107-121
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/cilc/CoffriniMB21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cilc/CoffriniMB21
Alberto Coffrini, Stefania Monica, Federico Bergenti:
On the Design of an Artificial Player for a Popular Word Game. 122-132
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/cilc/FeliceMB21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cilc/FeliceMB21
Rocco de Felice, Stefania Monica, Federico Bergenti:
Summary of a Citywide Meal Planning Service for Kids Based on Logic Programming. 133-142
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/cilc/Bisicchia0B21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cilc/Bisicchia0B21
Giuseppe Bisicchia, Stefano Forti, Antonio Brogi:
A Declarative Goal-oriented Framework for Smart Environments with LPaaS. 143-157
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/cilc/DyoubCLL21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cilc/DyoubCLL21
Abeer Dyoub, Stefania Costantini, Francesca A. Lisi, Ivan Letteri:
Ethical Monitoring and Evaluation of Dialogues with a MAS. 158-172
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/cilc/CostantiniLFGP21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cilc/CostantiniLFGP21
Stefania Costantini, Lorenzo De Lauretis, Claudio Ferri, Jessica Giancola, Fabio Persia:
A Smart Health Assistant via DALI Logical Agents. 173-187

Short papers

- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/cilc/IeloR21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cilc/IeloR21
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.