Search dblp for Publications

export results for "toc:db/conf/cilc/cilc2021.bht:"

 download as .bib file

@inproceedings{DBLP:conf/cilc/0001D21,
  author       = {Laura Giordano and
                  Daniele Theseider Dupr{\'{e}}},
  editor       = {Stefania Monica and
                  Federico Bergenti},
  title        = {A Framework for a Modular Multi-Concept Lexicographic Closure Semantics
                  (an abridged report)},
  booktitle    = {Proceedings of the 36th Italian Conference on Computational Logic,
                  Parma, Italy, September 7-9, 2021},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3002},
  pages        = {47--61},
  publisher    = {CEUR-WS.org},
  year         = {2021},
  url          = {https://ceur-ws.org/Vol-3002/paper1.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:45 +0100},
  biburl       = {https://dblp.org/rec/conf/cilc/0001D21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cilc/Bisicchia0B21,
  author       = {Giuseppe Bisicchia and
                  Stefano Forti and
                  Antonio Brogi},
  editor       = {Stefania Monica and
                  Federico Bergenti},
  title        = {A Declarative Goal-oriented Framework for Smart Environments with
                  LPaaS},
  booktitle    = {Proceedings of the 36th Italian Conference on Computational Logic,
                  Parma, Italy, September 7-9, 2021},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3002},
  pages        = {143--157},
  publisher    = {CEUR-WS.org},
  year         = {2021},
  url          = {https://ceur-ws.org/Vol-3002/paper3.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cilc/Bisicchia0B21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cilc/BistarelliMT21,
  author       = {Stefano Bistarelli and
                  Maria Chiara Meo and
                  Carlo Taticchi},
  editor       = {Stefania Monica and
                  Federico Bergenti},
  title        = {Timed Concurrent Language for Argumentation},
  booktitle    = {Proceedings of the 36th Italian Conference on Computational Logic,
                  Parma, Italy, September 7-9, 2021},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3002},
  pages        = {1--15},
  publisher    = {CEUR-WS.org},
  year         = {2021},
  url          = {https://ceur-ws.org/Vol-3002/paper11.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cilc/BistarelliMT21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cilc/CalvaneseC0M21,
  author       = {Diego Calvanese and
                  Francesco Di Cosmo and
                  Jorge Lobo and
                  Marco Montali},
  editor       = {Stefania Monica and
                  Federico Bergenti},
  title        = {Convergence Verification of Declarative Distributed Systems},
  booktitle    = {Proceedings of the 36th Italian Conference on Computational Logic,
                  Parma, Italy, September 7-9, 2021},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3002},
  pages        = {62--76},
  publisher    = {CEUR-WS.org},
  year         = {2021},
  url          = {https://ceur-ws.org/Vol-3002/paper22.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cilc/CalvaneseC0M21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cilc/CantoneOP21,
  author       = {Domenico Cantone and
                  Eugenio G. Omodeo and
                  Mattia Panettiere},
  editor       = {Stefania Monica and
                  Federico Bergenti},
  title        = {Very Weak, Essentially Undecidabile Set Theories},
  booktitle    = {Proceedings of the 36th Italian Conference on Computational Logic,
                  Parma, Italy, September 7-9, 2021},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3002},
  pages        = {31--46},
  publisher    = {CEUR-WS.org},
  year         = {2021},
  url          = {https://ceur-ws.org/Vol-3002/paper21.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cilc/CantoneOP21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cilc/CoffriniMB21,
  author       = {Alberto Coffrini and
                  Stefania Monica and
                  Federico Bergenti},
  editor       = {Stefania Monica and
                  Federico Bergenti},
  title        = {On the Design of an Artificial Player for a Popular Word Game},
  booktitle    = {Proceedings of the 36th Italian Conference on Computational Logic,
                  Parma, Italy, September 7-9, 2021},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3002},
  pages        = {122--132},
  publisher    = {CEUR-WS.org},
  year         = {2021},
  url          = {https://ceur-ws.org/Vol-3002/paper19.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cilc/CoffriniMB21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cilc/ConchonDS21,
  author       = {Sylvain Conchon and
                  Giorgio Delzanno and
                  Arnaud Sangnier},
  editor       = {Stefania Monica and
                  Federico Bergenti},
  title        = {Verification of Contact Tracing Protocols via SMT-based Model Checking
                  and Counting Abstraction},
  booktitle    = {Proceedings of the 36th Italian Conference on Computational Logic,
                  Parma, Italy, September 7-9, 2021},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3002},
  pages        = {77--91},
  publisher    = {CEUR-WS.org},
  year         = {2021},
  url          = {https://ceur-ws.org/Vol-3002/paper24.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cilc/ConchonDS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cilc/CostantiniLFGP21,
  author       = {Stefania Costantini and
                  Lorenzo De Lauretis and
                  Claudio Ferri and
                  Jessica Giancola and
                  Fabio Persia},
  editor       = {Stefania Monica and
                  Federico Bergenti},
  title        = {A Smart Health Assistant via {DALI} Logical Agents},
  booktitle    = {Proceedings of the 36th Italian Conference on Computational Logic,
                  Parma, Italy, September 7-9, 2021},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3002},
  pages        = {173--187},
  publisher    = {CEUR-WS.org},
  year         = {2021},
  url          = {https://ceur-ws.org/Vol-3002/paper15.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cilc/CostantiniLFGP21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cilc/DyoubCLL21,
  author       = {Abeer Dyoub and
                  Stefania Costantini and
                  Francesca A. Lisi and
                  Ivan Letteri},
  editor       = {Stefania Monica and
                  Federico Bergenti},
  title        = {Ethical Monitoring and Evaluation of Dialogues with a {MAS}},
  booktitle    = {Proceedings of the 36th Italian Conference on Computational Logic,
                  Parma, Italy, September 7-9, 2021},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3002},
  pages        = {158--172},
  publisher    = {CEUR-WS.org},
  year         = {2021},
  url          = {https://ceur-ws.org/Vol-3002/paper13.pdf},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cilc/DyoubCLL21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cilc/FeliceMB21,
  author       = {Rocco de Felice and
                  Stefania Monica and
                  Federico Bergenti},
  editor       = {Stefania Monica and
                  Federico Bergenti},
  title        = {Summary of a Citywide Meal Planning Service for Kids Based on Logic
                  Programming},
  booktitle    = {Proceedings of the 36th Italian Conference on Computational Logic,
                  Parma, Italy, September 7-9, 2021},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3002},
  pages        = {133--142},
  publisher    = {CEUR-WS.org},
  year         = {2021},
  url          = {https://ceur-ws.org/Vol-3002/paper20.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cilc/FeliceMB21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cilc/FerrandoD21,
  author       = {Angelo Ferrando and
                  Giorgio Delzanno},
  editor       = {Stefania Monica and
                  Federico Bergenti},
  title        = {Incrementally Predictive Runtime Verification},
  booktitle    = {Proceedings of the 36th Italian Conference on Computational Logic,
                  Parma, Italy, September 7-9, 2021},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3002},
  pages        = {92--106},
  publisher    = {CEUR-WS.org},
  year         = {2021},
  url          = {https://ceur-ws.org/Vol-3002/paper25.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cilc/FerrandoD21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cilc/FromSV21,
  author       = {Asta Halkj{\ae}r From and
                  Anders Schlichtkrull and
                  J{\o}rgen Villadsen},
  editor       = {Stefania Monica and
                  Federico Bergenti},
  title        = {A Sequent Calculus for First-Order Logic Formalized in Isabelle/HOL},
  booktitle    = {Proceedings of the 36th Italian Conference on Computational Logic,
                  Parma, Italy, September 7-9, 2021},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3002},
  pages        = {107--121},
  publisher    = {CEUR-WS.org},
  year         = {2021},
  url          = {https://ceur-ws.org/Vol-3002/paper7.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cilc/FromSV21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cilc/IeloR21,
  author       = {Antonio Ielo and
                  Francesco Ricca},
  editor       = {Stefania Monica and
                  Federico Bergenti},
  title        = {Answer Set Computation of Negative Two-Literal Programs Based on Graph
                  Neural Networks: Preliminary Results},
  booktitle    = {Proceedings of the 36th Italian Conference on Computational Logic,
                  Parma, Italy, September 7-9, 2021},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3002},
  pages        = {188--195},
  publisher    = {CEUR-WS.org},
  year         = {2021},
  url          = {https://ceur-ws.org/Vol-3002/short1.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cilc/IeloR21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cilc/PisanoCOS21,
  author       = {Giuseppe Pisano and
                  Roberta Calegari and
                  Andrea Omicini and
                  Giovanni Sartor},
  editor       = {Stefania Monica and
                  Federico Bergenti},
  title        = {A Mechanism for Reasoning over Defeasible Preferences in Arg2P},
  booktitle    = {Proceedings of the 36th Italian Conference on Computational Logic,
                  Parma, Italy, September 7-9, 2021},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3002},
  pages        = {16--30},
  publisher    = {CEUR-WS.org},
  year         = {2021},
  url          = {https://ceur-ws.org/Vol-3002/paper10.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cilc/PisanoCOS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/cilc/2021,
  editor       = {Stefania Monica and
                  Federico Bergenti},
  title        = {Proceedings of the 36th Italian Conference on Computational Logic,
                  Parma, Italy, September 7-9, 2021},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3002},
  publisher    = {CEUR-WS.org},
  year         = {2021},
  url          = {https://ceur-ws.org/Vol-3002},
  urn          = {urn:nbn:de:0074-3002-3},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cilc/2021.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

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.