default search action
Search dblp for Publications
export results for "stream:streams/conf/cilc:"
@inproceedings{DBLP:conf/cilc/00010M24, author = {Angelo Ferrando and Andrea Gatti and Viviana Mascardi}, editor = {Emanuele {De Angelis} and Maurizio Proietti}, title = {Geometric and Spatial Reasoning in {BDI} Agents: {A} Survey}, booktitle = {Proceedings of the 39th Italian Conference on Computational Logic, Rome, Italy, June 26-28, 2024}, series = {{CEUR} Workshop Proceedings}, volume = {3733}, publisher = {CEUR-WS.org}, year = {2024}, url = {https://ceur-ws.org/Vol-3733/paper1.pdf}, timestamp = {Fri, 26 Jul 2024 13:58:33 +0200}, biburl = {https://dblp.org/rec/conf/cilc/00010M24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/0001PF0Z24, author = {Flavio Bertini and Alessandro Dal Pal{\`{u}} and Francesco Fabiano and Andrea Formisano and Federica Zaglio}, editor = {Emanuele {De Angelis} and Maurizio Proietti}, title = {Concept2Text: An Explainable Multilingual Rewriting of Concepts into Natural Language}, booktitle = {Proceedings of the 39th Italian Conference on Computational Logic, Rome, Italy, June 26-28, 2024}, series = {{CEUR} Workshop Proceedings}, volume = {3733}, publisher = {CEUR-WS.org}, year = {2024}, url = {https://ceur-ws.org/Vol-3733/paper14.pdf}, timestamp = {Fri, 26 Jul 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cilc/0001PF0Z24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/AlvianoBE0D24, author = {Mario Alviano and Marco Botta and Roberto Esposito and Laura Giordano and Daniele Theseider Dupr{\'{e}}}, editor = {Emanuele {De Angelis} and Maurizio Proietti}, title = {Many-valued Temporal Weighted Knowledge Bases with Typicality for Explainability}, booktitle = {Proceedings of the 39th Italian Conference on Computational Logic, Rome, Italy, June 26-28, 2024}, series = {{CEUR} Workshop Proceedings}, volume = {3733}, publisher = {CEUR-WS.org}, year = {2024}, url = {https://ceur-ws.org/Vol-3733/paper16.pdf}, timestamp = {Fri, 26 Jul 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cilc/AlvianoBE0D24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/AlvianoDV24, author = {Mario Alviano and Carmine Dodaro and Ilaria R. Vasile}, editor = {Emanuele {De Angelis} and Maurizio Proietti}, title = {Structured Declarative Language}, booktitle = {Proceedings of the 39th Italian Conference on Computational Logic, Rome, Italy, June 26-28, 2024}, series = {{CEUR} Workshop Proceedings}, volume = {3733}, publisher = {CEUR-WS.org}, year = {2024}, url = {https://ceur-ws.org/Vol-3733/paper6.pdf}, timestamp = {Fri, 26 Jul 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cilc/AlvianoDV24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/AlvianoG24, author = {Mario Alviano and Lorenzo Grillo}, editor = {Emanuele {De Angelis} and Maurizio Proietti}, title = {Answer Set Programming and Large Language Models Interaction with {YAML:} Preliminary Report}, booktitle = {Proceedings of the 39th Italian Conference on Computational Logic, Rome, Italy, June 26-28, 2024}, series = {{CEUR} Workshop Proceedings}, volume = {3733}, publisher = {CEUR-WS.org}, year = {2024}, url = {https://ceur-ws.org/Vol-3733/short2.pdf}, timestamp = {Fri, 26 Jul 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cilc/AlvianoG24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/AzzoliniBGR24, author = {Damiano Azzolini and Matteo Bonato and Elisabetta Gentili and Fabrizio Riguzzi}, editor = {Emanuele {De Angelis} and Maurizio Proietti}, title = {Logic Programming for Knowledge Graph Completion}, booktitle = {Proceedings of the 39th Italian Conference on Computational Logic, Rome, Italy, June 26-28, 2024}, series = {{CEUR} Workshop Proceedings}, volume = {3733}, publisher = {CEUR-WS.org}, year = {2024}, url = {https://ceur-ws.org/Vol-3733/paper4.pdf}, timestamp = {Fri, 26 Jul 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cilc/AzzoliniBGR24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/BistarelliC24, author = {Stefano Bistarelli and Marco Cuccarini}, editor = {Emanuele {De Angelis} and Maurizio Proietti}, title = {BERT-based Questions Answering on Close Domains: Preliminary Report}, booktitle = {Proceedings of the 39th Italian Conference on Computational Logic, Rome, Italy, June 26-28, 2024}, series = {{CEUR} Workshop Proceedings}, volume = {3733}, publisher = {CEUR-WS.org}, year = {2024}, url = {https://ceur-ws.org/Vol-3733/short4.pdf}, timestamp = {Fri, 26 Jul 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cilc/BistarelliC24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/BistarelliMT24, author = {Stefano Bistarelli and Maria Chiara Meo and Carlo Taticchi}, editor = {Emanuele {De Angelis} and Maurizio Proietti}, title = {Preserving Privacy in a (Timed) Concurrent Language for Argumentation}, booktitle = {Proceedings of the 39th Italian Conference on Computational Logic, Rome, Italy, June 26-28, 2024}, series = {{CEUR} Workshop Proceedings}, volume = {3733}, publisher = {CEUR-WS.org}, year = {2024}, url = {https://ceur-ws.org/Vol-3733/paper7.pdf}, timestamp = {Fri, 26 Jul 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cilc/BistarelliMT24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/BistarelliT24, author = {Stefano Bistarelli and Carlo Taticchi}, editor = {Emanuele {De Angelis} and Maurizio Proietti}, title = {A Semantics-Aware Evaluation Order for Abstract Argumentation Frameworks}, booktitle = {Proceedings of the 39th Italian Conference on Computational Logic, Rome, Italy, June 26-28, 2024}, series = {{CEUR} Workshop Proceedings}, volume = {3733}, publisher = {CEUR-WS.org}, year = {2024}, url = {https://ceur-ws.org/Vol-3733/paper9.pdf}, timestamp = {Fri, 26 Jul 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cilc/BistarelliT24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/BoscarattoOP24, author = {Simone Boscaratto and Eugenio G. Omodeo and Alberto Policriti}, editor = {Emanuele {De Angelis} and Maurizio Proietti}, title = {On Generalised Ackermann Encodings - The Basis Issue}, booktitle = {Proceedings of the 39th Italian Conference on Computational Logic, Rome, Italy, June 26-28, 2024}, series = {{CEUR} Workshop Proceedings}, volume = {3733}, publisher = {CEUR-WS.org}, year = {2024}, url = {https://ceur-ws.org/Vol-3733/paper3.pdf}, timestamp = {Fri, 26 Jul 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cilc/BoscarattoOP24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/BuriolaCCOS24, author = {Gabriele Buriola and Domenico Cantone and Gianluca Cincotti and Eugenio G. Omodeo and Gaetano T. Spart{\`{a}}}, editor = {Emanuele {De Angelis} and Maurizio Proietti}, title = {Some Decidability Issues Concerning Cn Real Functions}, booktitle = {Proceedings of the 39th Italian Conference on Computational Logic, Rome, Italy, June 26-28, 2024}, series = {{CEUR} Workshop Proceedings}, volume = {3733}, publisher = {CEUR-WS.org}, year = {2024}, url = {https://ceur-ws.org/Vol-3733/paper15.pdf}, timestamp = {Fri, 26 Jul 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cilc/BuriolaCCOS24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/CosmoP24, author = {Francesco Di Cosmo and Tephilla Prince}, editor = {Emanuele {De Angelis} and Maurizio Proietti}, title = {Bounded Verification of Petri Nets and EOSs using Telingo: An Experience Report}, booktitle = {Proceedings of the 39th Italian Conference on Computational Logic, Rome, Italy, June 26-28, 2024}, series = {{CEUR} Workshop Proceedings}, volume = {3733}, publisher = {CEUR-WS.org}, year = {2024}, url = {https://ceur-ws.org/Vol-3733/short6.pdf}, timestamp = {Fri, 26 Jul 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cilc/CosmoP24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/Costantini024, author = {Stefania Costantini and Andrea Formisano}, editor = {Emanuele {De Angelis} and Maurizio Proietti}, title = {Solver Fast Prototyping for Reduct-based {ELP} Semantics}, booktitle = {Proceedings of the 39th Italian Conference on Computational Logic, Rome, Italy, June 26-28, 2024}, series = {{CEUR} Workshop Proceedings}, volume = {3733}, publisher = {CEUR-WS.org}, year = {2024}, url = {https://ceur-ws.org/Vol-3733/paper10.pdf}, timestamp = {Fri, 26 Jul 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cilc/Costantini024.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/CostantiniDGGR24, author = {Stefania Costantini and Pierangelo Dell'Acqua and Giovanni De Gasperis and Francesco Gullo and Andrea Rafanelli}, editor = {Emanuele {De Angelis} and Maurizio Proietti}, title = {{NEMO} - {A} Neural, Emotional Architecture for Human-AI Teaming}, booktitle = {Proceedings of the 39th Italian Conference on Computational Logic, Rome, Italy, June 26-28, 2024}, series = {{CEUR} Workshop Proceedings}, volume = {3733}, publisher = {CEUR-WS.org}, year = {2024}, url = {https://ceur-ws.org/Vol-3733/paper11.pdf}, timestamp = {Fri, 26 Jul 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cilc/CostantiniDGGR24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/DodaroGMMM24, author = {Carmine Dodaro and Giuseppe Galat{\`{a}} and Cinzia Marte and Marco Maratea and Marco Mochi}, editor = {Emanuele {De Angelis} and Maurizio Proietti}, title = {Nuclear Medicine Scheduling via Answer Set Programming}, booktitle = {Proceedings of the 39th Italian Conference on Computational Logic, Rome, Italy, June 26-28, 2024}, series = {{CEUR} Workshop Proceedings}, volume = {3733}, publisher = {CEUR-WS.org}, year = {2024}, url = {https://ceur-ws.org/Vol-3733/paper8.pdf}, timestamp = {Fri, 26 Jul 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cilc/DodaroGMMM24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/DovierD024, author = {Agostino Dovier and Talissa Dreossi and Andrea Formisano}, editor = {Emanuele {De Angelis} and Maurizio Proietti}, title = {{XAI-LAW} Towards a Logic Programming Tool for Taking and Explaining Legal Decisions}, booktitle = {Proceedings of the 39th Italian Conference on Computational Logic, Rome, Italy, June 26-28, 2024}, series = {{CEUR} Workshop Proceedings}, volume = {3733}, publisher = {CEUR-WS.org}, year = {2024}, url = {https://ceur-ws.org/Vol-3733/short3.pdf}, timestamp = {Fri, 26 Jul 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cilc/DovierD024.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/IanniFM24, author = {Marco Di Ianni and Fabio Fioravanti and Giulia Matricardi}, editor = {Emanuele {De Angelis} and Maurizio Proietti}, title = {Visualizing {CHC} Verification Conditions for Smart Contracts Auditing}, booktitle = {Proceedings of the 39th Italian Conference on Computational Logic, Rome, Italy, June 26-28, 2024}, series = {{CEUR} Workshop Proceedings}, volume = {3733}, publisher = {CEUR-WS.org}, year = {2024}, url = {https://ceur-ws.org/Vol-3733/short5.pdf}, timestamp = {Fri, 26 Jul 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cilc/IanniFM24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/KakasM24, author = {Antonis C. Kakas and Paolo Mancarella}, editor = {Emanuele {De Angelis} and Maurizio Proietti}, title = {On the Extension of Argumentation Logic}, booktitle = {Proceedings of the 39th Italian Conference on Computational Logic, Rome, Italy, June 26-28, 2024}, series = {{CEUR} Workshop Proceedings}, volume = {3733}, publisher = {CEUR-WS.org}, year = {2024}, url = {https://ceur-ws.org/Vol-3733/paper13.pdf}, timestamp = {Fri, 26 Jul 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cilc/KakasM24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/LietoPT24, author = {Antonio Lieto and Gian Luca Pozzato and Gioele Tallone}, editor = {Emanuele {De Angelis} and Maurizio Proietti}, title = {A Description Logics Based Cognitively Inspired Tool for Knowledge Generation via Concept Combination}, booktitle = {Proceedings of the 39th Italian Conference on Computational Logic, Rome, Italy, June 26-28, 2024}, series = {{CEUR} Workshop Proceedings}, volume = {3733}, publisher = {CEUR-WS.org}, year = {2024}, url = {https://ceur-ws.org/Vol-3733/paper12.pdf}, timestamp = {Fri, 26 Jul 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cilc/LietoPT24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/MarzecT24, author = {Dariusz Marzec and Lidia Tendera}, editor = {Emanuele {De Angelis} and Maurizio Proietti}, title = {On Two-variable First-order Logic with a Partial Order}, booktitle = {Proceedings of the 39th Italian Conference on Computational Logic, Rome, Italy, June 26-28, 2024}, series = {{CEUR} Workshop Proceedings}, volume = {3733}, publisher = {CEUR-WS.org}, year = {2024}, url = {https://ceur-ws.org/Vol-3733/paper5.pdf}, timestamp = {Fri, 26 Jul 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cilc/MarzecT24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/PagliariniPSS24, author = {Giovanni Pagliarini and Andrea Paradiso and Guido Sciavicco and Ionel Eduard Stan}, editor = {Emanuele {De Angelis} and Maurizio Proietti}, title = {On Modal Logic Formulae Minimization}, booktitle = {Proceedings of the 39th Italian Conference on Computational Logic, Rome, Italy, June 26-28, 2024}, series = {{CEUR} Workshop Proceedings}, volume = {3733}, publisher = {CEUR-WS.org}, year = {2024}, url = {https://ceur-ws.org/Vol-3733/paper2.pdf}, timestamp = {Fri, 26 Jul 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cilc/PagliariniPSS24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/SterlicchioL24, author = {Gioacchino Sterlicchio and Francesca A. Lisi}, editor = {Emanuele {De Angelis} and Maurizio Proietti}, title = {Condensed Representations for Contrast Sequential Pattern Mining in {ASP}}, booktitle = {Proceedings of the 39th Italian Conference on Computational Logic, Rome, Italy, June 26-28, 2024}, series = {{CEUR} Workshop Proceedings}, volume = {3733}, publisher = {CEUR-WS.org}, year = {2024}, url = {https://ceur-ws.org/Vol-3733/short1.pdf}, timestamp = {Fri, 26 Jul 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cilc/SterlicchioL24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/YinP24, author = {Hongkai Yin and Matteo Pascucci}, editor = {Emanuele {De Angelis} and Maurizio Proietti}, title = {Decidability of Ordered Fragments of {FOL} via Modal Translation}, booktitle = {Proceedings of the 39th Italian Conference on Computational Logic, Rome, Italy, June 26-28, 2024}, series = {{CEUR} Workshop Proceedings}, volume = {3733}, publisher = {CEUR-WS.org}, year = {2024}, url = {https://ceur-ws.org/Vol-3733/paper17.pdf}, timestamp = {Fri, 26 Jul 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cilc/YinP24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/cilc/2024, editor = {Emanuele {De Angelis} and Maurizio Proietti}, title = {Proceedings of the 39th Italian Conference on Computational Logic, Rome, Italy, June 26-28, 2024}, series = {{CEUR} Workshop Proceedings}, volume = {3733}, publisher = {CEUR-WS.org}, year = {2024}, url = {https://ceur-ws.org/Vol-3733}, urn = {urn:nbn:de:0074-3733-0}, timestamp = {Fri, 26 Jul 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cilc/2024.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/Alviano0D23, author = {Mario Alviano and Laura Giordano and Daniele Theseider Dupr{\'{e}}}, editor = {Agostino Dovier and Andrea Formisano}, title = {Preferential Temporal Description Logics with Typicality and Weighted Knowledge Bases}, booktitle = {Proceedings of the 38th Italian Conference on Computational Logic, Udine, Italy, June 21-23, 2023}, series = {{CEUR} Workshop Proceedings}, volume = {3428}, publisher = {CEUR-WS.org}, year = {2023}, url = {https://ceur-ws.org/Vol-3428/paper1.pdf}, timestamp = {Wed, 05 Jul 2023 16:52:15 +0200}, biburl = {https://dblp.org/rec/conf/cilc/Alviano0D23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/AlvianoTSB23, author = {Mario Alviano and Ly Ly T. Trieu and Tran Cao Son and Marcello Balduccini}, editor = {Agostino Dovier and Andrea Formisano}, title = {Advancements in xASP, an {XAI} System for Answer Set Programming}, booktitle = {Proceedings of the 38th Italian Conference on Computational Logic, Udine, Italy, June 21-23, 2023}, series = {{CEUR} Workshop Proceedings}, volume = {3428}, publisher = {CEUR-WS.org}, year = {2023}, url = {https://ceur-ws.org/Vol-3428/paper2.pdf}, timestamp = {Wed, 05 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cilc/AlvianoTSB23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/AngilicaGI23, author = {Denise Angilica and Stefano Germano and Giovambattista Ianni}, editor = {Agostino Dovier and Andrea Formisano}, title = {Domain-agnostic Procedural Content Generation Can Be Done Declaratively}, booktitle = {Proceedings of the 38th Italian Conference on Computational Logic, Udine, Italy, June 21-23, 2023}, series = {{CEUR} Workshop Proceedings}, volume = {3428}, publisher = {CEUR-WS.org}, year = {2023}, url = {https://ceur-ws.org/Vol-3428/short1.pdf}, timestamp = {Wed, 05 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cilc/AngilicaGI23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/BertagnonGZ23, author = {Alessandro Bertagnon and Marco Gavanelli and Fabio Zanotti}, editor = {Agostino Dovier and Andrea Formisano}, title = {{ASPECT:} Answer Set rePresentation as vEctor graphiCs in laTex}, booktitle = {Proceedings of the 38th Italian Conference on Computational Logic, Udine, Italy, June 21-23, 2023}, series = {{CEUR} Workshop Proceedings}, volume = {3428}, publisher = {CEUR-WS.org}, year = {2023}, url = {https://ceur-ws.org/Vol-3428/paper3.pdf}, timestamp = {Wed, 05 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cilc/BertagnonGZ23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/BistarelliD0T23, author = {Stefano Bistarelli and Victor David and Francesco Santini and Carlo Taticchi}, editor = {Agostino Dovier and Andrea Formisano}, title = {Temporal Probabilistic Argumentation Frameworks}, booktitle = {Proceedings of the 38th Italian Conference on Computational Logic, Udine, Italy, June 21-23, 2023}, series = {{CEUR} Workshop Proceedings}, volume = {3428}, publisher = {CEUR-WS.org}, year = {2023}, url = {https://ceur-ws.org/Vol-3428/paper4.pdf}, timestamp = {Wed, 05 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cilc/BistarelliD0T23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/CantoneCO23, author = {Domenico Cantone and Luca Cuzziol and Eugenio G. Omodeo}, editor = {Agostino Dovier and Andrea Formisano}, title = {A Brief History of Singlefold Diophantine Definitions}, booktitle = {Proceedings of the 38th Italian Conference on Computational Logic, Udine, Italy, June 21-23, 2023}, series = {{CEUR} Workshop Proceedings}, volume = {3428}, publisher = {CEUR-WS.org}, year = {2023}, url = {https://ceur-ws.org/Vol-3428/paper5.pdf}, timestamp = {Wed, 05 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cilc/CantoneCO23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/CantoneOP23, author = {Domenico Cantone and Eugenio G. Omodeo and Alberto Policriti}, editor = {Agostino Dovier and Andrea Formisano}, title = {Continued Hereditarily Finite Sets Approximations}, booktitle = {Proceedings of the 38th Italian Conference on Computational Logic, Udine, Italy, June 21-23, 2023}, series = {{CEUR} Workshop Proceedings}, volume = {3428}, publisher = {CEUR-WS.org}, year = {2023}, url = {https://ceur-ws.org/Vol-3428/paper6.pdf}, timestamp = {Wed, 05 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cilc/CantoneOP23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/CarusoDGM23, author = {Simone Caruso and Carmine Dodaro and Giuseppe Galat{\`{a}} and Marco Maratea}, editor = {Agostino Dovier and Andrea Formisano}, title = {Scheduling Periodic Treatments Via Answer Set Programming}, booktitle = {Proceedings of the 38th Italian Conference on Computational Logic, Udine, Italy, June 21-23, 2023}, series = {{CEUR} Workshop Proceedings}, volume = {3428}, publisher = {CEUR-WS.org}, year = {2023}, url = {https://ceur-ws.org/Vol-3428/paper7.pdf}, timestamp = {Wed, 05 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cilc/CarusoDGM23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/CasagrandeCDPT23, author = {Alberto Casagrande and Alessandro Cimatti and Luca Dorigo and Carla Piazza and Stefano Tonetta}, editor = {Agostino Dovier and Andrea Formisano}, title = {Set-Based Invariants over Polynomial Systems}, booktitle = {Proceedings of the 38th Italian Conference on Computational Logic, Udine, Italy, June 21-23, 2023}, series = {{CEUR} Workshop Proceedings}, volume = {3428}, publisher = {CEUR-WS.org}, year = {2023}, url = {https://ceur-ws.org/Vol-3428/paper8.pdf}, timestamp = {Sun, 12 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/CasagrandeCDPT23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/Cosmo23, author = {Francesco Di Cosmo}, editor = {Agostino Dovier and Andrea Formisano}, title = {Verification of Prev-Free Communicating Datalog Programs}, booktitle = {Proceedings of the 38th Italian Conference on Computational Logic, Udine, Italy, June 21-23, 2023}, series = {{CEUR} Workshop Proceedings}, volume = {3428}, publisher = {CEUR-WS.org}, year = {2023}, url = {https://ceur-ws.org/Vol-3428/short2.pdf}, timestamp = {Wed, 05 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cilc/Cosmo23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/Costantini023, author = {Stefania Costantini and Andrea Formisano}, editor = {Agostino Dovier and Andrea Formisano}, title = {Fast Prototyping of a Solver for Reduct-based {ELP} Semantics}, booktitle = {Proceedings of the 38th Italian Conference on Computational Logic, Udine, Italy, June 21-23, 2023}, series = {{CEUR} Workshop Proceedings}, volume = {3428}, publisher = {CEUR-WS.org}, year = {2023}, url = {https://ceur-ws.org/Vol-3428/paper9.pdf}, timestamp = {Wed, 05 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cilc/Costantini023.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/Costantini0P23, author = {Stefania Costantini and Andrea Formisano and Valentina Pitoni}, editor = {Agostino Dovier and Andrea Formisano}, title = {Preference Management in Epistemic Logic {L-DINF}}, booktitle = {Proceedings of the 38th Italian Conference on Computational Logic, Udine, Italy, June 21-23, 2023}, series = {{CEUR} Workshop Proceedings}, volume = {3428}, publisher = {CEUR-WS.org}, year = {2023}, url = {https://ceur-ws.org/Vol-3428/paper10.pdf}, timestamp = {Wed, 05 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cilc/Costantini0P23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/CuteriMR23, author = {Andrea Cuteri and Giuseppe Mazzotta and Francesco Ricca}, editor = {Agostino Dovier and Andrea Formisano}, title = {Compilation-based Techniques for Evaluating Normal Logic Programs Under the Well-founded Semantics}, booktitle = {Proceedings of the 38th Italian Conference on Computational Logic, Udine, Italy, June 21-23, 2023}, series = {{CEUR} Workshop Proceedings}, volume = {3428}, publisher = {CEUR-WS.org}, year = {2023}, url = {https://ceur-ws.org/Vol-3428/paper11.pdf}, timestamp = {Wed, 05 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cilc/CuteriMR23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/Dreossi23, author = {Talissa Dreossi}, editor = {Agostino Dovier and Andrea Formisano}, title = {Exploring {ILASP} Through Logic Puzzles Modelling}, booktitle = {Proceedings of the 38th Italian Conference on Computational Logic, Udine, Italy, June 21-23, 2023}, series = {{CEUR} Workshop Proceedings}, volume = {3428}, publisher = {CEUR-WS.org}, year = {2023}, url = {https://ceur-ws.org/Vol-3428/paper14.pdf}, timestamp = {Wed, 05 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cilc/Dreossi23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/Dupre23, author = {Daniele Theseider Dupr{\'{e}}}, editor = {Agostino Dovier and Andrea Formisano}, title = {Explainable Answer Set Programming for Legal Decision Support}, booktitle = {Proceedings of the 38th Italian Conference on Computational Logic, Udine, Italy, June 21-23, 2023}, series = {{CEUR} Workshop Proceedings}, volume = {3428}, publisher = {CEUR-WS.org}, year = {2023}, url = {https://ceur-ws.org/Vol-3428/short4.pdf}, timestamp = {Wed, 05 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cilc/Dupre23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/Fiorentini023, author = {Camillo Fiorentini and Mauro Ferrari}, editor = {Agostino Dovier and Andrea Formisano}, title = {A New Approach to Clausification for Intuitionistic Propositional Logic}, booktitle = {Proceedings of the 38th Italian Conference on Computational Logic, Udine, Italy, June 21-23, 2023}, series = {{CEUR} Workshop Proceedings}, volume = {3428}, publisher = {CEUR-WS.org}, year = {2023}, url = {https://ceur-ws.org/Vol-3428/paper15.pdf}, timestamp = {Wed, 05 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cilc/Fiorentini023.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/GliozziPV23, author = {Valentina Gliozzi and Gian Luca Pozzato and Alberto Valese}, editor = {Agostino Dovier and Andrea Formisano}, title = {Proof Methods and Theorem Proving for Conditional Logics with Strong Centering}, booktitle = {Proceedings of the 38th Italian Conference on Computational Logic, Udine, Italy, June 21-23, 2023}, series = {{CEUR} Workshop Proceedings}, volume = {3428}, publisher = {CEUR-WS.org}, year = {2023}, url = {https://ceur-ws.org/Vol-3428/paper16.pdf}, timestamp = {Wed, 05 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cilc/GliozziPV23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/PaluD023, author = {Alessandro Dal Pal{\`{u}} and Agostino Dovier and Andrea Formisano}, editor = {Agostino Dovier and Andrea Formisano}, title = {Towards Explainable Data-to-text Generation}, booktitle = {Proceedings of the 38th Italian Conference on Computational Logic, Udine, Italy, June 21-23, 2023}, series = {{CEUR} Workshop Proceedings}, volume = {3428}, publisher = {CEUR-WS.org}, year = {2023}, url = {https://ceur-ws.org/Vol-3428/paper12.pdf}, timestamp = {Wed, 05 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cilc/PaluD023.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/PandolfoP23, author = {Laura Pandolfo and Luca Pulina}, editor = {Agostino Dovier and Andrea Formisano}, title = {Unlocking Historical Insights: Developing a Dataset from Historical Archives}, booktitle = {Proceedings of the 38th Italian Conference on Computational Logic, Udine, Italy, June 21-23, 2023}, series = {{CEUR} Workshop Proceedings}, volume = {3428}, publisher = {CEUR-WS.org}, year = {2023}, url = {https://ceur-ws.org/Vol-3428/paper17.pdf}, timestamp = {Wed, 05 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cilc/PandolfoP23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/PiazzaRW23, author = {Carla Piazza and Riccardo Romanello and Robert Wille}, editor = {Agostino Dovier and Andrea Formisano}, title = {An {ASP} Approach for the Synthesis of {CNOT} Minimal Quantum Circuits}, booktitle = {Proceedings of the 38th Italian Conference on Computational Logic, Udine, Italy, June 21-23, 2023}, series = {{CEUR} Workshop Proceedings}, volume = {3428}, publisher = {CEUR-WS.org}, year = {2023}, url = {https://ceur-ws.org/Vol-3428/paper18.pdf}, timestamp = {Wed, 05 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cilc/PiazzaRW23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/SaccoBK23, author = {Gabriele Sacco and Loris Bozzato and Oliver Kutz}, editor = {Agostino Dovier and Andrea Formisano}, title = {Introducing Weighted Prototypes in Description Logics for Defeasible Reasoning}, booktitle = {Proceedings of the 38th Italian Conference on Computational Logic, Udine, Italy, June 21-23, 2023}, series = {{CEUR} Workshop Proceedings}, volume = {3428}, publisher = {CEUR-WS.org}, year = {2023}, url = {https://ceur-ws.org/Vol-3428/short3.pdf}, timestamp = {Wed, 05 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cilc/SaccoBK23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/ScanuMDGM23, author = {Marco Scanu and Marco Mochi and Carmine Dodaro and Giuseppe Galat{\`{a}} and Marco Maratea}, editor = {Agostino Dovier and Andrea Formisano}, title = {Operating Room Scheduling Via Answer Set Programming: The Case of {ASL1} Liguria}, booktitle = {Proceedings of the 38th Italian Conference on Computational Logic, Udine, Italy, June 21-23, 2023}, series = {{CEUR} Workshop Proceedings}, volume = {3428}, publisher = {CEUR-WS.org}, year = {2023}, url = {https://ceur-ws.org/Vol-3428/paper19.pdf}, timestamp = {Wed, 05 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cilc/ScanuMDGM23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/SchiavaPR23, author = {Alex Della Schiava and Carla Piazza and Riccardo Romanello}, editor = {Agostino Dovier and Andrea Formisano}, title = {Graph-Theoretical Arguments in Support of a Quantum Declarative Manifesto}, booktitle = {Proceedings of the 38th Italian Conference on Computational Logic, Udine, Italy, June 21-23, 2023}, series = {{CEUR} Workshop Proceedings}, volume = {3428}, publisher = {CEUR-WS.org}, year = {2023}, url = {https://ceur-ws.org/Vol-3428/paper13.pdf}, timestamp = {Wed, 05 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cilc/SchiavaPR23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/cilc/2023, editor = {Agostino Dovier and Andrea Formisano}, title = {Proceedings of the 38th Italian Conference on Computational Logic, Udine, Italy, June 21-23, 2023}, series = {{CEUR} Workshop Proceedings}, volume = {3428}, publisher = {CEUR-WS.org}, year = {2023}, url = {https://ceur-ws.org/Vol-3428}, urn = {urn:nbn:de:0074-3428-4}, timestamp = {Wed, 05 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cilc/2023.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/000122, author = {Laura Giordano}, editor = {Roberta Calegari and Giovanni Ciatto and Andrea Omicini}, title = {From Weighted Conditionals with Typicality to a Gradual Argumentation Semantics (Extended Abstract)}, booktitle = {Proceedings of the 37th Italian Conference on Computational Logic, Bologna, Italy, June 29 - July 1, 2022}, series = {{CEUR} Workshop Proceedings}, volume = {3204}, pages = {307--312}, publisher = {CEUR-WS.org}, year = {2022}, url = {https://ceur-ws.org/Vol-3204/paper\_32.pdf}, timestamp = {Fri, 10 Mar 2023 16:22:45 +0100}, biburl = {https://dblp.org/rec/conf/cilc/000122.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/AnconaFM22, author = {Davide Ancona and Angelo Ferrando and Viviana Mascardi}, editor = {Roberta Calegari and Giovanni Ciatto and Andrea Omicini}, title = {Exploiting Probabilistic Trace Expressions for Decentralized Runtime Verification with Gaps}, booktitle = {Proceedings of the 37th Italian Conference on Computational Logic, Bologna, Italy, June 29 - July 1, 2022}, series = {{CEUR} Workshop Proceedings}, volume = {3204}, pages = {154--170}, publisher = {CEUR-WS.org}, year = {2022}, url = {https://ceur-ws.org/Vol-3204/paper\_17.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/AnconaFM22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/AzzoliniBR22, author = {Damiano Azzolini and Elena Bellodi and Fabrizio Riguzzi}, editor = {Roberta Calegari and Giovanni Ciatto and Andrea Omicini}, title = {Abduction in (Probabilistic) Answer Set Programming}, booktitle = {Proceedings of the 37th Italian Conference on Computational Logic, Bologna, Italy, June 29 - July 1, 2022}, series = {{CEUR} Workshop Proceedings}, volume = {3204}, pages = {90--103}, publisher = {CEUR-WS.org}, year = {2022}, url = {https://ceur-ws.org/Vol-3204/paper\_9.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/AzzoliniBR22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/BarbaraBGIILL0P22, author = {Vito Barbara and Dimitri Buelli and Massimo Guarascio and Stefano Ierace and Salvatore Iiritano and Giovanni Laboccetta and Nicola Leone and Giuseppe Manco and Valerio Pesenti and Alessandro Quarta and Francesco Ricca and Ettore Ritacco}, editor = {Roberta Calegari and Giovanni Ciatto and Andrea Omicini}, title = {A Loosely-coupled Neural-symbolic approach to Compliance of Electric Panels}, booktitle = {Proceedings of the 37th Italian Conference on Computational Logic, Bologna, Italy, June 29 - July 1, 2022}, series = {{CEUR} Workshop Proceedings}, volume = {3204}, pages = {247--253}, publisher = {CEUR-WS.org}, year = {2022}, url = {https://ceur-ws.org/Vol-3204/paper\_24.pdf}, timestamp = {Wed, 24 May 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cilc/BarbaraBGIILL0P22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/BertiniPFI22, author = {Flavio Bertini and Alessandro Dal Pal{\`{u}} and Francesco Fabiano and Eleonora Iotti}, editor = {Roberta Calegari and Giovanni Ciatto and Andrea Omicini}, title = {{CARING} for xAI}, booktitle = {Proceedings of the 37th Italian Conference on Computational Logic, Bologna, Italy, June 29 - July 1, 2022}, series = {{CEUR} Workshop Proceedings}, volume = {3204}, pages = {47--60}, publisher = {CEUR-WS.org}, year = {2022}, url = {https://ceur-ws.org/Vol-3204/paper\_5.pdf}, timestamp = {Thu, 20 Apr 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cilc/BertiniPFI22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/BistarelliT22, author = {Stefano Bistarelli and Carlo Taticchi}, editor = {Roberta Calegari and Giovanni Ciatto and Andrea Omicini}, title = {A Four-State Labelling Semantics for Weighted Argumentation Frameworks}, booktitle = {Proceedings of the 37th Italian Conference on Computational Logic, Bologna, Italy, June 29 - July 1, 2022}, series = {{CEUR} Workshop Proceedings}, volume = {3204}, pages = {279--293}, publisher = {CEUR-WS.org}, year = {2022}, url = {https://ceur-ws.org/Vol-3204/paper\_28.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/BistarelliT22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/CadermatoriGMMM22, author = {Linda Cadermatori and Giuseppe Galat{\`{a}} and Carola Lo Monaco and Marco Maratea and Marco Mochi and Marco Schouten}, editor = {Roberta Calegari and Giovanni Ciatto and Andrea Omicini}, title = {An ASP-based Approach to Master Surgical Scheduling}, booktitle = {Proceedings of the 37th Italian Conference on Computational Logic, Bologna, Italy, June 29 - July 1, 2022}, series = {{CEUR} Workshop Proceedings}, volume = {3204}, pages = {313--328}, publisher = {CEUR-WS.org}, year = {2022}, url = {https://ceur-ws.org/Vol-3204/paper\_33.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/CadermatoriGMMM22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/ChesaniFGLMMMPT22, author = {Federico Chesani and Chiara Di Francescomarino and Chiara Ghidini and Daniela Loreti and Fabrizio Maria Maggi and Paola Mello and Marco Montali and Elena Palmieri and Sergio Tessaris}, editor = {Roberta Calegari and Giovanni Ciatto and Andrea Omicini}, title = {Discovering Business Processes models expressed as {DNF} or {CNF} formulae of Declare constraints}, booktitle = {Proceedings of the 37th Italian Conference on Computational Logic, Bologna, Italy, June 29 - July 1, 2022}, series = {{CEUR} Workshop Proceedings}, volume = {3204}, pages = {201--216}, publisher = {CEUR-WS.org}, year = {2022}, url = {https://ceur-ws.org/Vol-3204/paper\_21.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/ChesaniFGLMMMPT22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/CianDD22, author = {Lorenzo Cian and Talissa Dreossi and Agostino Dovier}, editor = {Roberta Calegari and Giovanni Ciatto and Andrea Omicini}, title = {Modeling and Solving the Rush Hour puzzle}, booktitle = {Proceedings of the 37th Italian Conference on Computational Logic, Bologna, Italy, June 29 - July 1, 2022}, series = {{CEUR} Workshop Proceedings}, volume = {3204}, pages = {294--306}, publisher = {CEUR-WS.org}, year = {2022}, url = {https://ceur-ws.org/Vol-3204/paper\_29.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/CianDD22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/CiattoCC22, author = {Giovanni Ciatto and Matteo Castigli{\`{o}} and Roberta Calegari}, editor = {Roberta Calegari and Giovanni Ciatto and Andrea Omicini}, title = {Logic Programming library for Machine Learning: {API} design and prototype}, booktitle = {Proceedings of the 37th Italian Conference on Computational Logic, Bologna, Italy, June 29 - July 1, 2022}, series = {{CEUR} Workshop Proceedings}, volume = {3204}, pages = {104--118}, publisher = {CEUR-WS.org}, year = {2022}, url = {https://ceur-ws.org/Vol-3204/paper\_12.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/CiattoCC22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/CollevatiD022, author = {Michele Collevati and Agostino Dovier and Andrea Formisano}, editor = {Roberta Calegari and Giovanni Ciatto and Andrea Omicini}, title = {{GPU} parallelism for {SAT} solving heuristics}, booktitle = {Proceedings of the 37th Italian Conference on Computational Logic, Bologna, Italy, June 29 - July 1, 2022}, series = {{CEUR} Workshop Proceedings}, volume = {3204}, pages = {17--31}, publisher = {CEUR-WS.org}, year = {2022}, url = {https://ceur-ws.org/Vol-3204/paper\_3.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/CollevatiD022.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/Costantini022, author = {Stefania Costantini and Andrea Formisano}, editor = {Roberta Calegari and Giovanni Ciatto and Andrea Omicini}, title = {Epistemic Logic Programs: an approach to Semantic Comparison}, booktitle = {Proceedings of the 37th Italian Conference on Computational Logic, Bologna, Italy, June 29 - July 1, 2022}, series = {{CEUR} Workshop Proceedings}, volume = {3204}, pages = {186--200}, publisher = {CEUR-WS.org}, year = {2022}, url = {https://ceur-ws.org/Vol-3204/paper\_20.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/Costantini022.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/Costantini0P22, author = {Stefania Costantini and Andrea Formisano and Valentina Pitoni}, editor = {Roberta Calegari and Giovanni Ciatto and Andrea Omicini}, title = {Temporalizing Epistemic Logic {L-DINF}}, booktitle = {Proceedings of the 37th Italian Conference on Computational Logic, Bologna, Italy, June 29 - July 1, 2022}, series = {{CEUR} Workshop Proceedings}, volume = {3204}, pages = {119--133}, publisher = {CEUR-WS.org}, year = {2022}, url = {https://ceur-ws.org/Vol-3204/paper\_13.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/Costantini0P22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/CostantiniGM22, author = {Stefania Costantini and Giovanni De Gasperis and Patrizio Migliarini}, editor = {Roberta Calegari and Giovanni Ciatto and Andrea Omicini}, title = {Constraint-Procedural Logic Generated Environments for Deep Q-learning Agent training and benchmarking}, booktitle = {Proceedings of the 37th Italian Conference on Computational Logic, Bologna, Italy, June 29 - July 1, 2022}, series = {{CEUR} Workshop Proceedings}, volume = {3204}, pages = {268--278}, publisher = {CEUR-WS.org}, year = {2022}, url = {https://ceur-ws.org/Vol-3204/paper\_27.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/CostantiniGM22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/Fiorentini022, author = {Camillo Fiorentini and Mauro Ferrari}, editor = {Roberta Calegari and Giovanni Ciatto and Andrea Omicini}, title = {Forward refutation for G{\"{o}}del-Dummett Logics}, booktitle = {Proceedings of the 37th Italian Conference on Computational Logic, Bologna, Italy, June 29 - July 1, 2022}, series = {{CEUR} Workshop Proceedings}, volume = {3204}, pages = {171--185}, publisher = {CEUR-WS.org}, year = {2022}, url = {https://ceur-ws.org/Vol-3204/paper\_18.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/Fiorentini022.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/LauretisPC22, author = {Lorenzo De Lauretis and Fabio Persia and Stefania Costantini}, editor = {Roberta Calegari and Giovanni Ciatto and Andrea Omicini}, title = {An Intelligent Ecosystem to improve Patient Monitoring using Wearables and Artificial Intelligence}, booktitle = {Proceedings of the 37th Italian Conference on Computational Logic, Bologna, Italy, June 29 - July 1, 2022}, series = {{CEUR} Workshop Proceedings}, volume = {3204}, pages = {141--153}, publisher = {CEUR-WS.org}, year = {2022}, url = {https://ceur-ws.org/Vol-3204/paper\_16.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/LauretisPC22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/LisiS22, author = {Francesca Alessandra Lisi and Gioacchino Sterlicchio}, editor = {Roberta Calegari and Giovanni Ciatto and Andrea Omicini}, title = {Declarative Pattern Mining in Digital Forensics: Preliminary Results}, booktitle = {Proceedings of the 37th Italian Conference on Computational Logic, Bologna, Italy, June 29 - July 1, 2022}, series = {{CEUR} Workshop Proceedings}, volume = {3204}, pages = {232--246}, publisher = {CEUR-WS.org}, year = {2022}, url = {https://ceur-ws.org/Vol-3204/paper\_23.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/LisiS22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/LongoS22, author = {Carmelo Fabio Longo and Corrado Santoro}, editor = {Roberta Calegari and Giovanni Ciatto and Andrea Omicini}, title = {A Framework to build Abductive-Deductive Chatbots, based on Natural Language Processing and First-Order Logic}, booktitle = {Proceedings of the 37th Italian Conference on Computational Logic, Bologna, Italy, June 29 - July 1, 2022}, series = {{CEUR} Workshop Proceedings}, volume = {3204}, pages = {75--89}, publisher = {CEUR-WS.org}, year = {2022}, url = {https://ceur-ws.org/Vol-3204/paper\_7.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/LongoS22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/MagniniCO22, author = {Matteo Magnini and Giovanni Ciatto and Andrea Omicini}, editor = {Roberta Calegari and Giovanni Ciatto and Andrea Omicini}, title = {{KINS:} Knowledge Injection via Network Structuring}, booktitle = {Proceedings of the 37th Italian Conference on Computational Logic, Bologna, Italy, June 29 - July 1, 2022}, series = {{CEUR} Workshop Proceedings}, volume = {3204}, pages = {254--267}, publisher = {CEUR-WS.org}, year = {2022}, url = {https://ceur-ws.org/Vol-3204/paper\_25.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/MagniniCO22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/PanicP22, author = {Nikola Panic and Gian Luca Pozzato}, editor = {Roberta Calegari and Giovanni Ciatto and Andrea Omicini}, title = {Efficient Theorem Proving for Conditional Logics with Conditional Excluded Middle}, booktitle = {Proceedings of the 37th Italian Conference on Computational Logic, Bologna, Italy, June 29 - July 1, 2022}, series = {{CEUR} Workshop Proceedings}, volume = {3204}, pages = {217--231}, publisher = {CEUR-WS.org}, year = {2022}, url = {https://ceur-ws.org/Vol-3204/paper\_22.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/PanicP22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/RobaldoBCCFGMPS22, author = {Livio Robaldo and Sotiris Batsakis and Roberta Calegari and Francesco Calimeri and Megumi Fujita and Guido Governatori and Maria Concetta Morelli and Giuseppe Pisano and Ken Satoh and Ilias Tachmazidis}, editor = {Roberta Calegari and Giovanni Ciatto and Andrea Omicini}, title = {Taking stock of available technologies for compliance checking on first-order knowledge}, booktitle = {Proceedings of the 37th Italian Conference on Computational Logic, Bologna, Italy, June 29 - July 1, 2022}, series = {{CEUR} Workshop Proceedings}, volume = {3204}, pages = {1--16}, publisher = {CEUR-WS.org}, year = {2022}, url = {https://ceur-ws.org/Vol-3204/paper\_1.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/RobaldoBCCFGMPS22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/SetaA22, author = {Andrea De Seta and Mario Alviano}, editor = {Roberta Calegari and Giovanni Ciatto and Andrea Omicini}, title = {An Application of {ASP} for Procedural Content Generation in Video Games}, booktitle = {Proceedings of the 37th Italian Conference on Computational Logic, Bologna, Italy, June 29 - July 1, 2022}, series = {{CEUR} Workshop Proceedings}, volume = {3204}, pages = {134--140}, publisher = {CEUR-WS.org}, year = {2022}, url = {https://ceur-ws.org/Vol-3204/paper\_14.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/SetaA22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/SoldaFD22, author = {Davide Sold{\`{a}} and Francesco Fabiano and Agostino Dovier}, editor = {Roberta Calegari and Giovanni Ciatto and Andrea Omicini}, title = {Epistemic Multiagent Reasoning with Collaborative Robots}, booktitle = {Proceedings of the 37th Italian Conference on Computational Logic, Bologna, Italy, June 29 - July 1, 2022}, series = {{CEUR} Workshop Proceedings}, volume = {3204}, pages = {32--46}, publisher = {CEUR-WS.org}, year = {2022}, url = {https://ceur-ws.org/Vol-3204/paper\_4.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/SoldaFD22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/TardivoD0MP22, author = {Fabio Tardivo and Agostino Dovier and Andrea Formisano and Laurent Michel and Enrico Pontelli}, editor = {Roberta Calegari and Giovanni Ciatto and Andrea Omicini}, title = {Constraints propagation on {GPU:} {A} case study for AllDifferent}, booktitle = {Proceedings of the 37th Italian Conference on Computational Logic, Bologna, Italy, June 29 - July 1, 2022}, series = {{CEUR} Workshop Proceedings}, volume = {3204}, pages = {61--74}, publisher = {CEUR-WS.org}, year = {2022}, url = {https://ceur-ws.org/Vol-3204/paper\_6.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/TardivoD0MP22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/cilc/2022, editor = {Roberta Calegari and Giovanni Ciatto and Andrea Omicini}, title = {Proceedings of the 37th Italian Conference on Computational Logic, Bologna, Italy, June 29 - July 1, 2022}, series = {{CEUR} Workshop Proceedings}, volume = {3204}, publisher = {CEUR-WS.org}, year = {2022}, url = {https://ceur-ws.org/Vol-3204}, urn = {urn:nbn:de:0074-3204-7}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/2022.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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} }
@inproceedings{DBLP:conf/cilc/000120, author = {Wolfgang Faber}, editor = {Francesco Calimeri and Simona Perri and Ester Zumpano}, title = {Reversibility of Actions and Plans (invited talk)}, booktitle = {Proceedings of the 35th Italian Conference on Computational Logic - {CILC} 2020, Rende, Italy, October 13-15, 2020}, series = {{CEUR} Workshop Proceedings}, volume = {2710}, pages = {1}, publisher = {CEUR-WS.org}, year = {2020}, url = {https://ceur-ws.org/Vol-2710/abstract-invited-1.pdf}, timestamp = {Fri, 10 Mar 2023 16:22:46 +0100}, biburl = {https://dblp.org/rec/conf/cilc/000120.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/0001GD20, author = {Laura Giordano and Valentina Gliozzi and Daniele Theseider Dupr{\'{e}}}, editor = {Francesco Calimeri and Simona Perri and Ester Zumpano}, title = {On a Plausible Concept-wise Multipreference Semantics and its Relations with Self-organising Maps}, booktitle = {Proceedings of the 35th Italian Conference on Computational Logic - {CILC} 2020, Rende, Italy, October 13-15, 2020}, series = {{CEUR} Workshop Proceedings}, volume = {2710}, pages = {127--140}, publisher = {CEUR-WS.org}, year = {2020}, url = {https://ceur-ws.org/Vol-2710/paper8.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/0001GD20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/BertagnonGST20, author = {Alessandro Bertagnon and Marco Gavanelli and Guido Sciavicco and Stefano Trevisani}, editor = {Francesco Calimeri and Simona Perri and Ester Zumpano}, title = {On (Maximal, Tractable) Fragments of the Branching Algebra}, booktitle = {Proceedings of the 35th Italian Conference on Computational Logic - {CILC} 2020, Rende, Italy, October 13-15, 2020}, series = {{CEUR} Workshop Proceedings}, volume = {2710}, pages = {113--126}, publisher = {CEUR-WS.org}, year = {2020}, url = {https://ceur-ws.org/Vol-2710/paper7.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/BertagnonGST20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/BistarelliT20, author = {Stefano Bistarelli and Carlo Taticchi}, editor = {Francesco Calimeri and Simona Perri and Ester Zumpano}, title = {A Labelling Semantics for Weighted Argumentation Frameworks}, booktitle = {Proceedings of the 35th Italian Conference on Computational Logic - {CILC} 2020, Rende, Italy, October 13-15, 2020}, series = {{CEUR} Workshop Proceedings}, volume = {2710}, pages = {263--277}, publisher = {CEUR-WS.org}, year = {2020}, url = {https://ceur-ws.org/Vol-2710/paper17.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/BistarelliT20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/BowlesC20, author = {Juliana K{\"{u}}ster Filipe Bowles and Marco B. Caminati}, editor = {Francesco Calimeri and Simona Perri and Ester Zumpano}, title = {A Formally Verified {SMT} Approach to True Concurrency}, booktitle = {Proceedings of the 35th Italian Conference on Computational Logic - {CILC} 2020, Rende, Italy, October 13-15, 2020}, series = {{CEUR} Workshop Proceedings}, volume = {2710}, pages = {357--371}, publisher = {CEUR-WS.org}, year = {2020}, url = {https://ceur-ws.org/Vol-2710/paper23.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/BowlesC20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/BozzatoF20, author = {Loris Bozzato and Camillo Fiorentini}, editor = {Francesco Calimeri and Simona Perri and Ester Zumpano}, title = {Reasoning on Information Term Semantics with {ASP} for Constructive EL{\unicode{42197}}}, booktitle = {Proceedings of the 35th Italian Conference on Computational Logic - {CILC} 2020, Rende, Italy, October 13-15, 2020}, series = {{CEUR} Workshop Proceedings}, volume = {2710}, pages = {141--156}, publisher = {CEUR-WS.org}, year = {2020}, url = {https://ceur-ws.org/Vol-2710/paper9.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/BozzatoF20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/BozzatoS20, author = {Loris Bozzato and Christoph G. Schuetz}, editor = {Francesco Calimeri and Simona Perri and Ester Zumpano}, title = {Towards Distributed Contextualized Knowledge Repositories for Analysis of Large-Scale Knowledge Graphs}, booktitle = {Proceedings of the 35th Italian Conference on Computational Logic - {CILC} 2020, Rende, Italy, October 13-15, 2020}, series = {{CEUR} Workshop Proceedings}, volume = {2710}, pages = {82--90}, publisher = {CEUR-WS.org}, year = {2020}, url = {https://ceur-ws.org/Vol-2710/short1.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/BozzatoS20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/BuriolaCCOS20, author = {Gabriele Buriola and Domenico Cantone and Gianluca Cincotti and Eugenio G. Omodeo and Gaetano T. Spart{\`{a}}}, editor = {Francesco Calimeri and Simona Perri and Ester Zumpano}, title = {A Decidable Theory of Differentiable Functions with Convexities and Concavities on Real Intervals}, booktitle = {Proceedings of the 35th Italian Conference on Computational Logic - {CILC} 2020, Rende, Italy, October 13-15, 2020}, series = {{CEUR} Workshop Proceedings}, volume = {2710}, pages = {231--247}, publisher = {CEUR-WS.org}, year = {2020}, url = {https://ceur-ws.org/Vol-2710/paper15.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/BuriolaCCOS20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/CantoneDMO20, author = {Domenico Cantone and Andrea De Domenico and Pietro Maugeri and Eugenio G. Omodeo}, editor = {Francesco Calimeri and Simona Perri and Ester Zumpano}, title = {A Quadratic Reduction of Constraints over Nested Sets to Purely Boolean Formulae in {CNF}}, booktitle = {Proceedings of the 35th Italian Conference on Computational Logic - {CILC} 2020, Rende, Italy, October 13-15, 2020}, series = {{CEUR} Workshop Proceedings}, volume = {2710}, pages = {214--230}, publisher = {CEUR-WS.org}, year = {2020}, url = {https://ceur-ws.org/Vol-2710/paper14.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/CantoneDMO20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/CavadaCM20, author = {Matteo Cavada and Andrea Col{\`{o}} and Alberto Momigliano}, editor = {Francesco Calimeri and Simona Perri and Ester Zumpano}, title = {MutantChick: Type-Preserving Mutation Analysis for Coq}, booktitle = {Proceedings of the 35th Italian Conference on Computational Logic - {CILC} 2020, Rende, Italy, October 13-15, 2020}, series = {{CEUR} Workshop Proceedings}, volume = {2710}, pages = {105--112}, publisher = {CEUR-WS.org}, year = {2020}, url = {https://ceur-ws.org/Vol-2710/short2.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/CavadaCM20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/Costantini20, author = {Stefania Costantini}, editor = {Francesco Calimeri and Simona Perri and Ester Zumpano}, title = {Ensuring Trustworthy and Ethical Behavior in Intelligent Logical Agents}, booktitle = {Proceedings of the 35th Italian Conference on Computational Logic - {CILC} 2020, Rende, Italy, October 13-15, 2020}, series = {{CEUR} Workshop Proceedings}, volume = {2710}, pages = {184--198}, publisher = {CEUR-WS.org}, year = {2020}, url = {https://ceur-ws.org/Vol-2710/paper12.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/Costantini20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/Denecker20, author = {Marc Denecker}, editor = {Francesco Calimeri and Simona Perri and Ester Zumpano}, title = {On the informal semantics of knowledge representation languages and the case of Logic Programming (invited talk)}, booktitle = {Proceedings of the 35th Italian Conference on Computational Logic - {CILC} 2020, Rende, Italy, October 13-15, 2020}, series = {{CEUR} Workshop Proceedings}, volume = {2710}, pages = {3}, publisher = {CEUR-WS.org}, year = {2020}, url = {https://ceur-ws.org/Vol-2710/abstract-invited-3.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/Denecker20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/DodaroGMMP20, author = {Carmine Dodaro and Giuseppe Galat{\`{a}} and Marco Maratea and Marco Mochi and Ivan Porro}, editor = {Francesco Calimeri and Simona Perri and Ester Zumpano}, title = {Chemotherapy Treatment Scheduling via Answer Set Programming}, booktitle = {Proceedings of the 35th Italian Conference on Computational Logic - {CILC} 2020, Rende, Italy, October 13-15, 2020}, series = {{CEUR} Workshop Proceedings}, volume = {2710}, pages = {342--356}, publisher = {CEUR-WS.org}, year = {2020}, url = {https://ceur-ws.org/Vol-2710/paper22.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/DodaroGMMP20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/DomenicoCA20, author = {Andrea De Domenico and Domenico Cantone and Marianna Nicolosi Asmundo}, editor = {Francesco Calimeri and Simona Perri and Ester Zumpano}, title = {An Ontology for the Iconographic Sources of La Divina Commedia}, booktitle = {Proceedings of the 35th Italian Conference on Computational Logic - {CILC} 2020, Rende, Italy, October 13-15, 2020}, series = {{CEUR} Workshop Proceedings}, volume = {2710}, pages = {157--168}, publisher = {CEUR-WS.org}, year = {2020}, url = {https://ceur-ws.org/Vol-2710/paper10.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/DomenicoCA20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/DyoubCLL20, author = {Abeer Dyoub and Stefania Costantini and Francesca Alessandra Lisi and Ivan Letteri}, editor = {Francesco Calimeri and Simona Perri and Ester Zumpano}, title = {Logic-based Machine Learning for Transparent Ethical Agents}, booktitle = {Proceedings of the 35th Italian Conference on Computational Logic - {CILC} 2020, Rende, Italy, October 13-15, 2020}, series = {{CEUR} Workshop Proceedings}, volume = {2710}, pages = {169--183}, publisher = {CEUR-WS.org}, year = {2020}, url = {https://ceur-ws.org/Vol-2710/paper11.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/DyoubCLL20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/Fabiano20, author = {Francesco Fabiano}, editor = {Francesco Calimeri and Simona Perri and Ester Zumpano}, title = {Towards a Complete Characterization of Epistemic Reasoning: the Notion of Trust}, booktitle = {Proceedings of the 35th Italian Conference on Computational Logic - {CILC} 2020, Rende, Italy, October 13-15, 2020}, series = {{CEUR} Workshop Proceedings}, volume = {2710}, pages = {21--35}, publisher = {CEUR-WS.org}, year = {2020}, url = {https://ceur-ws.org/Vol-2710/paper2.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/Fabiano20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/FabianoP20, author = {Francesco Fabiano and Alessandro Dal Pal{\`{u}}}, editor = {Francesco Calimeri and Simona Perri and Ester Zumpano}, title = {An {ASP} Approach for Arteries Classification in CT-scans}, booktitle = {Proceedings of the 35th Italian Conference on Computational Logic - {CILC} 2020, Rende, Italy, October 13-15, 2020}, series = {{CEUR} Workshop Proceedings}, volume = {2710}, pages = {312--326}, publisher = {CEUR-WS.org}, year = {2020}, url = {https://ceur-ws.org/Vol-2710/paper20.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/FabianoP20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/Fiorentini020, author = {Camillo Fiorentini and Mauro Ferrari}, editor = {Francesco Calimeri and Simona Perri and Ester Zumpano}, title = {A Natural Deduction Calculus for G{\"{o}}del-Dummett Logic Internalizing Proof-search Control Mechanisms}, booktitle = {Proceedings of the 35th Italian Conference on Computational Logic - {CILC} 2020, Rende, Italy, October 13-15, 2020}, series = {{CEUR} Workshop Proceedings}, volume = {2710}, pages = {91--104}, publisher = {CEUR-WS.org}, year = {2020}, url = {https://ceur-ws.org/Vol-2710/paper6.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/Fiorentini020.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/GhilardiGK20, author = {Silvio Ghilardi and Alessandro Gianola and Deepak Kapur}, editor = {Francesco Calimeri and Simona Perri and Ester Zumpano}, title = {Computing Uniform Interpolants for {EUF} via (conditional) DAG-based Compact Representations}, booktitle = {Proceedings of the 35th Italian Conference on Computational Logic - {CILC} 2020, Rende, Italy, October 13-15, 2020}, series = {{CEUR} Workshop Proceedings}, volume = {2710}, pages = {67--81}, publisher = {CEUR-WS.org}, year = {2020}, url = {https://ceur-ws.org/Vol-2710/paper5.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/GhilardiGK20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/GirlandoLOPP20, author = {Marianna Girlando and Bj{\"{o}}rn Lellmann and Nicola Olivetti and Stefano Pesce and Gian Luca Pozzato}, editor = {Francesco Calimeri and Simona Perri and Ester Zumpano}, title = {Theorem Proving for Lewis Logics of Counterfactual Reasoning}, booktitle = {Proceedings of the 35th Italian Conference on Computational Logic - {CILC} 2020, Rende, Italy, October 13-15, 2020}, series = {{CEUR} Workshop Proceedings}, volume = {2710}, pages = {199--213}, publisher = {CEUR-WS.org}, year = {2020}, url = {https://ceur-ws.org/Vol-2710/paper13.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/GirlandoLOPP20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/LoreggiaLS20, author = {Andrea Loreggia and Emiliano Lorini and Giovanni Sartor}, editor = {Francesco Calimeri and Simona Perri and Ester Zumpano}, title = {A Ceteris Paribus Deontic Logic}, booktitle = {Proceedings of the 35th Italian Conference on Computational Logic - {CILC} 2020, Rende, Italy, October 13-15, 2020}, series = {{CEUR} Workshop Proceedings}, volume = {2710}, pages = {248--262}, publisher = {CEUR-WS.org}, year = {2020}, url = {https://ceur-ws.org/Vol-2710/paper16.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/LoreggiaLS20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/MazzottaCDR20, author = {Giuseppe Mazzotta and Bernardo Cuteri and Carmine Dodaro and Francesco Ricca}, editor = {Francesco Calimeri and Simona Perri and Ester Zumpano}, title = {Compilation of Aggregates in {ASP:} Preliminary Results}, booktitle = {Proceedings of the 35th Italian Conference on Computational Logic - {CILC} 2020, Rende, Italy, October 13-15, 2020}, series = {{CEUR} Workshop Proceedings}, volume = {2710}, pages = {278--296}, publisher = {CEUR-WS.org}, year = {2020}, url = {https://ceur-ws.org/Vol-2710/paper18.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/MazzottaCDR20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/Penaloza20, author = {Rafael Pe{\~{n}}aloza}, editor = {Francesco Calimeri and Simona Perri and Ester Zumpano}, title = {Introduction to Probabilistic Ontologies (tutorial)}, booktitle = {Proceedings of the 35th Italian Conference on Computational Logic - {CILC} 2020, Rende, Italy, October 13-15, 2020}, series = {{CEUR} Workshop Proceedings}, volume = {2710}, pages = {4}, publisher = {CEUR-WS.org}, year = {2020}, url = {https://ceur-ws.org/Vol-2710/abstract-invited-4.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/Penaloza20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/PisanoCOS20, author = {Giuseppe Pisano and Roberta Calegari and Andrea Omicini and Giovanni Sartor}, editor = {Francesco Calimeri and Simona Perri and Ester Zumpano}, title = {Arg-tuProlog: a tuProlog-based Argumentation Framework}, booktitle = {Proceedings of the 35th Italian Conference on Computational Logic - {CILC} 2020, Rende, Italy, October 13-15, 2020}, series = {{CEUR} Workshop Proceedings}, volume = {2710}, pages = {51--66}, publisher = {CEUR-WS.org}, year = {2020}, url = {https://ceur-ws.org/Vol-2710/paper4.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/PisanoCOS20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/RizzoD20, author = {Nicola Rizzo and Agostino Dovier}, editor = {Francesco Calimeri and Simona Perri and Ester Zumpano}, title = {3coSoKu and its Logic Programming Modeling}, booktitle = {Proceedings of the 35th Italian Conference on Computational Logic - {CILC} 2020, Rende, Italy, October 13-15, 2020}, series = {{CEUR} Workshop Proceedings}, volume = {2710}, pages = {5--20}, publisher = {CEUR-WS.org}, year = {2020}, url = {https://ceur-ws.org/Vol-2710/paper1.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/RizzoD20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/SilenoP20, author = {Giovanni Sileno and Matteo Pascucci}, editor = {Francesco Calimeri and Simona Perri and Ester Zumpano}, title = {Disentangling Deontic Positions and Abilities: a Modal Analysis}, booktitle = {Proceedings of the 35th Italian Conference on Computational Logic - {CILC} 2020, Rende, Italy, October 13-15, 2020}, series = {{CEUR} Workshop Proceedings}, volume = {2710}, pages = {36--50}, publisher = {CEUR-WS.org}, year = {2020}, url = {https://ceur-ws.org/Vol-2710/paper3.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/SilenoP20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/SofiatoSR20, author = {Bruno Sofiato and F{\'{a}}bio Levy Siqueira and Ricardo Luis de Azevedo da Rocha}, editor = {Francesco Calimeri and Simona Perri and Ester Zumpano}, title = {Towards a Declarative Approach to Object Comparison}, booktitle = {Proceedings of the 35th Italian Conference on Computational Logic - {CILC} 2020, Rende, Italy, October 13-15, 2020}, series = {{CEUR} Workshop Proceedings}, volume = {2710}, pages = {297--311}, publisher = {CEUR-WS.org}, year = {2020}, url = {https://ceur-ws.org/Vol-2710/paper19.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/SofiatoSR20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/Villadsen20, author = {J{\o}rgen Villadsen}, editor = {Francesco Calimeri and Simona Perri and Ester Zumpano}, title = {Tautology Checkers in Isabelle and Haskell}, booktitle = {Proceedings of the 35th Italian Conference on Computational Logic - {CILC} 2020, Rende, Italy, October 13-15, 2020}, series = {{CEUR} Workshop Proceedings}, volume = {2710}, pages = {327--341}, publisher = {CEUR-WS.org}, year = {2020}, url = {https://ceur-ws.org/Vol-2710/paper21.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/Villadsen20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/Woltran20, author = {Stefan Woltran}, editor = {Francesco Calimeri and Simona Perri and Ester Zumpano}, title = {Computational Argumentation - Formal Models and Complexity Results (invited talk)}, booktitle = {Proceedings of the 35th Italian Conference on Computational Logic - {CILC} 2020, Rende, Italy, October 13-15, 2020}, series = {{CEUR} Workshop Proceedings}, volume = {2710}, pages = {2}, publisher = {CEUR-WS.org}, year = {2020}, url = {https://ceur-ws.org/Vol-2710/abstract-invited-2.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/Woltran20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/cilc/2020, editor = {Francesco Calimeri and Simona Perri and Ester Zumpano}, title = {Proceedings of the 35th Italian Conference on Computational Logic - {CILC} 2020, Rende, Italy, October 13-15, 2020}, series = {{CEUR} Workshop Proceedings}, volume = {2710}, publisher = {CEUR-WS.org}, year = {2020}, url = {https://ceur-ws.org/Vol-2710}, urn = {urn:nbn:de:0074-2710-9}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/2020.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/0001G19, author = {Laura Giordano and Valentina Gliozzi}, editor = {Alberto Casagrande and Eugenio G. Omodeo}, title = {Strengthening the Rational Closure for Description Logics: An Overview}, booktitle = {Proceedings of the 34th Italian Conference on Computational Logic, Trieste, Italy, June 19-21, 2019}, series = {{CEUR} Workshop Proceedings}, volume = {2396}, pages = {68--81}, publisher = {CEUR-WS.org}, year = {2019}, url = {https://ceur-ws.org/Vol-2396/paper8.pdf}, timestamp = {Fri, 10 Mar 2023 16:22:45 +0100}, biburl = {https://dblp.org/rec/conf/cilc/0001G19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/0001P19, author = {Laura Giordano and Alberto Policriti}, editor = {Alberto Casagrande and Eugenio G. Omodeo}, title = {Extending {ALC} with the power-set construct}, booktitle = {Proceedings of the 34th Italian Conference on Computational Logic, Trieste, Italy, June 19-21, 2019}, series = {{CEUR} Workshop Proceedings}, volume = {2396}, publisher = {CEUR-WS.org}, year = {2019}, timestamp = {Tue, 02 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cilc/0001P19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/AlloccaCCFLMPZ19, author = {Carlo Allocca and Francesco Calimeri and Roberta Costabile and Alessio Fiorentino and Nicola Leone and Marco Manna and Simona Perri and Jessica Zangari}, editor = {Alberto Casagrande and Eugenio G. Omodeo}, title = {An ASP-based Approach for Optimizing {DLV} Evaluation}, booktitle = {Proceedings of the 34th Italian Conference on Computational Logic, Trieste, Italy, June 19-21, 2019}, series = {{CEUR} Workshop Proceedings}, volume = {2396}, publisher = {CEUR-WS.org}, year = {2019}, timestamp = {Tue, 02 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cilc/AlloccaCCFLMPZ19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/AngelisFPP19, author = {Emanuele {De Angelis} and Fabio Fioravanti and Alberto Pettorossi and Maurizio Proietti}, editor = {Alberto Casagrande and Eugenio G. Omodeo}, title = {Proving Properties of Sorting Programs: {A} Case Study in Horn Clause Verification}, booktitle = {Proceedings of the 34th Italian Conference on Computational Logic, Trieste, Italy, June 19-21, 2019}, series = {{CEUR} Workshop Proceedings}, volume = {2396}, publisher = {CEUR-WS.org}, year = {2019}, timestamp = {Tue, 02 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cilc/AngelisFPP19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/BaldoniBM19, author = {Matteo Baldoni and Cristina Baroglio and Roberto Micalizio}, editor = {Alberto Casagrande and Eugenio G. Omodeo}, title = {Accountability, Responsibility and Robustness in Agent Organizations}, booktitle = {Proceedings of the 34th Italian Conference on Computational Logic, Trieste, Italy, June 19-21, 2019}, series = {{CEUR} Workshop Proceedings}, volume = {2396}, publisher = {CEUR-WS.org}, year = {2019}, timestamp = {Tue, 02 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cilc/BaldoniBM19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/BergentiM19, author = {Federico Bergenti and Stefania Monica}, editor = {Alberto Casagrande and Eugenio G. Omodeo}, title = {Simple and Effective Sign Consistency Using Interval Arithmetic}, booktitle = {Proceedings of the 34th Italian Conference on Computational Logic, Trieste, Italy, June 19-21, 2019}, series = {{CEUR} Workshop Proceedings}, volume = {2396}, pages = {89--103}, publisher = {CEUR-WS.org}, year = {2019}, url = {https://ceur-ws.org/Vol-2396/paper3.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/BergentiM19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/BistarelliF0T19, author = {Stefano Bistarelli and Francesco Faloci and Francesco Santini and Carlo Taticchi}, editor = {Alberto Casagrande and Eugenio G. Omodeo}, title = {A Tool For Ranking Arguments Through Voting-Games Power Indexes}, booktitle = {Proceedings of the 34th Italian Conference on Computational Logic, Trieste, Italy, June 19-21, 2019}, series = {{CEUR} Workshop Proceedings}, volume = {2396}, pages = {193--201}, publisher = {CEUR-WS.org}, year = {2019}, url = {https://ceur-ws.org/Vol-2396/paper29.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/BistarelliF0T19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/BortoliITDP19, author = {Marco De Bortoli and Federico Igne and Fabio Tardivo and Pietro Totis and Agostino Dovier and Enrico Pontelli}, editor = {Alberto Casagrande and Eugenio G. Omodeo}, title = {Towards Distributed Computation of Answer Sets}, booktitle = {Proceedings of the 34th Italian Conference on Computational Logic, Trieste, Italy, June 19-21, 2019}, series = {{CEUR} Workshop Proceedings}, volume = {2396}, pages = {316--326}, publisher = {CEUR-WS.org}, year = {2019}, url = {https://ceur-ws.org/Vol-2396/paper36.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/BortoliITDP19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/BrancatoAPSU19, author = {Roldolfo Brancato and Marianna Nicolosi Asmundo and Grazia Pagano and Daniele Francesco Santamaria and Salvatore Ucchino}, editor = {Alberto Casagrande and Eugenio G. Omodeo}, title = {An Ontology for Legacy Data on Ancient Ceramics of the Plain of Catania}, booktitle = {Proceedings of the 34th Italian Conference on Computational Logic, Trieste, Italy, June 19-21, 2019}, series = {{CEUR} Workshop Proceedings}, volume = {2396}, pages = {59--67}, publisher = {CEUR-WS.org}, year = {2019}, url = {https://ceur-ws.org/Vol-2396/paper28.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/BrancatoAPSU19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/CalvaneseGGMR19, author = {Diego Calvanese and Silvio Ghilardi and Alessandro Gianola and Marco Montali and Andrey Rivkin}, editor = {Alberto Casagrande and Eugenio G. Omodeo}, title = {Model Completeness, Covers and Superposition (Abridged Version)}, booktitle = {Proceedings of the 34th Italian Conference on Computational Logic, Trieste, Italy, June 19-21, 2019}, series = {{CEUR} Workshop Proceedings}, volume = {2396}, publisher = {CEUR-WS.org}, year = {2019}, timestamp = {Tue, 02 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cilc/CalvaneseGGMR19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/CantoneCFO19, author = {Domenico Cantone and Alberto Casagrande and Francesco Fabris and Eugenio G. Omodeo}, editor = {Alberto Casagrande and Eugenio G. Omodeo}, title = {Does Every Recursively Enumerable Set Admit a Finite-Fold Diophantine Representation?}, booktitle = {Proceedings of the 34th Italian Conference on Computational Logic, Trieste, Italy, June 19-21, 2019}, series = {{CEUR} Workshop Proceedings}, volume = {2396}, pages = {104--122}, publisher = {CEUR-WS.org}, year = {2019}, url = {https://ceur-ws.org/Vol-2396/paper11.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/CantoneCFO19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/CantoneDMO19, author = {Domenico Cantone and Andrea De Domenico and Pietro Maugeri and Eugenio G. Omodeo}, editor = {Alberto Casagrande and Eugenio G. Omodeo}, title = {Polynomial-Time Satisfiability Tests for Boolean Fragments of Set Theory}, booktitle = {Proceedings of the 34th Italian Conference on Computational Logic, Trieste, Italy, June 19-21, 2019}, series = {{CEUR} Workshop Proceedings}, volume = {2396}, pages = {123--137}, publisher = {CEUR-WS.org}, year = {2019}, url = {https://ceur-ws.org/Vol-2396/paper22.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/CantoneDMO19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/ChesaniFGLMMMST19, author = {Federico Chesani and Chiara Di Francescomarino and Chiara Ghidini and Daniela Loreti and Fabrizio Maria Maggi and Paola Mello and Marco Montali and Vasyl Skydanienko and Sergio Tessaris}, editor = {Alberto Casagrande and Eugenio G. Omodeo}, title = {Towards the Generation of the "Perfect" Log Using Abductive Logic Programming}, booktitle = {Proceedings of the 34th Italian Conference on Computational Logic, Trieste, Italy, June 19-21, 2019}, series = {{CEUR} Workshop Proceedings}, volume = {2396}, pages = {179--192}, publisher = {CEUR-WS.org}, year = {2019}, url = {https://ceur-ws.org/Vol-2396/paper26.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/ChesaniFGLMMMST19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/CicconeFAM19, author = {Luca Ciccone and Angelo Ferrando and Davide Ancona and Viviana Mascardi}, editor = {Alberto Casagrande and Eugenio G. Omodeo}, title = {Timed Trace Expressions}, booktitle = {Proceedings of the 34th Italian Conference on Computational Logic, Trieste, Italy, June 19-21, 2019}, series = {{CEUR} Workshop Proceedings}, volume = {2396}, pages = {229--241}, publisher = {CEUR-WS.org}, year = {2019}, url = {https://ceur-ws.org/Vol-2396/paper13.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/CicconeFAM19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/Cosmo19, author = {Francesco Di Cosmo}, editor = {Alberto Casagrande and Eugenio G. Omodeo}, title = {{FO} Queries Strongly Distributing over Components in Arbitrary Cardinality}, booktitle = {Proceedings of the 34th Italian Conference on Computational Logic, Trieste, Italy, June 19-21, 2019}, series = {{CEUR} Workshop Proceedings}, volume = {2396}, pages = {260--268}, publisher = {CEUR-WS.org}, year = {2019}, url = {https://ceur-ws.org/Vol-2396/paper15.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/Cosmo19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/CostantiniF19, author = {Stefania Costantini and Andrea Formisano}, editor = {Alberto Casagrande and Eugenio G. Omodeo}, title = {Augmenting Knowledge Representation and Reasoning Languages with Customizable Metalogic Features}, booktitle = {Proceedings of the 34th Italian Conference on Computational Logic, Trieste, Italy, June 19-21, 2019}, series = {{CEUR} Workshop Proceedings}, volume = {2396}, pages = {14--29}, publisher = {CEUR-WS.org}, year = {2019}, url = {https://ceur-ws.org/Vol-2396/paper1.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/CostantiniF19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/CostantiniLO19, author = {Stefania Costantini and Francesca Alessandra Lisi and Raffaele Olivieri}, editor = {Alberto Casagrande and Eugenio G. Omodeo}, title = {DigForASP: {A} European Cooperation Network for Logic-based {AI} in Digital Forensics}, booktitle = {Proceedings of the 34th Italian Conference on Computational Logic, Trieste, Italy, June 19-21, 2019}, series = {{CEUR} Workshop Proceedings}, volume = {2396}, pages = {138--146}, publisher = {CEUR-WS.org}, year = {2019}, url = {https://ceur-ws.org/Vol-2396/paper34.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/CostantiniLO19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/CostantiniP19, author = {Stefania Costantini and Valentina Pitoni}, editor = {Alberto Casagrande and Eugenio G. Omodeo}, title = {Reasoning about Memory Management in Resource-Bounded Agents}, booktitle = {Proceedings of the 34th Italian Conference on Computational Logic, Trieste, Italy, June 19-21, 2019}, series = {{CEUR} Workshop Proceedings}, volume = {2396}, pages = {217--228}, publisher = {CEUR-WS.org}, year = {2019}, url = {https://ceur-ws.org/Vol-2396/paper12.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/CostantiniP19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/CotaRZL19, author = {Giuseppe Cota and Fabrizio Riguzzi and Riccardo Zese and Evelina Lamma}, editor = {Alberto Casagrande and Eugenio G. Omodeo}, title = {KRaider: a Crawler for Linked Data}, booktitle = {Proceedings of the 34th Italian Conference on Computational Logic, Trieste, Italy, June 19-21, 2019}, series = {{CEUR} Workshop Proceedings}, volume = {2396}, pages = {202--216}, publisher = {CEUR-WS.org}, year = {2019}, url = {https://ceur-ws.org/Vol-2396/paper35.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/CotaRZL19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/CuteriDR19, author = {Bernardo Cuteri and Carmine Dodaro and Francesco Ricca}, editor = {Alberto Casagrande and Eugenio G. Omodeo}, title = {Empowering {ASPQ} to Win in QBFEval 2018}, booktitle = {Proceedings of the 34th Italian Conference on Computational Logic, Trieste, Italy, June 19-21, 2019}, series = {{CEUR} Workshop Proceedings}, volume = {2396}, pages = {167--178}, publisher = {CEUR-WS.org}, year = {2019}, url = {https://ceur-ws.org/Vol-2396/paper20.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/CuteriDR19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/CuteriDR19a, author = {Bernardo Cuteri and Carmine Dodaro and Francesco Ricca}, editor = {Alberto Casagrande and Eugenio G. Omodeo}, title = {Computing Modular Paracoherent Answer Sets: Preliminary Result}, booktitle = {Proceedings of the 34th Italian Conference on Computational Logic, Trieste, Italy, June 19-21, 2019}, series = {{CEUR} Workshop Proceedings}, volume = {2396}, pages = {279--288}, publisher = {CEUR-WS.org}, year = {2019}, url = {https://ceur-ws.org/Vol-2396/paper6.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/CuteriDR19a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/CuteriDR19b, author = {Bernardo Cuteri and Carmine Dodaro and Francesco Ricca}, editor = {Alberto Casagrande and Eugenio G. Omodeo}, title = {Debugging of Answer Set Programs Using Paracoherent Reasoning}, booktitle = {Proceedings of the 34th Italian Conference on Computational Logic, Trieste, Italy, June 19-21, 2019}, series = {{CEUR} Workshop Proceedings}, volume = {2396}, pages = {289--299}, publisher = {CEUR-WS.org}, year = {2019}, url = {https://ceur-ws.org/Vol-2396/paper9.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/CuteriDR19b.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/Dovier19, author = {Agostino Dovier}, editor = {Alberto Casagrande and Eugenio G. Omodeo}, title = {The SATisfiability problem and its impact}, booktitle = {Proceedings of the 34th Italian Conference on Computational Logic, Trieste, Italy, June 19-21, 2019}, series = {{CEUR} Workshop Proceedings}, volume = {2396}, pages = {1}, publisher = {CEUR-WS.org}, year = {2019}, url = {https://ceur-ws.org/Vol-2396/tutorial1.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/Dovier19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/DyoubCL19, author = {Abeer Dyoub and Stefania Costantini and Francesca Alessandra Lisi}, editor = {Alberto Casagrande and Eugenio G. Omodeo}, title = {Learning Answer Set Programming Rules For Ethical Machines}, booktitle = {Proceedings of the 34th Italian Conference on Computational Logic, Trieste, Italy, June 19-21, 2019}, series = {{CEUR} Workshop Proceedings}, volume = {2396}, pages = {300--315}, publisher = {CEUR-WS.org}, year = {2019}, url = {https://ceur-ws.org/Vol-2396/paper14.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/DyoubCL19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/FabianoRDP19, author = {Francesco Fabiano and Idriss Riouak and Agostino Dovier and Enrico Pontelli}, editor = {Alberto Casagrande and Eugenio G. Omodeo}, title = {Non-Well-Founded Set Based Multi-Agent Epistemic Action Language}, booktitle = {Proceedings of the 34th Italian Conference on Computational Logic, Trieste, Italy, June 19-21, 2019}, series = {{CEUR} Workshop Proceedings}, volume = {2396}, pages = {242--259}, publisher = {CEUR-WS.org}, year = {2019}, url = {https://ceur-ws.org/Vol-2396/paper38.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/FabianoRDP19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/Gavanelli0L19, author = {Marco Gavanelli and Marco Alberti and Evelina Lamma}, editor = {Alberto Casagrande and Eugenio G. Omodeo}, title = {Accountable Protocols in Abductive Logic Programming}, booktitle = {Proceedings of the 34th Italian Conference on Computational Logic, Trieste, Italy, June 19-21, 2019}, series = {{CEUR} Workshop Proceedings}, volume = {2396}, publisher = {CEUR-WS.org}, year = {2019}, timestamp = {Tue, 02 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cilc/Gavanelli0L19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/IanniPZ19, author = {Giovambattista Ianni and Francesco Pacenza and Jessica Zangari}, editor = {Alberto Casagrande and Eugenio G. Omodeo}, title = {An Infrastructure for Multi-shot Reasoning with Incremental Grounding}, booktitle = {Proceedings of the 34th Italian Conference on Computational Logic, Trieste, Italy, June 19-21, 2019}, series = {{CEUR} Workshop Proceedings}, volume = {2396}, pages = {269--278}, publisher = {CEUR-WS.org}, year = {2019}, url = {https://ceur-ws.org/Vol-2396/paper24.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/IanniPZ19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/KhanSBL19, author = {Abdullah Khan and Luciano Serafini and Loris Bozzato and Beatrice Lazzerini}, editor = {Alberto Casagrande and Eugenio G. Omodeo}, title = {Event Detection from Video Using Answer Set Programing}, booktitle = {Proceedings of the 34th Italian Conference on Computational Logic, Trieste, Italy, June 19-21, 2019}, series = {{CEUR} Workshop Proceedings}, volume = {2396}, pages = {48--58}, publisher = {CEUR-WS.org}, year = {2019}, url = {https://ceur-ws.org/Vol-2396/paper25.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/KhanSBL19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/LauretisC19, author = {Lorenzo De Lauretis and Stefania Costantini}, editor = {Alberto Casagrande and Eugenio G. Omodeo}, title = {An Ontology to Improve the First Aid Service Quality}, booktitle = {Proceedings of the 34th Italian Conference on Computational Logic, Trieste, Italy, June 19-21, 2019}, series = {{CEUR} Workshop Proceedings}, volume = {2396}, publisher = {CEUR-WS.org}, year = {2019}, timestamp = {Tue, 02 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cilc/LauretisC19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/LeoneAACCCCFFGL19, author = {Nicola Leone and Carlo Allocca and Mario Alviano and Francesco Calimeri and Cristina Civili and Roberta Costabile and Bernardo Cuteri and Alessio Fiorentino and Davide Fusc{\`{a}} and Stefano Germano and Giovanni Laboccetta and Marco Manna and Simona Perri and Kristian Reale and Francesco Ricca and Pierfrancesco Veltri and Jessica Zangari}, editor = {Alberto Casagrande and Eugenio G. Omodeo}, title = {Large Scale {DLV:} Preliminary Results}, booktitle = {Proceedings of the 34th Italian Conference on Computational Logic, Trieste, Italy, June 19-21, 2019}, series = {{CEUR} Workshop Proceedings}, volume = {2396}, publisher = {CEUR-WS.org}, year = {2019}, timestamp = {Tue, 02 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cilc/LeoneAACCCCFFGL19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/LietoPP19, author = {Antonio Lieto and Federico Perrone and Gian Luca Pozzato}, editor = {Alberto Casagrande and Eugenio G. Omodeo}, title = {{GOCCIOLA:} Generating New Knowledge by Combining Concepts in Description Logics of Typicality (short paper)}, booktitle = {Proceedings of the 34th Italian Conference on Computational Logic, Trieste, Italy, June 19-21, 2019}, series = {{CEUR} Workshop Proceedings}, volume = {2396}, pages = {157--166}, publisher = {CEUR-WS.org}, year = {2019}, url = {https://ceur-ws.org/Vol-2396/paper18.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/LietoPP19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/Lisi19, author = {Francesca Alessandra Lisi}, editor = {Alberto Casagrande and Eugenio G. Omodeo}, title = {Logics in Machine Learning and Data Mining: Achievements and Open Issues}, booktitle = {Proceedings of the 34th Italian Conference on Computational Logic, Trieste, Italy, June 19-21, 2019}, series = {{CEUR} Workshop Proceedings}, volume = {2396}, pages = {82--88}, publisher = {CEUR-WS.org}, year = {2019}, url = {https://ceur-ws.org/Vol-2396/paper2.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/Lisi19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/MarinPR19, author = {Andrea Marin and Carla Piazza and Sabina Rossi}, editor = {Alberto Casagrande and Eugenio G. Omodeo}, title = {A Process Algebra for (Delimited) Persistent Stochastic Non-Interference}, booktitle = {Proceedings of the 34th Italian Conference on Computational Logic, Trieste, Italy, June 19-21, 2019}, series = {{CEUR} Workshop Proceedings}, volume = {2396}, publisher = {CEUR-WS.org}, year = {2019}, timestamp = {Tue, 02 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cilc/MarinPR19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/MomiglianoO19, author = {Alberto Momigliano and Mario Ornaghi}, editor = {Alberto Casagrande and Eugenio G. Omodeo}, title = {The Blame Game for Property-based Testing}, booktitle = {Proceedings of the 34th Italian Conference on Computational Logic, Trieste, Italy, June 19-21, 2019}, series = {{CEUR} Workshop Proceedings}, volume = {2396}, pages = {4--13}, publisher = {CEUR-WS.org}, year = {2019}, url = {https://ceur-ws.org/Vol-2396/paper21.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/MomiglianoO19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/Montanari19, author = {Angelo Montanari}, editor = {Alberto Casagrande and Eugenio G. Omodeo}, title = {Model Checking: The Interval Way}, booktitle = {Proceedings of the 34th Italian Conference on Computational Logic, Trieste, Italy, June 19-21, 2019}, series = {{CEUR} Workshop Proceedings}, volume = {2396}, pages = {3}, publisher = {CEUR-WS.org}, year = {2019}, url = {https://ceur-ws.org/Vol-2396/tutorial3.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/Montanari19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/Pontelli19, author = {Enrico Pontelli}, editor = {Alberto Casagrande and Eugenio G. Omodeo}, title = {Multi-Agent Epistemic Planning}, booktitle = {Proceedings of the 34th Italian Conference on Computational Logic, Trieste, Italy, June 19-21, 2019}, series = {{CEUR} Workshop Proceedings}, volume = {2396}, pages = {2}, publisher = {CEUR-WS.org}, year = {2019}, url = {https://ceur-ws.org/Vol-2396/tutorial2.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/Pontelli19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/PozzatoS19, author = {Gian Luca Pozzato and Gabriele Soriano}, editor = {Alberto Casagrande and Eugenio G. Omodeo}, title = {{PEAR:} a Tool for Reasoning About Scenarios and Probabilities in Description Logics of Typicality (short paper)}, booktitle = {Proceedings of the 34th Italian Conference on Computational Logic, Trieste, Italy, June 19-21, 2019}, series = {{CEUR} Workshop Proceedings}, volume = {2396}, pages = {147--156}, publisher = {CEUR-WS.org}, year = {2019}, url = {https://ceur-ws.org/Vol-2396/paper17.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/PozzatoS19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/SobhaniS19, author = {Faranak Sobhani and Umberto Straccia}, editor = {Alberto Casagrande and Eugenio G. Omodeo}, title = {Towards a Forensic Event Ontology to Assist Video Surveillance-based Vandalism Detection}, booktitle = {Proceedings of the 34th Italian Conference on Computational Logic, Trieste, Italy, June 19-21, 2019}, series = {{CEUR} Workshop Proceedings}, volume = {2396}, pages = {30--47}, publisher = {CEUR-WS.org}, year = {2019}, url = {https://ceur-ws.org/Vol-2396/paper23.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/SobhaniS19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/Su19, author = {Ezgi Iraz Su}, editor = {Alberto Casagrande and Eugenio G. Omodeo}, title = {Epistemic Answer Set Programming: {A} New Perspective}, booktitle = {Proceedings of the 34th Italian Conference on Computational Logic, Trieste, Italy, June 19-21, 2019}, series = {{CEUR} Workshop Proceedings}, volume = {2396}, publisher = {CEUR-WS.org}, year = {2019}, timestamp = {Tue, 02 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cilc/Su19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/Tarzariol19, author = {Alice Tarzariol}, editor = {Alberto Casagrande and Eugenio G. Omodeo}, title = {Evolution of Algorithm Portfolio for Solving Strategies}, booktitle = {Proceedings of the 34th Italian Conference on Computational Logic, Trieste, Italy, June 19-21, 2019}, series = {{CEUR} Workshop Proceedings}, volume = {2396}, pages = {327--341}, publisher = {CEUR-WS.org}, year = {2019}, url = {https://ceur-ws.org/Vol-2396/paper37.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/Tarzariol19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/cilc/2019, editor = {Alberto Casagrande and Eugenio G. Omodeo}, title = {Proceedings of the 34th Italian Conference on Computational Logic, Trieste, Italy, June 19-21, 2019}, series = {{CEUR} Workshop Proceedings}, volume = {2396}, publisher = {CEUR-WS.org}, year = {2019}, url = {https://ceur-ws.org/Vol-2396}, urn = {urn:nbn:de:0074-2396-0}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/2019.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/0001P18, author = {Laura Giordano and Alberto Policriti}, editor = {Paolo Felli and Marco Montali}, title = {Power (Set) {ALC} (Extended Abstract)}, booktitle = {Proceedings of the 33rd Italian Conference on Computational Logic, Bolzano, Italy, September 20-22, 2018}, series = {{CEUR} Workshop Proceedings}, volume = {2214}, pages = {17--21}, publisher = {CEUR-WS.org}, year = {2018}, url = {https://ceur-ws.org/Vol-2214/paper2.pdf}, timestamp = {Fri, 10 Mar 2023 16:22:46 +0100}, biburl = {https://dblp.org/rec/conf/cilc/0001P18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/CantoneO18, author = {Domenico Cantone and Eugenio G. Omodeo}, editor = {Paolo Felli and Marco Montali}, title = {Can a Single Equation Witness that every r.e. Set Admits a Finite-fold Diophantine Representation?}, booktitle = {Proceedings of the 33rd Italian Conference on Computational Logic, Bolzano, Italy, September 20-22, 2018}, series = {{CEUR} Workshop Proceedings}, volume = {2214}, pages = {147--152}, publisher = {CEUR-WS.org}, year = {2018}, url = {https://ceur-ws.org/Vol-2214/paper18.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/CantoneO18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/ChesaniCLMR18, author = {Federico Chesani and Giuseppe Cota and Evelina Lamma and Paola Mello and Fabrizio Riguzzi}, editor = {Paolo Felli and Marco Montali}, title = {A Decision Support System for Food Recycling based on Constraint Logic Programming and Ontological Reasoning}, booktitle = {Proceedings of the 33rd Italian Conference on Computational Logic, Bolzano, Italy, September 20-22, 2018}, series = {{CEUR} Workshop Proceedings}, volume = {2214}, pages = {117--131}, publisher = {CEUR-WS.org}, year = {2018}, url = {https://ceur-ws.org/Vol-2214/paper13.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/ChesaniCLMR18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/CostantiniDP18, author = {Stefania Costantini and Abeer Dyoub and Valentina Pitoni}, editor = {Paolo Felli and Marco Montali}, title = {Towards Humanized Ethical Intelligent Agents: the role of Reflection and Introspection}, booktitle = {Proceedings of the 33rd Italian Conference on Computational Logic, Bolzano, Italy, September 20-22, 2018}, series = {{CEUR} Workshop Proceedings}, volume = {2214}, pages = {82--96}, publisher = {CEUR-WS.org}, year = {2018}, url = {https://ceur-ws.org/Vol-2214/paper10.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/CostantiniDP18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/CostantiniG18, author = {Stefania Costantini and Giovanni De Gasperis}, editor = {Paolo Felli and Marco Montali}, title = {Dynamic Goal Decomposition and Planning in {MAS} for Highly Changing Environments}, booktitle = {Proceedings of the 33rd Italian Conference on Computational Logic, Bolzano, Italy, September 20-22, 2018}, series = {{CEUR} Workshop Proceedings}, volume = {2214}, pages = {40--54}, publisher = {CEUR-WS.org}, year = {2018}, url = {https://ceur-ws.org/Vol-2214/paper4.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/CostantiniG18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/Delzanno18, author = {Giorgio Delzanno}, editor = {Paolo Felli and Marco Montali}, title = {Parameterized Verification of Publish/Subcribe Protocols via Infinite-state Model Checking}, booktitle = {Proceedings of the 33rd Italian Conference on Computational Logic, Bolzano, Italy, September 20-22, 2018}, series = {{CEUR} Workshop Proceedings}, volume = {2214}, pages = {97--111}, publisher = {CEUR-WS.org}, year = {2018}, url = {https://ceur-ws.org/Vol-2214/paper11.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/Delzanno18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/FerrariFF18, author = {Mauro Ferrari and Camillo Fiorentini and Guido Fiorino}, editor = {Paolo Felli and Marco Montali}, title = {Forward Countermodel Construction in Modal Logic {K}}, booktitle = {Proceedings of the 33rd Italian Conference on Computational Logic, Bolzano, Italy, September 20-22, 2018}, series = {{CEUR} Workshop Proceedings}, volume = {2214}, pages = {75--81}, publisher = {CEUR-WS.org}, year = {2018}, url = {https://ceur-ws.org/Vol-2214/paper8.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/FerrariFF18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/KomauliM18, author = {Francesco Komauli and Alberto Momigliano}, editor = {Paolo Felli and Marco Montali}, title = {Property-Based Testing of the Meta-Theory of Abstract Machines: an Experience Report}, booktitle = {Proceedings of the 33rd Italian Conference on Computational Logic, Bolzano, Italy, September 20-22, 2018}, series = {{CEUR} Workshop Proceedings}, volume = {2214}, pages = {22--39}, publisher = {CEUR-WS.org}, year = {2018}, url = {https://ceur-ws.org/Vol-2214/paper3.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/KomauliM18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/LietoPV18, author = {Antonio Lieto and Gian Luca Pozzato and Alberto Valese}, editor = {Paolo Felli and Marco Montali}, title = {{COCOS:} a typicality based COncept COmbination System}, booktitle = {Proceedings of the 33rd Italian Conference on Computational Logic, Bolzano, Italy, September 20-22, 2018}, series = {{CEUR} Workshop Proceedings}, volume = {2214}, pages = {55--59}, publisher = {CEUR-WS.org}, year = {2018}, url = {https://ceur-ws.org/Vol-2214/paper6.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/LietoPV18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/PaluDF18, author = {Alessandro Dal Pal{\`{u}} and Agostino Dovier and Andrea Formisano}, editor = {Paolo Felli and Marco Montali}, title = {2D object reconstruction with {ASP}}, booktitle = {Proceedings of the 33rd Italian Conference on Computational Logic, Bolzano, Italy, September 20-22, 2018}, series = {{CEUR} Workshop Proceedings}, volume = {2214}, pages = {132--146}, publisher = {CEUR-WS.org}, year = {2018}, url = {https://ceur-ws.org/Vol-2214/paper14.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/PaluDF18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/PandolfoPZ18, author = {Laura Pandolfo and Luca Pulina and Marek Zielinski}, editor = {Paolo Felli and Marco Montali}, title = {{ARKIVO:} an Ontology for Describing Archival Resources}, booktitle = {Proceedings of the 33rd Italian Conference on Computational Logic, Bolzano, Italy, September 20-22, 2018}, series = {{CEUR} Workshop Proceedings}, volume = {2214}, pages = {112--116}, publisher = {CEUR-WS.org}, year = {2018}, url = {https://ceur-ws.org/Vol-2214/paper12.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/PandolfoPZ18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/Pozzato18, author = {Gian Luca Pozzato}, editor = {Paolo Felli and Marco Montali}, title = {On Probabilities of Exceptions in Description Logics of Typicality}, booktitle = {Proceedings of the 33rd Italian Conference on Computational Logic, Bolzano, Italy, September 20-22, 2018}, series = {{CEUR} Workshop Proceedings}, volume = {2214}, pages = {60--74}, publisher = {CEUR-WS.org}, year = {2018}, url = {https://ceur-ws.org/Vol-2214/paper7.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/Pozzato18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/Sala18, author = {Pietro Sala}, editor = {Paolo Felli and Marco Montali}, title = {An Algorithm for Verifying Approximate Pure Evolving Functional Dependencies}, booktitle = {Proceedings of the 33rd Italian Conference on Computational Logic, Bolzano, Italy, September 20-22, 2018}, series = {{CEUR} Workshop Proceedings}, volume = {2214}, pages = {2--16}, publisher = {CEUR-WS.org}, year = {2018}, url = {https://ceur-ws.org/Vol-2214/paper1.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/Sala18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/cilc/2018, editor = {Paolo Felli and Marco Montali}, title = {Proceedings of the 33rd Italian Conference on Computational Logic, Bolzano, Italy, September 20-22, 2018}, series = {{CEUR} Workshop Proceedings}, volume = {2214}, publisher = {CEUR-WS.org}, year = {2018}, url = {https://ceur-ws.org/Vol-2214}, urn = {urn:nbn:de:0074-2214-7}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/2018.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ictcs/0001GPR17, author = {Laura Giordano and Valentina Gliozzi and Gian Luca Pozzato and Riccardo Renzulli}, editor = {Dario Della Monica and Aniello Murano and Sasha Rubin and Luigi Sauro}, title = {{RAT-OWL:} Reasoning with Rational Closure in Description Logics of Typicality}, booktitle = {Joint Proceedings of the 18th Italian Conference on Theoretical Computer Science and the 32nd Italian Conference on Computational Logic co-located with the 2017 {IEEE} International Workshop on Measurements and Networking {(2017} {IEEE} M{\&}N), Naples, Italy, September 26-28, 2017}, series = {{CEUR} Workshop Proceedings}, volume = {1949}, pages = {306--320}, publisher = {CEUR-WS.org}, year = {2017}, url = {https://ceur-ws.org/Vol-1949/CILCpaper07.pdf}, timestamp = {Fri, 10 Mar 2023 16:23:17 +0100}, biburl = {https://dblp.org/rec/conf/ictcs/0001GPR17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ictcs/0001LRZ17, author = {Marco Alberti and Evelina Lamma and Fabrizio Riguzzi and Riccardo Zese}, editor = {Dario Della Monica and Aniello Murano and Sasha Rubin and Luigi Sauro}, title = {Iterated Fixpoint Well-Founded Semantics for Hybrid Knowledge Bases}, booktitle = {Joint Proceedings of the 18th Italian Conference on Theoretical Computer Science and the 32nd Italian Conference on Computational Logic co-located with the 2017 {IEEE} International Workshop on Measurements and Networking {(2017} {IEEE} M{\&}N), Naples, Italy, September 26-28, 2017}, series = {{CEUR} Workshop Proceedings}, volume = {1949}, pages = {248--261}, publisher = {CEUR-WS.org}, year = {2017}, url = {https://ceur-ws.org/Vol-1949/CILCpaper01.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ictcs/0001LRZ17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ictcs/BarozziniMMS17, author = {David Barozzini and Dario Della Monica and Angelo Montanari and Pietro Sala}, editor = {Dario Della Monica and Aniello Murano and Sasha Rubin and Luigi Sauro}, title = {Counter-queue Automata with an Application to a Meaningful Extension of Omega-regular Languages}, booktitle = {Joint Proceedings of the 18th Italian Conference on Theoretical Computer Science and the 32nd Italian Conference on Computational Logic co-located with the 2017 {IEEE} International Workshop on Measurements and Networking {(2017} {IEEE} M{\&}N), Naples, Italy, September 26-28, 2017}, series = {{CEUR} Workshop Proceedings}, volume = {1949}, pages = {27--38}, publisher = {CEUR-WS.org}, year = {2017}, url = {https://ceur-ws.org/Vol-1949/ICTCSpaper01.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ictcs/BarozziniMMS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ictcs/BergentiM17, author = {Federico Bergenti and Stefania Monica}, editor = {Dario Della Monica and Aniello Murano and Sasha Rubin and Luigi Sauro}, title = {Satisfaction of Polynomial Constraints over Finite Domains using Function Values}, booktitle = {Joint Proceedings of the 18th Italian Conference on Theoretical Computer Science and the 32nd Italian Conference on Computational Logic co-located with the 2017 {IEEE} International Workshop on Measurements and Networking {(2017} {IEEE} M{\&}N), Naples, Italy, September 26-28, 2017}, series = {{CEUR} Workshop Proceedings}, volume = {1949}, pages = {262--275}, publisher = {CEUR-WS.org}, year = {2017}, url = {https://ceur-ws.org/Vol-1949/CILCpaper02.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ictcs/BergentiM17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ictcs/CantoneAS17, author = {Domenico Cantone and Marianna Nicolosi Asmundo and Daniele Francesco Santamaria}, editor = {Dario Della Monica and Aniello Murano and Sasha Rubin and Luigi Sauro}, title = {A {C++} Reasoner for the Description Logic {DL-4X(D)}}, booktitle = {Joint Proceedings of the 18th Italian Conference on Theoretical Computer Science and the 32nd Italian Conference on Computational Logic co-located with the 2017 {IEEE} International Workshop on Measurements and Networking {(2017} {IEEE} M{\&}N), Naples, Italy, September 26-28, 2017}, series = {{CEUR} Workshop Proceedings}, volume = {1949}, pages = {276--280}, publisher = {CEUR-WS.org}, year = {2017}, url = {https://ceur-ws.org/Vol-1949/CILCpaper03.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ictcs/CantoneAS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ictcs/CicaleseR17, author = {Ferdinando Cicalese and Massimiliano Rossi}, editor = {Dario Della Monica and Aniello Murano and Sasha Rubin and Luigi Sauro}, title = {On the Multi-interval Ulam-R{\'{e}}nyi game: For 3 Lies 4 Intervals Suffice}, booktitle = {Joint Proceedings of the 18th Italian Conference on Theoretical Computer Science and the 32nd Italian Conference on Computational Logic co-located with the 2017 {IEEE} International Workshop on Measurements and Networking {(2017} {IEEE} M{\&}N), Naples, Italy, September 26-28, 2017}, series = {{CEUR} Workshop Proceedings}, volume = {1949}, pages = {39--50}, publisher = {CEUR-WS.org}, year = {2017}, url = {https://ceur-ws.org/Vol-1949/ICTCSpaper02.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ictcs/CicaleseR17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ictcs/ColellaDP17, author = {Feliciano Colella and Mattia D'Emidio and Guido Proietti}, editor = {Dario Della Monica and Aniello Murano and Sasha Rubin and Luigi Sauro}, title = {Simple and Practically Efficient Fault-tolerant 2-hop Cover Labelings}, booktitle = {Joint Proceedings of the 18th Italian Conference on Theoretical Computer Science and the 32nd Italian Conference on Computational Logic co-located with the 2017 {IEEE} International Workshop on Measurements and Networking {(2017} {IEEE} M{\&}N), Naples, Italy, September 26-28, 2017}, series = {{CEUR} Workshop Proceedings}, volume = {1949}, pages = {51--62}, publisher = {CEUR-WS.org}, year = {2017}, url = {https://ceur-ws.org/Vol-1949/ICTCSpaper03.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ictcs/ColellaDP17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ictcs/CominatoMMS17, author = {Enrico Cominato and Dario Della Monica and Angelo Montanari and Guido Sciavicco}, editor = {Dario Della Monica and Aniello Murano and Sasha Rubin and Luigi Sauro}, title = {A Model Checker for Interval Temporal Logic over Finite Structures}, booktitle = {Joint Proceedings of the 18th Italian Conference on Theoretical Computer Science and the 32nd Italian Conference on Computational Logic co-located with the 2017 {IEEE} International Workshop on Measurements and Networking {(2017} {IEEE} M{\&}N), Naples, Italy, September 26-28, 2017}, series = {{CEUR} Workshop Proceedings}, volume = {1949}, pages = {63--74}, publisher = {CEUR-WS.org}, year = {2017}, url = {https://ceur-ws.org/Vol-1949/ICTCSpaper04.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ictcs/CominatoMMS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ictcs/ContaldoBD17, author = {Francesco Contaldo and Marco De Bortoli and Agostino Dovier}, editor = {Dario Della Monica and Aniello Murano and Sasha Rubin and Luigi Sauro}, title = {Optimization of a Compiler from {PDDL} to Picat (Short Paper)}, booktitle = {Joint Proceedings of the 18th Italian Conference on Theoretical Computer Science and the 32nd Italian Conference on Computational Logic co-located with the 2017 {IEEE} International Workshop on Measurements and Networking {(2017} {IEEE} M{\&}N), Naples, Italy, September 26-28, 2017}, series = {{CEUR} Workshop Proceedings}, volume = {1949}, pages = {281--285}, publisher = {CEUR-WS.org}, year = {2017}, url = {https://ceur-ws.org/Vol-1949/CILCpaper04.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ictcs/ContaldoBD17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ictcs/CostantiniGPS17, author = {Stefania Costantini and Giovanni De Gasperis and Valentina Pitoni and Agnese Salutari}, editor = {Dario Della Monica and Aniello Murano and Sasha Rubin and Luigi Sauro}, title = {{DALI:} {A} Multi Agent System Framework for the Web, Cognitive Robotic and Complex Event Processing}, booktitle = {Joint Proceedings of the 18th Italian Conference on Theoretical Computer Science and the 32nd Italian Conference on Computational Logic co-located with the 2017 {IEEE} International Workshop on Measurements and Networking {(2017} {IEEE} M{\&}N), Naples, Italy, September 26-28, 2017}, series = {{CEUR} Workshop Proceedings}, volume = {1949}, pages = {286--300}, publisher = {CEUR-WS.org}, year = {2017}, url = {https://ceur-ws.org/Vol-1949/CILCpaper05.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ictcs/CostantiniGPS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ictcs/CzygrinowHWW17, author = {Andrzej Czygrinow and Michal Hanckowiak and Wojciech Wawrzyniak and Marcin Witkowski}, editor = {Dario Della Monica and Aniello Murano and Sasha Rubin and Luigi Sauro}, title = {Distributed Approximation Algorithms for k-dominating Set in Graphs of Bounded Genus and Linklessly Embeddable Graphs}, booktitle = {Joint Proceedings of the 18th Italian Conference on Theoretical Computer Science and the 32nd Italian Conference on Computational Logic co-located with the 2017 {IEEE} International Workshop on Measurements and Networking {(2017} {IEEE} M{\&}N), Naples, Italy, September 26-28, 2017}, series = {{CEUR} Workshop Proceedings}, volume = {1949}, pages = {75--86}, publisher = {CEUR-WS.org}, year = {2017}, url = {https://ceur-ws.org/Vol-1949/ICTCSpaper05.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ictcs/CzygrinowHWW17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ictcs/DEmidioK17, author = {Mattia D'Emidio and Imran Khan}, editor = {Dario Della Monica and Aniello Murano and Sasha Rubin and Luigi Sauro}, title = {Multi-robot Task Allocation Problem: Current Trends and New Ideas}, booktitle = {Joint Proceedings of the 18th Italian Conference on Theoretical Computer Science and the 32nd Italian Conference on Computational Logic co-located with the 2017 {IEEE} International Workshop on Measurements and Networking {(2017} {IEEE} M{\&}N), Naples, Italy, September 26-28, 2017}, series = {{CEUR} Workshop Proceedings}, volume = {1949}, pages = {99--103}, publisher = {CEUR-WS.org}, year = {2017}, url = {https://ceur-ws.org/Vol-1949/ICTCSpaper07.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ictcs/DEmidioK17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ictcs/FerrariFF17, author = {Mauro Ferrari and Camillo Fiorentini and Guido Fiorino}, editor = {Dario Della Monica and Aniello Murano and Sasha Rubin and Luigi Sauro}, title = {Proof-Search in Hilbert Calculi}, booktitle = {Joint Proceedings of the 18th Italian Conference on Theoretical Computer Science and the 32nd Italian Conference on Computational Logic co-located with the 2017 {IEEE} International Workshop on Measurements and Networking {(2017} {IEEE} M{\&}N), Naples, Italy, September 26-28, 2017}, series = {{CEUR} Workshop Proceedings}, volume = {1949}, pages = {301--305}, publisher = {CEUR-WS.org}, year = {2017}, url = {https://ceur-ws.org/Vol-1949/CILCpaper06.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ictcs/FerrariFF17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ictcs/KorenblitL17, author = {Mark Korenblit and Vadim E. Levit}, editor = {Dario Della Monica and Aniello Murano and Sasha Rubin and Luigi Sauro}, title = {Graph Expression Complexities and Simultaneous Linear Recurrences}, booktitle = {Joint Proceedings of the 18th Italian Conference on Theoretical Computer Science and the 32nd Italian Conference on Computational Logic co-located with the 2017 {IEEE} International Workshop on Measurements and Networking {(2017} {IEEE} M{\&}N), Naples, Italy, September 26-28, 2017}, series = {{CEUR} Workshop Proceedings}, volume = {1949}, pages = {104--108}, publisher = {CEUR-WS.org}, year = {2017}, url = {https://ceur-ws.org/Vol-1949/ICTCSpaper08.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ictcs/KorenblitL17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ictcs/LagoGT17, author = {Ugo Dal Lago and Francesco Gavazzo and Ryo Tanaka}, editor = {Dario Della Monica and Aniello Murano and Sasha Rubin and Luigi Sauro}, title = {Effectful Applicative Similarity for Call-by-Name Lambda Calculi}, booktitle = {Joint Proceedings of the 18th Italian Conference on Theoretical Computer Science and the 32nd Italian Conference on Computational Logic co-located with the 2017 {IEEE} International Workshop on Measurements and Networking {(2017} {IEEE} M{\&}N), Naples, Italy, September 26-28, 2017}, series = {{CEUR} Workshop Proceedings}, volume = {1949}, pages = {87--98}, publisher = {CEUR-WS.org}, year = {2017}, url = {https://ceur-ws.org/Vol-1949/ICTCSpaper06.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ictcs/LagoGT17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ictcs/LeonciniMMM17, author = {Mauro Leoncini and Gianluca De Marco and Lucia Mazzali and Manuela Montangero}, editor = {Dario Della Monica and Aniello Murano and Sasha Rubin and Luigi Sauro}, title = {Distributed Beta-assignment on Graphs}, booktitle = {Joint Proceedings of the 18th Italian Conference on Theoretical Computer Science and the 32nd Italian Conference on Computational Logic co-located with the 2017 {IEEE} International Workshop on Measurements and Networking {(2017} {IEEE} M{\&}N), Naples, Italy, September 26-28, 2017}, series = {{CEUR} Workshop Proceedings}, volume = {1949}, pages = {109--120}, publisher = {CEUR-WS.org}, year = {2017}, url = {https://ceur-ws.org/Vol-1949/ICTCSpaper09.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ictcs/LeonciniMMM17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ictcs/LimaFL17, author = {Murilo Santos de Lima and M{\'{a}}rio C{\'{e}}sar San Felice and Orlando Lee}, editor = {Dario Della Monica and Aniello Murano and Sasha Rubin and Luigi Sauro}, title = {Connected Facility Leasing Problems}, booktitle = {Joint Proceedings of the 18th Italian Conference on Theoretical Computer Science and the 32nd Italian Conference on Computational Logic co-located with the 2017 {IEEE} International Workshop on Measurements and Networking {(2017} {IEEE} M{\&}N), Naples, Italy, September 26-28, 2017}, series = {{CEUR} Workshop Proceedings}, volume = {1949}, pages = {162--173}, publisher = {CEUR-WS.org}, year = {2017}, url = {https://ceur-ws.org/Vol-1949/ICTCSpaper14.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ictcs/LimaFL17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ictcs/LisiM17, author = {Francesca Alessandra Lisi and Corrado Mencar}, editor = {Dario Della Monica and Aniello Murano and Sasha Rubin and Luigi Sauro}, title = {Introducing Fuzzy Quantification in {OWL} 2 Ontologies}, booktitle = {Joint Proceedings of the 18th Italian Conference on Theoretical Computer Science and the 32nd Italian Conference on Computational Logic co-located with the 2017 {IEEE} International Workshop on Measurements and Networking {(2017} {IEEE} M{\&}N), Naples, Italy, September 26-28, 2017}, series = {{CEUR} Workshop Proceedings}, volume = {1949}, pages = {321--325}, publisher = {CEUR-WS.org}, year = {2017}, url = {https://ceur-ws.org/Vol-1949/CILCpaper08.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ictcs/LisiM17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ictcs/MedicM17, author = {Doriana Medic and Claudio Antares Mezzina}, editor = {Dario Della Monica and Aniello Murano and Sasha Rubin and Luigi Sauro}, title = {Towards Parametric Causal Semantics in pi-calculus}, booktitle = {Joint Proceedings of the 18th Italian Conference on Theoretical Computer Science and the 32nd Italian Conference on Computational Logic co-located with the 2017 {IEEE} International Workshop on Measurements and Networking {(2017} {IEEE} M{\&}N), Naples, Italy, September 26-28, 2017}, series = {{CEUR} Workshop Proceedings}, volume = {1949}, pages = {121--125}, publisher = {CEUR-WS.org}, year = {2017}, url = {https://ceur-ws.org/Vol-1949/ICTCSpaper10.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ictcs/MedicM17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ictcs/MiculanP17, author = {Marino Miculan and Marco Peressotti}, editor = {Dario Della Monica and Aniello Murano and Sasha Rubin and Luigi Sauro}, title = {Deciding Weak Weighted Bisimulation}, booktitle = {Joint Proceedings of the 18th Italian Conference on Theoretical Computer Science and the 32nd Italian Conference on Computational Logic co-located with the 2017 {IEEE} International Workshop on Measurements and Networking {(2017} {IEEE} M{\&}N), Naples, Italy, September 26-28, 2017}, series = {{CEUR} Workshop Proceedings}, volume = {1949}, pages = {126--137}, publisher = {CEUR-WS.org}, year = {2017}, url = {https://ceur-ws.org/Vol-1949/ICTCSpaper11.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ictcs/MiculanP17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ictcs/Munoz-VelascoSS17, author = {Emilio Mu{\~{n}}oz{-}Velasco and Guido Sciavicco and Ionel Eduard Stan}, editor = {Dario Della Monica and Aniello Murano and Sasha Rubin and Luigi Sauro}, title = {Implementation of a Tableau-based Satisfiability Checker for {HS3}}, booktitle = {Joint Proceedings of the 18th Italian Conference on Theoretical Computer Science and the 32nd Italian Conference on Computational Logic co-located with the 2017 {IEEE} International Workshop on Measurements and Networking {(2017} {IEEE} M{\&}N), Naples, Italy, September 26-28, 2017}, series = {{CEUR} Workshop Proceedings}, volume = {1949}, pages = {326--340}, publisher = {CEUR-WS.org}, year = {2017}, url = {https://ceur-ws.org/Vol-1949/CILCpaper09.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ictcs/Munoz-VelascoSS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ictcs/NevelingR17, author = {Marc Neveling and J{\"{o}}rg Rothe}, editor = {Dario Della Monica and Aniello Murano and Sasha Rubin and Luigi Sauro}, title = {Closing the Gap of Control Complexity in Borda Elections: Solving ten open cases}, booktitle = {Joint Proceedings of the 18th Italian Conference on Theoretical Computer Science and the 32nd Italian Conference on Computational Logic co-located with the 2017 {IEEE} International Workshop on Measurements and Networking {(2017} {IEEE} M{\&}N), Naples, Italy, September 26-28, 2017}, series = {{CEUR} Workshop Proceedings}, volume = {1949}, pages = {138--149}, publisher = {CEUR-WS.org}, year = {2017}, url = {https://ceur-ws.org/Vol-1949/ICTCSpaper12.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ictcs/NevelingR17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ictcs/OrnaghiFM17, author = {Mario Ornaghi and Camillo Fiorentini and Alberto Momigliano}, editor = {Dario Della Monica and Aniello Murano and Sasha Rubin and Luigi Sauro}, title = {{LOGI:} {A} Didactic Tool for a Beginners' Course in Logic (System Description)}, booktitle = {Joint Proceedings of the 18th Italian Conference on Theoretical Computer Science and the 32nd Italian Conference on Computational Logic co-located with the 2017 {IEEE} International Workshop on Measurements and Networking {(2017} {IEEE} M{\&}N), Naples, Italy, September 26-28, 2017}, series = {{CEUR} Workshop Proceedings}, volume = {1949}, pages = {341--345}, publisher = {CEUR-WS.org}, year = {2017}, url = {https://ceur-ws.org/Vol-1949/CILCpaper10.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ictcs/OrnaghiFM17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ictcs/PasquaM17, author = {Michele Pasqua and Isabella Mastroeni}, editor = {Dario Della Monica and Aniello Murano and Sasha Rubin and Luigi Sauro}, title = {On Topologies for (Hyper)Properties}, booktitle = {Joint Proceedings of the 18th Italian Conference on Theoretical Computer Science and the 32nd Italian Conference on Computational Logic co-located with the 2017 {IEEE} International Workshop on Measurements and Networking {(2017} {IEEE} M{\&}N), Naples, Italy, September 26-28, 2017}, series = {{CEUR} Workshop Proceedings}, volume = {1949}, pages = {150--161}, publisher = {CEUR-WS.org}, year = {2017}, url = {https://ceur-ws.org/Vol-1949/ICTCSpaper13.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ictcs/PasquaM17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ictcs/SpalazziS17, author = {Luca Spalazzi and Francesco Spegni}, editor = {Dario Della Monica and Aniello Murano and Sasha Rubin and Luigi Sauro}, title = {On the Existence of Cutoffs for Model Checking Disjunctive Timed Networks}, booktitle = {Joint Proceedings of the 18th Italian Conference on Theoretical Computer Science and the 32nd Italian Conference on Computational Logic co-located with the 2017 {IEEE} International Workshop on Measurements and Networking {(2017} {IEEE} M{\&}N), Naples, Italy, September 26-28, 2017}, series = {{CEUR} Workshop Proceedings}, volume = {1949}, pages = {174--185}, publisher = {CEUR-WS.org}, year = {2017}, url = {https://ceur-ws.org/Vol-1949/ICTCSpaper15.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ictcs/SpalazziS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ictcs/Su17, author = {Ezgi Iraz Su}, editor = {Dario Della Monica and Aniello Murano and Sasha Rubin and Luigi Sauro}, title = {An S4F-related Monotonic Modal Logic}, booktitle = {Joint Proceedings of the 18th Italian Conference on Theoretical Computer Science and the 32nd Italian Conference on Computational Logic co-located with the 2017 {IEEE} International Workshop on Measurements and Networking {(2017} {IEEE} M{\&}N), Naples, Italy, September 26-28, 2017}, series = {{CEUR} Workshop Proceedings}, volume = {1949}, pages = {346--360}, publisher = {CEUR-WS.org}, year = {2017}, url = {https://ceur-ws.org/Vol-1949/CILCpaper11.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ictcs/Su17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ictcs/TarzariolDP17, author = {Alice Tarzariol and Agostino Dovier and Alberto Policriti}, editor = {Dario Della Monica and Aniello Murano and Sasha Rubin and Luigi Sauro}, title = {Towards a Logic Programming Tool for Cancer Analysis}, booktitle = {Joint Proceedings of the 18th Italian Conference on Theoretical Computer Science and the 32nd Italian Conference on Computational Logic co-located with the 2017 {IEEE} International Workshop on Measurements and Networking {(2017} {IEEE} M{\&}N), Naples, Italy, September 26-28, 2017}, series = {{CEUR} Workshop Proceedings}, volume = {1949}, pages = {361--375}, publisher = {CEUR-WS.org}, year = {2017}, url = {https://ceur-ws.org/Vol-1949/CILCpaper12.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ictcs/TarzariolDP17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ictcs/ZunicL17, author = {Dragisa Zunic and Pierre Lescanne}, editor = {Dario Della Monica and Aniello Murano and Sasha Rubin and Luigi Sauro}, title = {A Congruence Relation for Restructuring Classical Terms}, booktitle = {Joint Proceedings of the 18th Italian Conference on Theoretical Computer Science and the 32nd Italian Conference on Computational Logic co-located with the 2017 {IEEE} International Workshop on Measurements and Networking {(2017} {IEEE} M{\&}N), Naples, Italy, September 26-28, 2017}, series = {{CEUR} Workshop Proceedings}, volume = {1949}, pages = {186--197}, publisher = {CEUR-WS.org}, year = {2017}, url = {https://ceur-ws.org/Vol-1949/ICTCSpaper16.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ictcs/ZunicL17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/ictcs/2017, editor = {Dario Della Monica and Aniello Murano and Sasha Rubin and Luigi Sauro}, title = {Joint Proceedings of the 18th Italian Conference on Theoretical Computer Science and the 32nd Italian Conference on Computational Logic co-located with the 2017 {IEEE} International Workshop on Measurements and Networking {(2017} {IEEE} M{\&}N), Naples, Italy, September 26-28, 2017}, series = {{CEUR} Workshop Proceedings}, volume = {1949}, publisher = {CEUR-WS.org}, year = {2017}, url = {https://ceur-ws.org/Vol-1949}, urn = {urn:nbn:de:0074-1949-5}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ictcs/2017.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/0001D16, author = {Laura Giordano and Daniele Theseider Dupr{\'{e}}}, editor = {Camillo Fiorentini and Alberto Momigliano}, title = {Reasoning in a Rational Extension of {SROEL}}, booktitle = {Proceedings of the 31st Italian Conference on Computational Logic, Milano, Italy, June 20-22, 2016}, series = {{CEUR} Workshop Proceedings}, volume = {1645}, pages = {53--68}, publisher = {CEUR-WS.org}, year = {2016}, url = {https://ceur-ws.org/Vol-1645/paper\_16.pdf}, timestamp = {Fri, 10 Mar 2023 16:22:45 +0100}, biburl = {https://dblp.org/rec/conf/cilc/0001D16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/0001MSD16, author = {Laura Giordano and Alberto Martelli and Matteo Spiotta and Daniele Theseider Dupr{\'{e}}}, editor = {Camillo Fiorentini and Alberto Momigliano}, title = {{ASP} for Reasoning about Actions with an ELbot Knowledge Base}, booktitle = {Proceedings of the 31st Italian Conference on Computational Logic, Milano, Italy, June 20-22, 2016}, series = {{CEUR} Workshop Proceedings}, volume = {1645}, pages = {214--229}, publisher = {CEUR-WS.org}, year = {2016}, url = {https://ceur-ws.org/Vol-1645/paper\_15.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/0001MSD16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/AlbertiGOP16, author = {Francesco Alberti and Silvio Ghilardi and Andrea Orsini and Elena Pagani}, editor = {Camillo Fiorentini and Alberto Momigliano}, title = {Counter Abstractions in Model Checking of Distributed Broadcast Algorithms: Some Case Studies}, booktitle = {Proceedings of the 31st Italian Conference on Computational Logic, Milano, Italy, June 20-22, 2016}, series = {{CEUR} Workshop Proceedings}, volume = {1645}, pages = {102--117}, publisher = {CEUR-WS.org}, year = {2016}, url = {https://ceur-ws.org/Vol-1645/paper\_4.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/AlbertiGOP16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/AngelisFPP16, author = {Emanuele {De Angelis} and Fabio Fioravanti and Alberto Pettorossi and Maurizio Proietti}, editor = {Camillo Fiorentini and Alberto Momigliano}, title = {Verifying Relational Program Properties by Transforming Constrained Horn clauses}, booktitle = {Proceedings of the 31st Italian Conference on Computational Logic, Milano, Italy, June 20-22, 2016}, series = {{CEUR} Workshop Proceedings}, volume = {1645}, pages = {69--85}, publisher = {CEUR-WS.org}, year = {2016}, url = {https://ceur-ws.org/Vol-1645/paper\_14.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/AngelisFPP16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/BergentiMR16, author = {Federico Bergenti and Stefania Monica and Gianfranco Rossi}, editor = {Camillo Fiorentini and Alberto Momigliano}, title = {Polynomial Constraint Solving over Finite Domains with the Modified Bernstein Form}, booktitle = {Proceedings of the 31st Italian Conference on Computational Logic, Milano, Italy, June 20-22, 2016}, series = {{CEUR} Workshop Proceedings}, volume = {1645}, pages = {118--131}, publisher = {CEUR-WS.org}, year = {2016}, url = {https://ceur-ws.org/Vol-1645/paper\_6.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/BergentiMR16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/BortoliBDZ16, author = {Marco De Bortoli and Roman Bart{\'{a}}k and Agostino Dovier and Neng{-}Fa Zhou}, editor = {Camillo Fiorentini and Alberto Momigliano}, title = {Compiling and Executing {PDDL} in Picat}, booktitle = {Proceedings of the 31st Italian Conference on Computational Logic, Milano, Italy, June 20-22, 2016}, series = {{CEUR} Workshop Proceedings}, volume = {1645}, pages = {132--147}, publisher = {CEUR-WS.org}, year = {2016}, url = {https://ceur-ws.org/Vol-1645/paper\_10.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/BortoliBDZ16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/Bozzato16, author = {Loris Bozzato}, editor = {Camillo Fiorentini and Alberto Momigliano}, title = {{ASP} Based Generation of Information Terms for Constructive {EL}}, booktitle = {Proceedings of the 31st Italian Conference on Computational Logic, Milano, Italy, June 20-22, 2016}, series = {{CEUR} Workshop Proceedings}, volume = {1645}, pages = {190--204}, publisher = {CEUR-WS.org}, year = {2016}, url = {https://ceur-ws.org/Vol-1645/paper\_8.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/Bozzato16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/CalegariDDO16, author = {Roberta Calegari and Enrico Denti and Agostino Dovier and Andrea Omicini}, editor = {Camillo Fiorentini and Alberto Momigliano}, title = {Labelled Variables in Logic Programming: Foundations}, booktitle = {Proceedings of the 31st Italian Conference on Computational Logic, Milano, Italy, June 20-22, 2016}, series = {{CEUR} Workshop Proceedings}, volume = {1645}, pages = {5--20}, publisher = {CEUR-WS.org}, year = {2016}, url = {https://ceur-ws.org/Vol-1645/paper\_7.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/CalegariDDO16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/Delzanno16, author = {Giorgio Delzanno}, editor = {Camillo Fiorentini and Alberto Momigliano}, title = {A Logic-based Approach to Verify Distributed Protocols}, booktitle = {Proceedings of the 31st Italian Conference on Computational Logic, Milano, Italy, June 20-22, 2016}, series = {{CEUR} Workshop Proceedings}, volume = {1645}, pages = {86--101}, publisher = {CEUR-WS.org}, year = {2016}, url = {https://ceur-ws.org/Vol-1645/paper\_28.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/Delzanno16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/DovierBBDT16, author = {Agostino Dovier and Paolo Benoli and Maria Concetta Brocato and Luciano Dereani and Federica Tabacco}, editor = {Camillo Fiorentini and Alberto Momigliano}, title = {Reasoning in High Schools: Do it with ASP!}, booktitle = {Proceedings of the 31st Italian Conference on Computational Logic, Milano, Italy, June 20-22, 2016}, series = {{CEUR} Workshop Proceedings}, volume = {1645}, pages = {205--213}, publisher = {CEUR-WS.org}, year = {2016}, url = {https://ceur-ws.org/Vol-1645/paper\_9.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/DovierBBDT16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/Lisi16, author = {Francesca Alessandra Lisi}, editor = {Camillo Fiorentini and Alberto Momigliano}, title = {Model with DLs + Solve with ASP! - {A} Case Study from Concept Learning}, booktitle = {Proceedings of the 31st Italian Conference on Computational Logic, Milano, Italy, June 20-22, 2016}, series = {{CEUR} Workshop Proceedings}, volume = {1645}, pages = {174--189}, publisher = {CEUR-WS.org}, year = {2016}, url = {https://ceur-ws.org/Vol-1645/paper\_12.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/Lisi16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/MicalizioP16, author = {Roberto Micalizio and Gianluca Pozzato}, editor = {Camillo Fiorentini and Alberto Momigliano}, title = {Typicality-based Revision for Handling Exceptions in Description Logics}, booktitle = {Proceedings of the 31st Italian Conference on Computational Logic, Milano, Italy, June 20-22, 2016}, series = {{CEUR} Workshop Proceedings}, volume = {1645}, pages = {158--173}, publisher = {CEUR-WS.org}, year = {2016}, url = {https://ceur-ws.org/Vol-1645/paper\_23.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/MicalizioP16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/PaluDFPP16, author = {Alessandro Dal Pal{\`{u}} and Agostino Dovier and Andrea Formisano and Alberto Policriti and Enrico Pontelli}, editor = {Camillo Fiorentini and Alberto Momigliano}, title = {Logic Programming Applied to Genome Evolution in Cancer}, booktitle = {Proceedings of the 31st Italian Conference on Computational Logic, Milano, Italy, June 20-22, 2016}, series = {{CEUR} Workshop Proceedings}, volume = {1645}, pages = {148--157}, publisher = {CEUR-WS.org}, year = {2016}, url = {https://ceur-ws.org/Vol-1645/paper\_27.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/PaluDFPP16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/Pozzato16, author = {Gianluca Pozzato}, editor = {Camillo Fiorentini and Alberto Momigliano}, title = {{ALC} + Texp: Beyond most likely Scenarios in Preferential Description Logics of Typicality}, booktitle = {Proceedings of the 31st Italian Conference on Computational Logic, Milano, Italy, June 20-22, 2016}, series = {{CEUR} Workshop Proceedings}, volume = {1645}, pages = {37--52}, publisher = {CEUR-WS.org}, year = {2016}, url = {https://ceur-ws.org/Vol-1645/paper\_22.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/Pozzato16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/Sticht16, author = {Martin Sticht}, editor = {Camillo Fiorentini and Alberto Momigliano}, title = {Multi-Agent Dialogue Games and Dialogue Sequents for Proof Search and Scheduling}, booktitle = {Proceedings of the 31st Italian Conference on Computational Logic, Milano, Italy, June 20-22, 2016}, series = {{CEUR} Workshop Proceedings}, volume = {1645}, pages = {21--36}, publisher = {CEUR-WS.org}, year = {2016}, url = {https://ceur-ws.org/Vol-1645/paper\_20.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/Sticht16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/cilc/2016, editor = {Camillo Fiorentini and Alberto Momigliano}, title = {Proceedings of the 31st Italian Conference on Computational Logic, Milano, Italy, June 20-22, 2016}, series = {{CEUR} Workshop Proceedings}, volume = {1645}, publisher = {CEUR-WS.org}, year = {2016}, url = {https://ceur-ws.org/Vol-1645}, urn = {urn:nbn:de:0074-1645-1}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/2016.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/AgresteMMMNP15, author = {Santa Agreste and Pasquale De Meo and Massimo Marchi and Maria Francesca Milazzo and Salvatore Nunnari and Alessandro Provetti}, editor = {Davide Ancona and Marco Maratea and Viviana Mascardi}, title = {A case study on graph-based planning for emergency evacuation}, booktitle = {Proceedings of the 30th Italian Conference on Computational Logic, Genova, Italy, July 1-3, 2015}, series = {{CEUR} Workshop Proceedings}, volume = {1459}, pages = {46--52}, publisher = {CEUR-WS.org}, year = {2015}, url = {https://ceur-ws.org/Vol-1459/paper32.pdf}, timestamp = {Fri, 10 Mar 2023 16:22:46 +0100}, biburl = {https://dblp.org/rec/conf/cilc/AgresteMMMNP15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/AmadiniBGLM15, author = {Roberto Amadini and Fabio Biselli and Maurizio Gabbrielli and Tong Liu and Jacopo Mauro}, editor = {Davide Ancona and Marco Maratea and Viviana Mascardi}, title = {{SUNNY} for algorithm selection: a preliminary study}, booktitle = {Proceedings of the 30th Italian Conference on Computational Logic, Genova, Italy, July 1-3, 2015}, series = {{CEUR} Workshop Proceedings}, volume = {1459}, pages = {202--206}, publisher = {CEUR-WS.org}, year = {2015}, url = {https://ceur-ws.org/Vol-1459/paper3.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/AmadiniBGLM15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/BaldoniBCM15, author = {Matteo Baldoni and Cristina Baroglio and Federico Capuzzimati and Roberto Micalizio}, editor = {Davide Ancona and Marco Maratea and Viviana Mascardi}, title = {Leveraging commitments and goals in agent interaction}, booktitle = {Proceedings of the 30th Italian Conference on Computational Logic, Genova, Italy, July 1-3, 2015}, series = {{CEUR} Workshop Proceedings}, volume = {1459}, pages = {85--100}, publisher = {CEUR-WS.org}, year = {2015}, url = {https://ceur-ws.org/Vol-1459/paper17.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/BaldoniBCM15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/BeuxBCDFFGMOPST15, author = {Silvio Beux and Daniela Briola and Andrea Corradi and Giorgio Delzanno and Angelo Ferrando and Federico Frassetto and Giovanna Guerrini and Viviana Mascardi and Marco Oreggia and Francesca Pozzi and Alessandro Solimando and Armando Tacchella}, editor = {Davide Ancona and Marco Maratea and Viviana Mascardi}, title = {Computational thinking for beginners: {A} successful experience using Prolog}, booktitle = {Proceedings of the 30th Italian Conference on Computational Logic, Genova, Italy, July 1-3, 2015}, series = {{CEUR} Workshop Proceedings}, volume = {1459}, pages = {31--45}, publisher = {CEUR-WS.org}, year = {2015}, url = {https://ceur-ws.org/Vol-1459/paper10.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/BeuxBCDFFGMOPST15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/BistarelliRST15, author = {Stefano Bistarelli and Fabio Rossi and Francesco Santini and Carlo Taticchi}, editor = {Davide Ancona and Marco Maratea and Viviana Mascardi}, title = {Towards visualising security with arguments}, booktitle = {Proceedings of the 30th Italian Conference on Computational Logic, Genova, Italy, July 1-3, 2015}, series = {{CEUR} Workshop Proceedings}, volume = {1459}, pages = {197--201}, publisher = {CEUR-WS.org}, year = {2015}, url = {https://ceur-ws.org/Vol-1459/paper28.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/BistarelliRST15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/CantoneAST15, author = {Domenico Cantone and Marianna Nicolosi Asmundo and Daniele Francesco Santamaria and Francesca Trapani}, editor = {Davide Ancona and Marco Maratea and Viviana Mascardi}, title = {Ontoceramic: an {OWL} ontology for ceramics classification}, booktitle = {Proceedings of the 30th Italian Conference on Computational Logic, Genova, Italy, July 1-3, 2015}, series = {{CEUR} Workshop Proceedings}, volume = {1459}, pages = {122--127}, publisher = {CEUR-WS.org}, year = {2015}, url = {https://ceur-ws.org/Vol-1459/paper5.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/CantoneAST15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/CiviliR15, author = {Cristina Civili and Riccardo Rosati}, editor = {Davide Ancona and Marco Maratea and Viviana Mascardi}, title = {On the first-order rewritability of conjunctive queries over binary guarded existential rules}, booktitle = {Proceedings of the 30th Italian Conference on Computational Logic, Genova, Italy, July 1-3, 2015}, series = {{CEUR} Workshop Proceedings}, volume = {1459}, pages = {25--30}, publisher = {CEUR-WS.org}, year = {2015}, url = {https://ceur-ws.org/Vol-1459/paper24.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/CiviliR15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/CorradiF15, author = {Andrea Corradi and Federico Frassetto}, editor = {Davide Ancona and Marco Maratea and Viviana Mascardi}, title = {Infinite derivations as failures}, booktitle = {Proceedings of the 30th Italian Conference on Computational Logic, Genova, Italy, July 1-3, 2015}, series = {{CEUR} Workshop Proceedings}, volume = {1459}, pages = {19--24}, publisher = {CEUR-WS.org}, year = {2015}, url = {https://ceur-ws.org/Vol-1459/paper12.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/CorradiF15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/CostantiniGO15, author = {Stefania Costantini and Giovanni De Gasperis and Raffaele Olivieri}, editor = {Davide Ancona and Marco Maratea and Viviana Mascardi}, title = {How Answer Set Programming can help in digital forensic investigation}, booktitle = {Proceedings of the 30th Italian Conference on Computational Logic, Genova, Italy, July 1-3, 2015}, series = {{CEUR} Workshop Proceedings}, volume = {1459}, pages = {53--65}, publisher = {CEUR-WS.org}, year = {2015}, url = {https://ceur-ws.org/Vol-1459/paper29.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/CostantiniGO15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/Ferrando15, author = {Angelo Ferrando}, editor = {Davide Ancona and Marco Maratea and Viviana Mascardi}, title = {Parametric protocol-driven agents and their integration in {JADE}}, booktitle = {Proceedings of the 30th Italian Conference on Computational Logic, Genova, Italy, July 1-3, 2015}, series = {{CEUR} Workshop Proceedings}, volume = {1459}, pages = {72--84}, publisher = {CEUR-WS.org}, year = {2015}, url = {https://ceur-ws.org/Vol-1459/paper26.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/Ferrando15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/FerrariFF15, author = {Mauro Ferrari and Camillo Fiorentini and Guido Fiorino}, editor = {Davide Ancona and Marco Maratea and Viviana Mascardi}, title = {Towards a tableau-based procedure for {PLTL} based on a multi-conclusion rule and logical optimizations}, booktitle = {Proceedings of the 30th Italian Conference on Computational Logic, Genova, Italy, July 1-3, 2015}, series = {{CEUR} Workshop Proceedings}, volume = {1459}, pages = {117--121}, publisher = {CEUR-WS.org}, year = {2015}, url = {https://ceur-ws.org/Vol-1459/paper13.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/FerrariFF15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/GavanelliLRBZC15, author = {Marco Gavanelli and Evelina Lamma and Fabrizio Riguzzi and Elena Bellodi and Riccardo Zese and Giuseppe Cota}, editor = {Davide Ancona and Marco Maratea and Viviana Mascardi}, title = {Abductive logic programming for Datalog +/- ontologies}, booktitle = {Proceedings of the 30th Italian Conference on Computational Logic, Genova, Italy, July 1-3, 2015}, series = {{CEUR} Workshop Proceedings}, volume = {1459}, pages = {128--143}, publisher = {CEUR-WS.org}, year = {2015}, url = {https://ceur-ws.org/Vol-1459/paper21.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/GavanelliLRBZC15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/LisiM15, author = {Francesca Alessandra Lisi and Corrado Mencar}, editor = {Davide Ancona and Marco Maratea and Viviana Mascardi}, title = {Towards fuzzy granulation in {OWL} ontologies}, booktitle = {Proceedings of the 30th Italian Conference on Computational Logic, Genova, Italy, July 1-3, 2015}, series = {{CEUR} Workshop Proceedings}, volume = {1459}, pages = {144--158}, publisher = {CEUR-WS.org}, year = {2015}, url = {https://ceur-ws.org/Vol-1459/paper19.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/LisiM15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/MalvoneMS15, author = {Vadim Malvone and Aniello Murano and Loredana Sorrentino}, editor = {Davide Ancona and Marco Maratea and Viviana Mascardi}, title = {Games with additional winning strategies}, booktitle = {Proceedings of the 30th Italian Conference on Computational Logic, Genova, Italy, July 1-3, 2015}, series = {{CEUR} Workshop Proceedings}, volume = {1459}, pages = {175--180}, publisher = {CEUR-WS.org}, year = {2015}, url = {https://ceur-ws.org/Vol-1459/paper20.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/MalvoneMS15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/MontaliCGLM15, author = {Marco Montali and Federico Chesani and Marco Gavanelli and Evelina Lamma and Paola Mello}, editor = {Davide Ancona and Marco Maratea and Viviana Mascardi}, title = {Evaluating compliance: from {LTL} to abductive logic programming}, booktitle = {Proceedings of the 30th Italian Conference on Computational Logic, Genova, Italy, July 1-3, 2015}, series = {{CEUR} Workshop Proceedings}, volume = {1459}, pages = {101--116}, publisher = {CEUR-WS.org}, year = {2015}, url = {https://ceur-ws.org/Vol-1459/paper8.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/MontaliCGLM15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/OlivettiP15, author = {Nicola Olivetti and Gian Luca Pozzato}, editor = {Davide Ancona and Marco Maratea and Viviana Mascardi}, title = {A natural sequent calculus for Lewis' logic of counterfactuals}, booktitle = {Proceedings of the 30th Italian Conference on Computational Logic, Genova, Italy, July 1-3, 2015}, series = {{CEUR} Workshop Proceedings}, volume = {1459}, pages = {13--18}, publisher = {CEUR-WS.org}, year = {2015}, url = {https://ceur-ws.org/Vol-1459/paper14.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/OlivettiP15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/PazienzaEF15, author = {Andrea Pazienza and Floriana Esposito and Stefano Ferilli}, editor = {Davide Ancona and Marco Maratea and Viviana Mascardi}, title = {An authority degree-based evaluation strategy for abstract argumentation frameworks}, booktitle = {Proceedings of the 30th Italian Conference on Computational Logic, Genova, Italy, July 1-3, 2015}, series = {{CEUR} Workshop Proceedings}, volume = {1459}, pages = {181--196}, publisher = {CEUR-WS.org}, year = {2015}, url = {https://ceur-ws.org/Vol-1459/paper7.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/PazienzaEF15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/Pozzato15, author = {Gian Luca Pozzato}, editor = {Davide Ancona and Marco Maratea and Viviana Mascardi}, title = {Preferential description logics meet sports entertainment: cardinality restrictions and perfect extensions for a better royal rumble match}, booktitle = {Proceedings of the 30th Italian Conference on Computational Logic, Genova, Italy, July 1-3, 2015}, series = {{CEUR} Workshop Proceedings}, volume = {1459}, pages = {159--174}, publisher = {CEUR-WS.org}, year = {2015}, url = {https://ceur-ws.org/Vol-1459/paper18.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/Pozzato15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/PulinaMPPRT15, author = {Luca Pulina and Antonietta Mazzette and Laura Pandolfo and Elena Piga and Maria Laura Ruiu and Camillo Tidore}, editor = {Davide Ancona and Marco Maratea and Viviana Mascardi}, title = {Leveraging semantic web technologies for analysis of crime in social science}, booktitle = {Proceedings of the 30th Italian Conference on Computational Logic, Genova, Italy, July 1-3, 2015}, series = {{CEUR} Workshop Proceedings}, volume = {1459}, pages = {66--71}, publisher = {CEUR-WS.org}, year = {2015}, url = {https://ceur-ws.org/Vol-1459/paper15.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/PulinaMPPRT15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/VallataO15, author = {Luca Vallata and Eugenio G. Omodeo}, editor = {Davide Ancona and Marco Maratea and Viviana Mascardi}, title = {A Diophantine representation of Wolstenholme's pseudoprimality}, booktitle = {Proceedings of the 30th Italian Conference on Computational Logic, Genova, Italy, July 1-3, 2015}, series = {{CEUR} Workshop Proceedings}, volume = {1459}, pages = {2--12}, publisher = {CEUR-WS.org}, year = {2015}, url = {https://ceur-ws.org/Vol-1459/paper31.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/VallataO15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/cilc/2015, editor = {Davide Ancona and Marco Maratea and Viviana Mascardi}, title = {Proceedings of the 30th Italian Conference on Computational Logic, Genova, Italy, July 1-3, 2015}, series = {{CEUR} Workshop Proceedings}, volume = {1459}, publisher = {CEUR-WS.org}, year = {2015}, url = {https://ceur-ws.org/Vol-1459}, urn = {urn:nbn:de:0074-1459-5}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/2015.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/AlbertiGS14, author = {Francesco Alberti and Silvio Ghilardi and Natasha Sharygina}, editor = {Laura Giordano and Valentina Gliozzi and Gian Luca Pozzato}, title = {A Framework for the Verification of Parameterized Infinite-State Systems}, booktitle = {Proceedings of the 29th Italian Conference on Computational Logic, Torino, Italy, June 16-18, 2014}, series = {{CEUR} Workshop Proceedings}, volume = {1195}, pages = {303--308}, publisher = {CEUR-WS.org}, year = {2014}, url = {https://ceur-ws.org/Vol-1195/short0.pdf}, timestamp = {Fri, 10 Mar 2023 16:22:45 +0100}, biburl = {https://dblp.org/rec/conf/cilc/AlbertiGS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/AnconaBFMT14, author = {Davide Ancona and Daniela Briola and Amal El Fallah Seghrouchni and Viviana Mascardi and Patrick Taillibert}, editor = {Laura Giordano and Valentina Gliozzi and Gian Luca Pozzato}, title = {Exploiting Prolog for Projecting Agent Interaction Protocols}, booktitle = {Proceedings of the 29th Italian Conference on Computational Logic, Torino, Italy, June 16-18, 2014}, series = {{CEUR} Workshop Proceedings}, volume = {1195}, pages = {30--45}, publisher = {CEUR-WS.org}, year = {2014}, url = {https://ceur-ws.org/Vol-1195/long2.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/AnconaBFMT14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/AngelisFPP14, author = {Emanuele {De Angelis} and Fabio Fioravanti and Alberto Pettorossi and Maurizio Proietti}, editor = {Laura Giordano and Valentina Gliozzi and Gian Luca Pozzato}, title = {Program Verification using Constraint Handling Rules and Array Constraint Generalizations}, booktitle = {Proceedings of the 29th Italian Conference on Computational Logic, Torino, Italy, June 16-18, 2014}, series = {{CEUR} Workshop Proceedings}, volume = {1195}, pages = {114--131}, publisher = {CEUR-WS.org}, year = {2014}, url = {https://ceur-ws.org/Vol-1195/long8.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/AngelisFPP14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/BenedettiBP14, author = {Irene Benedetti and Stefano Bistarelli and Paolo Piersanti}, editor = {Laura Giordano and Valentina Gliozzi and Gian Luca Pozzato}, title = {On Relating Voting Systems and Argumentation Frameworks}, booktitle = {Proceedings of the 29th Italian Conference on Computational Logic, Torino, Italy, June 16-18, 2014}, series = {{CEUR} Workshop Proceedings}, volume = {1195}, pages = {309--313}, publisher = {CEUR-WS.org}, year = {2014}, url = {https://ceur-ws.org/Vol-1195/short1.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/BenedettiBP14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/BonattiSP14, author = {Piero A. Bonatti and Luigi Sauro and Iliana M. Petrova}, editor = {Laura Giordano and Valentina Gliozzi and Gian Luca Pozzato}, title = {A Mechanism for Ontology Confidentiality}, booktitle = {Proceedings of the 29th Italian Conference on Computational Logic, Torino, Italy, June 16-18, 2014}, series = {{CEUR} Workshop Proceedings}, volume = {1195}, pages = {147--161}, publisher = {CEUR-WS.org}, year = {2014}, url = {https://ceur-ws.org/Vol-1195/long10.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/BonattiSP14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/BozzatoES14, author = {Loris Bozzato and Thomas Eiter and Luciano Serafini}, editor = {Laura Giordano and Valentina Gliozzi and Gian Luca Pozzato}, title = {Defeasibility in Contextual Reasoning with {CKR}}, booktitle = {Proceedings of the 29th Italian Conference on Computational Logic, Torino, Italy, June 16-18, 2014}, series = {{CEUR} Workshop Proceedings}, volume = {1195}, pages = {132--146}, publisher = {CEUR-WS.org}, year = {2014}, url = {https://ceur-ws.org/Vol-1195/long9.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/BozzatoES14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/BresolinMS14, author = {Davide Bresolin and Emilio Mu{\~{n}}oz{-}Velasco and Guido Sciavicco}, editor = {Laura Giordano and Valentina Gliozzi and Gian Luca Pozzato}, title = {A First Study of the Horn Fragment of the Modal Logic of Time Intervals}, booktitle = {Proceedings of the 29th Italian Conference on Computational Logic, Torino, Italy, June 16-18, 2014}, series = {{CEUR} Workshop Proceedings}, volume = {1195}, pages = {314--318}, publisher = {CEUR-WS.org}, year = {2014}, url = {https://ceur-ws.org/Vol-1195/short2.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/BresolinMS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/BriolaMA14, author = {Daniela Briola and Viviana Mascardi and Davide Ancona}, editor = {Laura Giordano and Valentina Gliozzi and Gian Luca Pozzato}, title = {Distributed Runtime Verification of {JADE} and Jason Multiagent Systems with Prolog}, booktitle = {Proceedings of the 29th Italian Conference on Computational Logic, Torino, Italy, June 16-18, 2014}, series = {{CEUR} Workshop Proceedings}, volume = {1195}, pages = {319--323}, publisher = {CEUR-WS.org}, year = {2014}, url = {https://ceur-ws.org/Vol-1195/short3.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/BriolaMA14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/CantoneAO14, author = {Domenico Cantone and Marianna Nicolosi Asmundo and Ewa Orlowska}, editor = {Laura Giordano and Valentina Gliozzi and Gian Luca Pozzato}, title = {A Dual Tableau-based Decision Procedure for a Relational Logic with the Universal Relation}, booktitle = {Proceedings of the 29th Italian Conference on Computational Logic, Torino, Italy, June 16-18, 2014}, series = {{CEUR} Workshop Proceedings}, volume = {1195}, pages = {194--209}, publisher = {CEUR-WS.org}, year = {2014}, url = {https://ceur-ws.org/Vol-1195/long13.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/CantoneAO14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/CantoneLA14, author = {Domenico Cantone and Cristiano Longo and Marianna Nicolosi Asmundo}, editor = {Laura Giordano and Valentina Gliozzi and Gian Luca Pozzato}, title = {Herbrand-Satisfiability of a Quantified Set-theoretical Fragment}, booktitle = {Proceedings of the 29th Italian Conference on Computational Logic, Torino, Italy, June 16-18, 2014}, series = {{CEUR} Workshop Proceedings}, volume = {1195}, pages = {162--177}, publisher = {CEUR-WS.org}, year = {2014}, url = {https://ceur-ws.org/Vol-1195/long11.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/CantoneLA14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/CeterchiOT14, author = {Rodica Ceterchi and Eugenio G. Omodeo and Alexandru I. Tomescu}, editor = {Laura Giordano and Valentina Gliozzi and Gian Luca Pozzato}, title = {The Representation of Boolean Algebras in the Spotlight of a Proof Checker}, booktitle = {Proceedings of the 29th Italian Conference on Computational Logic, Torino, Italy, June 16-18, 2014}, series = {{CEUR} Workshop Proceedings}, volume = {1195}, pages = {287--301}, publisher = {CEUR-WS.org}, year = {2014}, url = {https://ceur-ws.org/Vol-1195/long19.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/CeterchiOT14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/ColucciGDS14, author = {Simona Colucci and Silvia Giannini and Francesco M. Donini and Eugenio Di Sciascio}, editor = {Laura Giordano and Valentina Gliozzi and Gian Luca Pozzato}, title = {Finding Commonalities in Linked Open Data}, booktitle = {Proceedings of the 29th Italian Conference on Computational Logic, Torino, Italy, June 16-18, 2014}, series = {{CEUR} Workshop Proceedings}, volume = {1195}, pages = {324--329}, publisher = {CEUR-WS.org}, year = {2014}, url = {https://ceur-ws.org/Vol-1195/short4.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/ColucciGDS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/CombiS14, author = {Carlo Combi and Pietro Sala}, editor = {Laura Giordano and Valentina Gliozzi and Gian Luca Pozzato}, title = {Keeping Interval-Based Functional Dependencies Up-to-Date}, booktitle = {Proceedings of the 29th Italian Conference on Computational Logic, Torino, Italy, June 16-18, 2014}, series = {{CEUR} Workshop Proceedings}, volume = {1195}, pages = {330--334}, publisher = {CEUR-WS.org}, year = {2014}, url = {https://ceur-ws.org/Vol-1195/short5.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/CombiS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/CostantiniF14, author = {Stefania Costantini and Andrea Formisano}, editor = {Laura Giordano and Valentina Gliozzi and Gian Luca Pozzato}, title = {Query Answering in Resource-Based Answer Set Semantics}, booktitle = {Proceedings of the 29th Italian Conference on Computational Logic, Torino, Italy, June 16-18, 2014}, series = {{CEUR} Workshop Proceedings}, volume = {1195}, pages = {69--83}, publisher = {CEUR-WS.org}, year = {2014}, url = {https://ceur-ws.org/Vol-1195/long5.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/CostantiniF14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/CostantiniG14, author = {Stefania Costantini and Giovanni De Gasperis}, editor = {Laura Giordano and Valentina Gliozzi and Gian Luca Pozzato}, title = {Runtime Self-Checking via Temporal (Meta-)Axioms for Assurance of Logical Agent Systems}, booktitle = {Proceedings of the 29th Italian Conference on Computational Logic, Torino, Italy, June 16-18, 2014}, series = {{CEUR} Workshop Proceedings}, volume = {1195}, pages = {241--255}, publisher = {CEUR-WS.org}, year = {2014}, url = {https://ceur-ws.org/Vol-1195/long16.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/CostantiniG14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/CostantiniR14, author = {Stefania Costantini and R{\'{e}}gis Riveret}, editor = {Laura Giordano and Valentina Gliozzi and Gian Luca Pozzato}, title = {Complex Events and Actions in Logical Agents}, booktitle = {Proceedings of the 29th Italian Conference on Computational Logic, Torino, Italy, June 16-18, 2014}, series = {{CEUR} Workshop Proceedings}, volume = {1195}, pages = {256--271}, publisher = {CEUR-WS.org}, year = {2014}, url = {https://ceur-ws.org/Vol-1195/long17.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/CostantiniR14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/Dovier14, author = {Agostino Dovier}, editor = {Laura Giordano and Valentina Gliozzi and Gian Luca Pozzato}, title = {Set Graphs {VI:} Logic Programming and Bisimulation}, booktitle = {Proceedings of the 29th Italian Conference on Computational Logic, Torino, Italy, June 16-18, 2014}, series = {{CEUR} Workshop Proceedings}, volume = {1195}, pages = {14--29}, publisher = {CEUR-WS.org}, year = {2014}, url = {https://ceur-ws.org/Vol-1195/long1.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/Dovier14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/Ferilli14, author = {Stefano Ferilli}, editor = {Laura Giordano and Valentina Gliozzi and Gian Luca Pozzato}, title = {Toward an Improved Downward Refinement Operator for Inductive Logic Programming}, booktitle = {Proceedings of the 29th Italian Conference on Computational Logic, Torino, Italy, June 16-18, 2014}, series = {{CEUR} Workshop Proceedings}, volume = {1195}, pages = {99--113}, publisher = {CEUR-WS.org}, year = {2014}, url = {https://ceur-ws.org/Vol-1195/long7.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/Ferilli14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/FerrariFF14, author = {Mauro Ferrari and Camillo Fiorentini and Guido Fiorino}, editor = {Laura Giordano and Valentina Gliozzi and Gian Luca Pozzato}, title = {JTabWb: a Java Framework for Implementing Terminating Sequent and Tableau Calculi}, booktitle = {Proceedings of the 29th Italian Conference on Computational Logic, Torino, Italy, June 16-18, 2014}, series = {{CEUR} Workshop Proceedings}, volume = {1195}, pages = {46--53}, publisher = {CEUR-WS.org}, year = {2014}, url = {https://ceur-ws.org/Vol-1195/long3.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/FerrariFF14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/GavanelliMBCMC14, author = {Marco Gavanelli and Michela Milano and Stefano Bragaglia and Federico Chesani and Elisa Marengo and Paolo Cagnoli}, editor = {Laura Giordano and Valentina Gliozzi and Gian Luca Pozzato}, title = {Multi-Criteria Optimal Planning for Energy Policies in {CLP}}, booktitle = {Proceedings of the 29th Italian Conference on Computational Logic, Torino, Italy, June 16-18, 2014}, series = {{CEUR} Workshop Proceedings}, volume = {1195}, pages = {54--68}, publisher = {CEUR-WS.org}, year = {2014}, url = {https://ceur-ws.org/Vol-1195/long4.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/GavanelliMBCMC14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/JosephKS14, author = {Mathew Joseph and Gabriel M. Kuper and Luciano Serafini}, editor = {Laura Giordano and Valentina Gliozzi and Gian Luca Pozzato}, title = {Query Answering over Contextualized {RDF} Knowledge with Forall-Existential Bridge Rules: Attaining Decidability Using Acyclicity}, booktitle = {Proceedings of the 29th Italian Conference on Computational Logic, Torino, Italy, June 16-18, 2014}, series = {{CEUR} Workshop Proceedings}, volume = {1195}, pages = {210--224}, publisher = {CEUR-WS.org}, year = {2014}, url = {https://ceur-ws.org/Vol-1195/long14.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/JosephKS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/KakasTM14, author = {Antonis C. Kakas and Francesca Toni and Paolo Mancarella}, editor = {Laura Giordano and Valentina Gliozzi and Gian Luca Pozzato}, title = {Argumentation for Propositional Logic and Nonmonotonic Reasoning}, booktitle = {Proceedings of the 29th Italian Conference on Computational Logic, Torino, Italy, June 16-18, 2014}, series = {{CEUR} Workshop Proceedings}, volume = {1195}, pages = {272--286}, publisher = {CEUR-WS.org}, year = {2014}, url = {https://ceur-ws.org/Vol-1195/long18.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/KakasTM14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/LisiE14, author = {Francesca Alessandra Lisi and Floriana Esposito}, editor = {Laura Giordano and Valentina Gliozzi and Gian Luca Pozzato}, title = {Semantic Web Services for Integrated Tourism in the Apulia Region}, booktitle = {Proceedings of the 29th Italian Conference on Computational Logic, Torino, Italy, June 16-18, 2014}, series = {{CEUR} Workshop Proceedings}, volume = {1195}, pages = {178--193}, publisher = {CEUR-WS.org}, year = {2014}, url = {https://ceur-ws.org/Vol-1195/long12.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/LisiE14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/MicalizioP14, author = {Roberto Micalizio and Gianluca Pozzato}, editor = {Laura Giordano and Valentina Gliozzi and Gian Luca Pozzato}, title = {Revising Description Logic Terminologies to Handle Exceptions: a First Step}, booktitle = {Proceedings of the 29th Italian Conference on Computational Logic, Torino, Italy, June 16-18, 2014}, series = {{CEUR} Workshop Proceedings}, volume = {1195}, pages = {225--240}, publisher = {CEUR-WS.org}, year = {2014}, url = {https://ceur-ws.org/Vol-1195/long15.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/MicalizioP14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/MontaliCG14, author = {Marco Montali and Diego Calvanese and Giuseppe De Giacomo}, editor = {Laura Giordano and Valentina Gliozzi and Gian Luca Pozzato}, title = {Specification and Verification of Commitment-Regulated Data-Aware Multiagent Systems}, booktitle = {Proceedings of the 29th Italian Conference on Computational Logic, Torino, Italy, June 16-18, 2014}, series = {{CEUR} Workshop Proceedings}, volume = {1195}, pages = {84--98}, publisher = {CEUR-WS.org}, year = {2014}, url = {https://ceur-ws.org/Vol-1195/long6.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/MontaliCG14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/NoiaMS14, author = {Tommaso Di Noia and Marina Mongiello and Eugenio Di Sciascio}, editor = {Laura Giordano and Valentina Gliozzi and Gian Luca Pozzato}, title = {A Computational Model for Mapreduce Job Flow}, booktitle = {Proceedings of the 29th Italian Conference on Computational Logic, Torino, Italy, June 16-18, 2014}, series = {{CEUR} Workshop Proceedings}, volume = {1195}, pages = {335--340}, publisher = {CEUR-WS.org}, year = {2014}, url = {https://ceur-ws.org/Vol-1195/short6.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/NoiaMS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/OmodeoPPT14, author = {Eugenio G. Omodeo and Carla Piazza and Alberto Policriti and Alexandru I. Tomescu}, editor = {Laura Giordano and Valentina Gliozzi and Gian Luca Pozzato}, title = {Hyper-Extensionality and One-Node Elimination on Membership Graphs}, booktitle = {Proceedings of the 29th Italian Conference on Computational Logic, Torino, Italy, June 16-18, 2014}, series = {{CEUR} Workshop Proceedings}, volume = {1195}, pages = {341--346}, publisher = {CEUR-WS.org}, year = {2014}, url = {https://ceur-ws.org/Vol-1195/short7.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/OmodeoPPT14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/Rosati14, author = {Riccardo Rosati}, editor = {Laura Giordano and Valentina Gliozzi and Gian Luca Pozzato}, title = {Tractable Approaches to Consistent Query Answering in Ontology-Based-Data Access}, booktitle = {Proceedings of the 29th Italian Conference on Computational Logic, Torino, Italy, June 16-18, 2014}, series = {{CEUR} Workshop Proceedings}, volume = {1195}, pages = {12}, publisher = {CEUR-WS.org}, year = {2014}, url = {https://ceur-ws.org/Vol-1195/invited2.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/Rosati14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/Toni14, author = {Francesca Toni}, editor = {Laura Giordano and Valentina Gliozzi and Gian Luca Pozzato}, title = {From Logic Programming to Argumentation and Back}, booktitle = {Proceedings of the 29th Italian Conference on Computational Logic, Torino, Italy, June 16-18, 2014}, series = {{CEUR} Workshop Proceedings}, volume = {1195}, pages = {11}, publisher = {CEUR-WS.org}, year = {2014}, url = {https://ceur-ws.org/Vol-1195/invited1.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/Toni14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/cilc/2014, editor = {Laura Giordano and Valentina Gliozzi and Gian Luca Pozzato}, title = {Proceedings of the 29th Italian Conference on Computational Logic, Torino, Italy, June 16-18, 2014}, series = {{CEUR} Workshop Proceedings}, volume = {1195}, publisher = {CEUR-WS.org}, year = {2014}, url = {https://ceur-ws.org/Vol-1195}, urn = {urn:nbn:de:0074-1195-6}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/2014.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/AngelisFPP13, author = {Emanuele {De Angelis} and Fabio Fioravanti and Alberto Pettorossi and Maurizio Proietti}, editor = {Domenico Cantone and Marianna Nicolosi Asmundo}, title = {Verification of Imperative Programs by Transforming Constraint Logic Programs}, booktitle = {Proceedings of the 28th Italian Conference on Computational Logic, Catania, Italy, September 25-27, 2013}, series = {{CEUR} Workshop Proceedings}, volume = {1068}, pages = {83--98}, publisher = {CEUR-WS.org}, year = {2013}, url = {https://ceur-ws.org/Vol-1068/paper-l06.pdf}, timestamp = {Fri, 10 Mar 2023 16:22:46 +0100}, biburl = {https://dblp.org/rec/conf/cilc/AngelisFPP13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/AvelloneFM13, author = {Alessandro Avellone and Camillo Fiorentini and Alberto Momigliano}, editor = {Domenico Cantone and Marianna Nicolosi Asmundo}, title = {Focusing on Contraction}, booktitle = {Proceedings of the 28th Italian Conference on Computational Logic, Catania, Italy, September 25-27, 2013}, series = {{CEUR} Workshop Proceedings}, volume = {1068}, pages = {65--81}, publisher = {CEUR-WS.org}, year = {2013}, url = {https://ceur-ws.org/Vol-1068/paper-l05.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/AvelloneFM13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/BistarelliRS13, author = {Stefano Bistarelli and Fabio Rossi and Francesco Santini}, editor = {Domenico Cantone and Marianna Nicolosi Asmundo}, title = {A First Comparison of Abstract Argumentation Systems: {A} Computational Perspective}, booktitle = {Proceedings of the 28th Italian Conference on Computational Logic, Catania, Italy, September 25-27, 2013}, series = {{CEUR} Workshop Proceedings}, volume = {1068}, pages = {241--245}, publisher = {CEUR-WS.org}, year = {2013}, url = {https://ceur-ws.org/Vol-1068/paper-s03.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/BistarelliRS13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/Bonacina13, author = {Maria Paola Bonacina}, editor = {Domenico Cantone and Marianna Nicolosi Asmundo}, title = {On Model-Based Reasoning: Recent Trends and Current Developments}, booktitle = {Proceedings of the 28th Italian Conference on Computational Logic, Catania, Italy, September 25-27, 2013}, series = {{CEUR} Workshop Proceedings}, volume = {1068}, pages = {9}, publisher = {CEUR-WS.org}, year = {2013}, url = {https://ceur-ws.org/Vol-1068/paper-i02.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/Bonacina13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/CalligarisOT13, author = {Pierpaolo Calligaris and Eugenio G. Omodeo and Alexandru I. Tomescu}, editor = {Domenico Cantone and Marianna Nicolosi Asmundo}, title = {A Proof-checking Experiment on Representing Graphs as Membership Digraphs}, booktitle = {Proceedings of the 28th Italian Conference on Computational Logic, Catania, Italy, September 25-27, 2013}, series = {{CEUR} Workshop Proceedings}, volume = {1068}, pages = {227--233}, publisher = {CEUR-WS.org}, year = {2013}, url = {https://ceur-ws.org/Vol-1068/paper-s01.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/CalligarisOT13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/CostantiniF13, author = {Stefania Costantini and Andrea Formisano}, editor = {Domenico Cantone and Marianna Nicolosi Asmundo}, title = {Negation as a Resource: a Novel View on Answer Set Semantics}, booktitle = {Proceedings of the 28th Italian Conference on Computational Logic, Catania, Italy, September 25-27, 2013}, series = {{CEUR} Workshop Proceedings}, volume = {1068}, pages = {17--31}, publisher = {CEUR-WS.org}, year = {2013}, url = {https://ceur-ws.org/Vol-1068/paper-l01.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/CostantiniF13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/CostantiniGFZ13, author = {Stefania Costantini and Giovanni De Gasperis and Niva Florio and Claudia Zuppella}, editor = {Domenico Cantone and Marianna Nicolosi Asmundo}, title = {An ASP-based System for Preference Handling and Planning}, booktitle = {Proceedings of the 28th Italian Conference on Computational Logic, Catania, Italy, September 25-27, 2013}, series = {{CEUR} Workshop Proceedings}, volume = {1068}, pages = {253--257}, publisher = {CEUR-WS.org}, year = {2013}, url = {https://ceur-ws.org/Vol-1068/paper-s05.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/CostantiniGFZ13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/GavanelliRMC13, author = {Marco Gavanelli and Fabrizio Riguzzi and Michela Milano and Paolo Cagnoli}, editor = {Domenico Cantone and Marianna Nicolosi Asmundo}, title = {Constraint and Optimization techniques for supporting Policy Making}, booktitle = {Proceedings of the 28th Italian Conference on Computational Logic, Catania, Italy, September 25-27, 2013}, series = {{CEUR} Workshop Proceedings}, volume = {1068}, pages = {195--209}, publisher = {CEUR-WS.org}, year = {2013}, url = {https://ceur-ws.org/Vol-1068/paper-l13.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/GavanelliRMC13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/GentiliniM13, author = {Paolo Gentilini and Maurizio Martelli}, editor = {Domenico Cantone and Marianna Nicolosi Asmundo}, title = {Explicit Constructive Logic {ECL:} a New Representation of Construction and Selection of Logical Information by an Epistemic Agent}, booktitle = {Proceedings of the 28th Italian Conference on Computational Logic, Catania, Italy, September 25-27, 2013}, series = {{CEUR} Workshop Proceedings}, volume = {1068}, pages = {147--162}, publisher = {CEUR-WS.org}, year = {2013}, url = {https://ceur-ws.org/Vol-1068/paper-l10.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/GentiliniM13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/GiordanoGOP13, author = {Laura Giordano and Valentina Gliozzi and Nicola Olivetti and Gian Luca Pozzato}, editor = {Domenico Cantone and Marianna Nicolosi Asmundo}, title = {A Semantics for Rational Closure: Preliminary Results}, booktitle = {Proceedings of the 28th Italian Conference on Computational Logic, Catania, Italy, September 25-27, 2013}, series = {{CEUR} Workshop Proceedings}, volume = {1068}, pages = {99--113}, publisher = {CEUR-WS.org}, year = {2013}, url = {https://ceur-ws.org/Vol-1068/paper-l07.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/GiordanoGOP13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/Golinska-Pilarek13, author = {Joanna Golinska{-}Pilarek}, editor = {Domenico Cantone and Marianna Nicolosi Asmundo}, title = {Relational Dual Tableaux: Foundations and Applications}, booktitle = {Proceedings of the 28th Italian Conference on Computational Logic, Catania, Italy, September 25-27, 2013}, series = {{CEUR} Workshop Proceedings}, volume = {1068}, pages = {15--16}, publisher = {CEUR-WS.org}, year = {2013}, url = {https://ceur-ws.org/Vol-1068/paper-i01.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/Golinska-Pilarek13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/LeuzziF13, author = {Fabio Leuzzi and Stefano Ferilli}, editor = {Domenico Cantone and Marianna Nicolosi Asmundo}, title = {Reasoning by Analogy Using Past Experiences}, booktitle = {Proceedings of the 28th Italian Conference on Computational Logic, Catania, Italy, September 25-27, 2013}, series = {{CEUR} Workshop Proceedings}, volume = {1068}, pages = {115--129}, publisher = {CEUR-WS.org}, year = {2013}, url = {https://ceur-ws.org/Vol-1068/paper-l08.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/LeuzziF13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/LisiS13, author = {Francesca Alessandra Lisi and Umberto Straccia}, editor = {Domenico Cantone and Marianna Nicolosi Asmundo}, title = {Dealing with Incompleteness and Vagueness in Inductive Logic Programming}, booktitle = {Proceedings of the 28th Italian Conference on Computational Logic, Catania, Italy, September 25-27, 2013}, series = {{CEUR} Workshop Proceedings}, volume = {1068}, pages = {179--193}, publisher = {CEUR-WS.org}, year = {2013}, url = {https://ceur-ws.org/Vol-1068/paper-l12.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/LisiS13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/OlivettiP13, author = {Nicola Olivetti and Gian Luca Pozzato}, editor = {Domenico Cantone and Marianna Nicolosi Asmundo}, title = {Nested Sequent Calculi and Theorem Proving for Normal Conditional Logics}, booktitle = {Proceedings of the 28th Italian Conference on Computational Logic, Catania, Italy, September 25-27, 2013}, series = {{CEUR} Workshop Proceedings}, volume = {1068}, pages = {49--63}, publisher = {CEUR-WS.org}, year = {2013}, url = {https://ceur-ws.org/Vol-1068/paper-l04.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/OlivettiP13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/Omodeo13, author = {Eugenio G. Omodeo}, editor = {Domenico Cantone and Marianna Nicolosi Asmundo}, title = {Proof Verification within Set Theory}, booktitle = {Proceedings of the 28th Italian Conference on Computational Logic, Catania, Italy, September 25-27, 2013}, series = {{CEUR} Workshop Proceedings}, volume = {1068}, pages = {11}, publisher = {CEUR-WS.org}, year = {2013}, url = {https://ceur-ws.org/Vol-1068/paper-i03.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/Omodeo13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/Policriti13, author = {Alberto Policriti}, editor = {Domenico Cantone and Marianna Nicolosi Asmundo}, title = {On the Decidability of the {\(\exists\)}*{\(\forall\)}* Prefix Class in Set Theory}, booktitle = {Proceedings of the 28th Italian Conference on Computational Logic, Catania, Italy, September 25-27, 2013}, series = {{CEUR} Workshop Proceedings}, volume = {1068}, pages = {13}, publisher = {CEUR-WS.org}, year = {2013}, url = {https://ceur-ws.org/Vol-1068/paper-i04.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/Policriti13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/Policriti13a, author = {Alberto Policriti}, editor = {Domenico Cantone and Marianna Nicolosi Asmundo}, title = {Encodings of Sets and Hypersets}, booktitle = {Proceedings of the 28th Italian Conference on Computational Logic, Catania, Italy, September 25-27, 2013}, series = {{CEUR} Workshop Proceedings}, volume = {1068}, pages = {235--240}, publisher = {CEUR-WS.org}, year = {2013}, url = {https://ceur-ws.org/Vol-1068/paper-s02.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/Policriti13a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/RossiB13, author = {Gianfranco Rossi and Federico Bergenti}, editor = {Domenico Cantone and Marianna Nicolosi Asmundo}, title = {Nondeterministic Programming in Java with JSetL}, booktitle = {Proceedings of the 28th Italian Conference on Computational Logic, Catania, Italy, September 25-27, 2013}, series = {{CEUR} Workshop Proceedings}, volume = {1068}, pages = {211--226}, publisher = {CEUR-WS.org}, year = {2013}, url = {https://ceur-ws.org/Vol-1068/paper-l14.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/RossiB13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/RotellaF13, author = {Fulvio Rotella and Stefano Ferilli}, editor = {Domenico Cantone and Marianna Nicolosi Asmundo}, title = {Probabilistic Abductive Logic Programming using Possible Worlds}, booktitle = {Proceedings of the 28th Italian Conference on Computational Logic, Catania, Italy, September 25-27, 2013}, series = {{CEUR} Workshop Proceedings}, volume = {1068}, pages = {131--145}, publisher = {CEUR-WS.org}, year = {2013}, url = {https://ceur-ws.org/Vol-1068/paper-l09.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/RotellaF13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/SmithSP13, author = {Fabrizio Smith and Dario De Sanctis and Maurizio Proietti}, editor = {Domenico Cantone and Marianna Nicolosi Asmundo}, title = {A Platform for Managing Business Process Knowledge Bases via Logic Programming}, booktitle = {Proceedings of the 28th Italian Conference on Computational Logic, Catania, Italy, September 25-27, 2013}, series = {{CEUR} Workshop Proceedings}, volume = {1068}, pages = {247--251}, publisher = {CEUR-WS.org}, year = {2013}, url = {https://ceur-ws.org/Vol-1068/paper-s04.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/SmithSP13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/VellaPDFP13, author = {Flavio Vella and Alessandro Dal Pal{\`{u}} and Agostino Dovier and Andrea Formisano and Enrico Pontelli}, editor = {Domenico Cantone and Marianna Nicolosi Asmundo}, title = {CUD@ASP: Experimenting with GPGPUs in {ASP} solving}, booktitle = {Proceedings of the 28th Italian Conference on Computational Logic, Catania, Italy, September 25-27, 2013}, series = {{CEUR} Workshop Proceedings}, volume = {1068}, pages = {163--177}, publisher = {CEUR-WS.org}, year = {2013}, url = {https://ceur-ws.org/Vol-1068/paper-l11.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/VellaPDFP13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/ZeseBLR13, author = {Riccardo Zese and Elena Bellodi and Evelina Lamma and Fabrizio Riguzzi}, editor = {Domenico Cantone and Marianna Nicolosi Asmundo}, title = {A Description Logics Tableau Reasoner in Prolog}, booktitle = {Proceedings of the 28th Italian Conference on Computational Logic, Catania, Italy, September 25-27, 2013}, series = {{CEUR} Workshop Proceedings}, volume = {1068}, pages = {33--47}, publisher = {CEUR-WS.org}, year = {2013}, url = {https://ceur-ws.org/Vol-1068/paper-l02.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/ZeseBLR13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/cilc/2013, editor = {Domenico Cantone and Marianna Nicolosi Asmundo}, title = {Proceedings of the 28th Italian Conference on Computational Logic, Catania, Italy, September 25-27, 2013}, series = {{CEUR} Workshop Proceedings}, volume = {1068}, publisher = {CEUR-WS.org}, year = {2013}, url = {https://ceur-ws.org/Vol-1068}, urn = {urn:nbn:de:0074-1068-8}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/2013.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/AngelisFPP12, author = {Emanuele {De Angelis} and Fabio Fioravanti and Maurizio Proietti and Alberto Pettorossi}, editor = {Francesca A. Lisi}, title = {Software Model Checking by Program Specialization}, booktitle = {Proceedings of the 9th Italian Convention on Computational Logic, Rome, Italy, June 6-7, 2012}, series = {{CEUR} Workshop Proceedings}, volume = {857}, pages = {89--103}, publisher = {CEUR-WS.org}, year = {2012}, url = {https://ceur-ws.org/Vol-857/paper\_f07.pdf}, timestamp = {Fri, 10 Mar 2023 16:22:45 +0100}, biburl = {https://dblp.org/rec/conf/cilc/AngelisFPP12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/BaldoniBCMP12, author = {Matteo Baldoni and Cristina Baroglio and Federico Capuzzimati and Elisa Marengo and Viviana Patti}, editor = {Francesca A. Lisi}, title = {A Generalized Commitment Machine for 2CL Protocols and its Prolog Implementation}, booktitle = {Proceedings of the 9th Italian Convention on Computational Logic, Rome, Italy, June 6-7, 2012}, series = {{CEUR} Workshop Proceedings}, volume = {857}, pages = {2--16}, publisher = {CEUR-WS.org}, year = {2012}, url = {https://ceur-ws.org/Vol-857/paper\_f01.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/BaldoniBCMP12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/CantoneAO12, author = {Domenico Cantone and Marianna Nicolosi Asmundo and Eugenio G. Omodeo}, editor = {Francesca A. Lisi}, title = {On the Elimination of Quantifiers through Descriptors in Predicate Logic}, booktitle = {Proceedings of the 9th Italian Convention on Computational Logic, Rome, Italy, June 6-7, 2012}, series = {{CEUR} Workshop Proceedings}, volume = {857}, pages = {17--31}, publisher = {CEUR-WS.org}, year = {2012}, url = {https://ceur-ws.org/Vol-857/paper\_f02.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/CantoneAO12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/ColucciD12, author = {Simona Colucci and Francesco M. Donini}, editor = {Francesca A. Lisi}, title = {Using Prolog Unification to Solve Non-standard Reasoning Problems in Description Logics}, booktitle = {Proceedings of the 9th Italian Convention on Computational Logic, Rome, Italy, June 6-7, 2012}, series = {{CEUR} Workshop Proceedings}, volume = {857}, pages = {32--46}, publisher = {CEUR-WS.org}, year = {2012}, url = {https://ceur-ws.org/Vol-857/paper\_f03.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/ColucciD12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/CostantiniF12, author = {Stefania Costantini and Andrea Formisano}, editor = {Francesca A. Lisi}, title = {Preferences and Priorities in {ASP}}, booktitle = {Proceedings of the 9th Italian Convention on Computational Logic, Rome, Italy, June 6-7, 2012}, series = {{CEUR} Workshop Proceedings}, volume = {857}, pages = {47--58}, publisher = {CEUR-WS.org}, year = {2012}, url = {https://ceur-ws.org/Vol-857/paper\_f04.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/CostantiniF12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/CostantiniT12, author = {Stefania Costantini and Panagiota Tsintza}, editor = {Francesca A. Lisi}, title = {Temporal Meta-Axioms in Logical Agents}, booktitle = {Proceedings of the 9th Italian Convention on Computational Logic, Rome, Italy, June 6-7, 2012}, series = {{CEUR} Workshop Proceedings}, volume = {857}, pages = {59--73}, publisher = {CEUR-WS.org}, year = {2012}, url = {https://ceur-ws.org/Vol-857/paper\_f05.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/CostantiniT12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/DowekG12, author = {Gilles Dowek and Murdoch James Gabbay}, editor = {Francesca A. Lisi}, title = {Nominal Semantics for Predicate Logic: Algebras, Substitution, Quantifiers, and Limits}, booktitle = {Proceedings of the 9th Italian Convention on Computational Logic, Rome, Italy, June 6-7, 2012}, series = {{CEUR} Workshop Proceedings}, volume = {857}, pages = {104--118}, publisher = {CEUR-WS.org}, year = {2012}, url = {https://ceur-ws.org/Vol-857/paper\_f08.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/DowekG12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/FebbraroLRR12, author = {Onofrio Febbraro and Nicola Leone and Kristian Reale and Francesco Ricca}, editor = {Francesca A. Lisi}, title = {Extending {ASPIDE} with User-defined Plugins}, booktitle = {Proceedings of the 9th Italian Convention on Computational Logic, Rome, Italy, June 6-7, 2012}, series = {{CEUR} Workshop Proceedings}, volume = {857}, pages = {236--240}, publisher = {CEUR-WS.org}, year = {2012}, url = {https://ceur-ws.org/Vol-857/paper\_s01.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/FebbraroLRR12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/FerilliBE12, author = {Stefano Ferilli and Teresa Maria Altomare Basile and Floriana Esposito}, editor = {Francesca A. Lisi}, title = {Two Extensions of {FOL} Horn Clauses Comparison to Interpreted Predicates}, booktitle = {Proceedings of the 9th Italian Convention on Computational Logic, Rome, Italy, June 6-7, 2012}, series = {{CEUR} Workshop Proceedings}, volume = {857}, pages = {119--133}, publisher = {CEUR-WS.org}, year = {2012}, url = {https://ceur-ws.org/Vol-857/paper\_f09.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/FerilliBE12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/FlaminioH12, author = {Tommaso Flaminio and Hykel Hosni}, editor = {Francesca A. Lisi}, title = {The Epistemic Structure of de Finetti's Betting Problem}, booktitle = {Proceedings of the 9th Italian Convention on Computational Logic, Rome, Italy, June 6-7, 2012}, series = {{CEUR} Workshop Proceedings}, volume = {857}, pages = {241--245}, publisher = {CEUR-WS.org}, year = {2012}, url = {https://ceur-ws.org/Vol-857/paper\_s02.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/FlaminioH12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/GavanelliNPAF12, author = {Marco Gavanelli and Maddalena Nonato and Andrea Peano and Stefano Alvisi and Marco Franchini}, editor = {Francesca A. Lisi}, title = {An {ASP} Approach for the Valves Positioning Optimization in a Water Distribution System}, booktitle = {Proceedings of the 9th Italian Convention on Computational Logic, Rome, Italy, June 6-7, 2012}, series = {{CEUR} Workshop Proceedings}, volume = {857}, pages = {134--148}, publisher = {CEUR-WS.org}, year = {2012}, url = {https://ceur-ws.org/Vol-857/paper\_f10.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/GavanelliNPAF12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/GentiliniPP12, author = {Raffaella Gentilini and Carla Piazza and Alberto Policriti}, editor = {Francesca A. Lisi}, title = {Rank-Based Simulation on Acyclic Graphs}, booktitle = {Proceedings of the 9th Italian Convention on Computational Logic, Rome, Italy, June 6-7, 2012}, series = {{CEUR} Workshop Proceedings}, volume = {857}, pages = {149--160}, publisher = {CEUR-WS.org}, year = {2012}, url = {https://ceur-ws.org/Vol-857/paper\_f11.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/GentiliniPP12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/GiordanoGOP12, author = {Laura Giordano and Valentina Gliozzi and Nicola Olivetti and Gian Luca Pozzato}, editor = {Francesca A. Lisi}, title = {A Modal Reconstruction of Rational Closure}, booktitle = {Proceedings of the 9th Italian Convention on Computational Logic, Rome, Italy, June 6-7, 2012}, series = {{CEUR} Workshop Proceedings}, volume = {857}, pages = {161--175}, publisher = {CEUR-WS.org}, year = {2012}, url = {https://ceur-ws.org/Vol-857/paper\_f12.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/GiordanoGOP12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/GiordanoMD12, author = {Laura Giordano and Alberto Martelli and Daniele Theseider Dupr{\'{e}}}, editor = {Francesca A. Lisi}, title = {Verification of Action Theories in {ASP:} {A} Complete Bounded Model Checking Approach}, booktitle = {Proceedings of the 9th Italian Convention on Computational Logic, Rome, Italy, June 6-7, 2012}, series = {{CEUR} Workshop Proceedings}, volume = {857}, pages = {176--190}, publisher = {CEUR-WS.org}, year = {2012}, url = {https://ceur-ws.org/Vol-857/paper\_f13.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/GiordanoMD12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/KerhetF12, author = {Volha Kerhet and Enrico Franconi}, editor = {Francesca A. Lisi}, title = {On Checking Domain Independence}, booktitle = {Proceedings of the 9th Italian Convention on Computational Logic, Rome, Italy, June 6-7, 2012}, series = {{CEUR} Workshop Proceedings}, volume = {857}, pages = {246--250}, publisher = {CEUR-WS.org}, year = {2012}, url = {https://ceur-ws.org/Vol-857/paper\_s03.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/KerhetF12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/MinervinidF12, author = {Pasquale Minervini and Claudia d'Amato and Nicola Fanizzi}, editor = {Francesca A. Lisi}, title = {Learning Terminological Bayesian Classifiers - {A} Comparison of Alternative Approaches to Dealing with Unknown Concept-Memberships}, booktitle = {Proceedings of the 9th Italian Convention on Computational Logic, Rome, Italy, June 6-7, 2012}, series = {{CEUR} Workshop Proceedings}, volume = {857}, pages = {191--205}, publisher = {CEUR-WS.org}, year = {2012}, url = {https://ceur-ws.org/Vol-857/paper\_f14.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/MinervinidF12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/PaluDFP12, author = {Alessandro Dal Pal{\`{u}} and Agostino Dovier and Andrea Formisano and Enrico Pontelli}, editor = {Francesca A. Lisi}, title = {Exploiting Unexploited Computing Resources for Computational Logics}, booktitle = {Proceedings of the 9th Italian Convention on Computational Logic, Rome, Italy, June 6-7, 2012}, series = {{CEUR} Workshop Proceedings}, volume = {857}, pages = {74--88}, publisher = {CEUR-WS.org}, year = {2012}, url = {https://ceur-ws.org/Vol-857/paper\_f06.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/PaluDFP12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/Riguzzi12, author = {Fabrizio Riguzzi}, editor = {Francesca A. Lisi}, title = {Optimizing Inference for Probabilistic Logic Programs Exploiting Independence and Exclusiveness}, booktitle = {Proceedings of the 9th Italian Convention on Computational Logic, Rome, Italy, June 6-7, 2012}, series = {{CEUR} Workshop Proceedings}, volume = {857}, pages = {206--220}, publisher = {CEUR-WS.org}, year = {2012}, url = {https://ceur-ws.org/Vol-857/paper\_f15.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/Riguzzi12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/RiguzziBL12, author = {Fabrizio Riguzzi and Elena Bellodi and Evelina Lamma}, editor = {Francesca A. Lisi}, title = {Probabilistic Ontologies in Datalog+/-}, booktitle = {Proceedings of the 9th Italian Convention on Computational Logic, Rome, Italy, June 6-7, 2012}, series = {{CEUR} Workshop Proceedings}, volume = {857}, pages = {221--235}, publisher = {CEUR-WS.org}, year = {2012}, url = {https://ceur-ws.org/Vol-857/paper\_f16.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/RiguzziBL12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/Straccia12, author = {Umberto Straccia}, editor = {Francesca A. Lisi}, title = {Foundations of Fuzzy Logic and Semantic Web Languages}, booktitle = {Proceedings of the 9th Italian Convention on Computational Logic, Rome, Italy, June 6-7, 2012}, series = {{CEUR} Workshop Proceedings}, volume = {857}, pages = {1}, publisher = {CEUR-WS.org}, year = {2012}, url = {https://ceur-ws.org/Vol-857/paper\_i01.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/Straccia12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/cilc/2012, editor = {Francesca A. Lisi}, title = {Proceedings of the 9th Italian Convention on Computational Logic, Rome, Italy, June 6-7, 2012}, series = {{CEUR} Workshop Proceedings}, volume = {857}, publisher = {CEUR-WS.org}, year = {2012}, url = {https://ceur-ws.org/Vol-857}, urn = {urn:nbn:de:0074-857-8}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/2012.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/AlbertiGL11, author = {Marco Alberti and Marco Gavanelli and Evelina Lamma}, editor = {Fabio Fioravanti}, title = {The CHR-based Implementation of the {SCIFF} Abductive System}, booktitle = {Proceedings of the 26th Italian Conference on Computational Logic, Pescara, Italy, August 31 - September 2, 2011}, series = {{CEUR} Workshop Proceedings}, volume = {810}, pages = {163--177}, publisher = {CEUR-WS.org}, year = {2011}, url = {https://ceur-ws.org/Vol-810/paper-l10.pdf}, timestamp = {Fri, 10 Mar 2023 16:22:46 +0100}, biburl = {https://dblp.org/rec/conf/cilc/AlbertiGL11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/AlvianoFW11, author = {Mario Alviano and Wolfgang Faber and Stefan Woltran}, editor = {Fabio Fioravanti}, title = {Complexity of Super-Coherence Problems in Answer Set Programming}, booktitle = {Proceedings of the 26th Italian Conference on Computational Logic, Pescara, Italy, August 31 - September 2, 2011}, series = {{CEUR} Workshop Proceedings}, volume = {810}, pages = {131--145}, publisher = {CEUR-WS.org}, year = {2011}, url = {https://ceur-ws.org/Vol-810/paper-l08.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/AlvianoFW11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/AngelisPP11, author = {Emanuele {De Angelis} and Alberto Pettorossi and Maurizio Proietti}, editor = {Fabio Fioravanti}, title = {Synthesizing Concurrent Programs using Answer Set Programming}, booktitle = {Proceedings of the 26th Italian Conference on Computational Logic, Pescara, Italy, August 31 - September 2, 2011}, series = {{CEUR} Workshop Proceedings}, volume = {810}, pages = {245--259}, publisher = {CEUR-WS.org}, year = {2011}, url = {https://ceur-ws.org/Vol-810/paper-l15.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/AngelisPP11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/BasileFP11, author = {Annamaria Basile and Maria Rosa Felice and Alessandro Provetti}, editor = {Fabio Fioravanti}, title = {Formalization and Automated reasoning about a Complex Signalling Network}, booktitle = {Proceedings of the 26th Italian Conference on Computational Logic, Pescara, Italy, August 31 - September 2, 2011}, series = {{CEUR} Workshop Proceedings}, volume = {810}, pages = {407--414}, publisher = {CEUR-WS.org}, year = {2011}, url = {https://ceur-ws.org/Vol-810/paper-s09.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/BasileFP11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/BellodiR11, author = {Elena Bellodi and Fabrizio Riguzzi}, editor = {Fabio Fioravanti}, title = {{EM} over Binary Decision Diagrams for Probabilistic Logic Programs}, booktitle = {Proceedings of the 26th Italian Conference on Computational Logic, Pescara, Italy, August 31 - September 2, 2011}, series = {{CEUR} Workshop Proceedings}, volume = {810}, pages = {229--243}, publisher = {CEUR-WS.org}, year = {2011}, url = {https://ceur-ws.org/Vol-810/paper-l14.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/BellodiR11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/BistarelliCS11, author = {Stefano Bistarelli and Paola Campli and Francesco Santini}, editor = {Fabio Fioravanti}, title = {Finding Partitions of Arguments with Dung's Properties via SCSPs}, booktitle = {Proceedings of the 26th Italian Conference on Computational Logic, Pescara, Italy, August 31 - September 2, 2011}, series = {{CEUR} Workshop Proceedings}, volume = {810}, pages = {199--213}, publisher = {CEUR-WS.org}, year = {2011}, url = {https://ceur-ws.org/Vol-810/paper-l12.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/BistarelliCS11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/CampagnaF11, author = {Dario Campagna and Andrea Formisano}, editor = {Fabio Fioravanti}, title = {ProdProc - Product and Production Process Modeling and Configuration}, booktitle = {Proceedings of the 26th Italian Conference on Computational Logic, Pescara, Italy, August 31 - September 2, 2011}, series = {{CEUR} Workshop Proceedings}, volume = {810}, pages = {261--279}, publisher = {CEUR-WS.org}, year = {2011}, url = {https://ceur-ws.org/Vol-810/paper-l16.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/CampagnaF11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/CantoneA11, author = {Domenico Cantone and Marianna Nicolosi Asmundo}, editor = {Fabio Fioravanti}, title = {On the satisfiability problem for a 4-level quantified syllogistic and some applications to modal logic}, booktitle = {Proceedings of the 26th Italian Conference on Computational Logic, Pescara, Italy, August 31 - September 2, 2011}, series = {{CEUR} Workshop Proceedings}, volume = {810}, pages = {73--97}, publisher = {CEUR-WS.org}, year = {2011}, url = {https://ceur-ws.org/Vol-810/paper-l05.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/CantoneA11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/CasadioS11, author = {Claudia Casadio and Mehrnoosh Sadrzadeh}, editor = {Fabio Fioravanti}, title = {Cyclic pregroups and natural language: a computational algebraic analysis}, booktitle = {Proceedings of the 26th Italian Conference on Computational Logic, Pescara, Italy, August 31 - September 2, 2011}, series = {{CEUR} Workshop Proceedings}, volume = {810}, pages = {349--363}, publisher = {CEUR-WS.org}, year = {2011}, url = {https://ceur-ws.org/Vol-810/paper-s04.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/CasadioS11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/CostantiniF11, author = {Stefania Costantini and Andrea Formisano}, editor = {Fabio Fioravanti}, title = {Nested Weight Constraints in {ASP}}, booktitle = {Proceedings of the 26th Italian Conference on Computational Logic, Pescara, Italy, August 31 - September 2, 2011}, series = {{CEUR} Workshop Proceedings}, volume = {810}, pages = {371--383}, publisher = {CEUR-WS.org}, year = {2011}, url = {https://ceur-ws.org/Vol-810/paper-s06.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/CostantiniF11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/CostantiniFP11, author = {Stefania Costantini and Niva Florio and Alessio Paolucci}, editor = {Fabio Fioravanti}, title = {A framework for structured knowledge extraction and representation from natural language via deep sentence analysis}, booktitle = {Proceedings of the 26th Italian Conference on Computational Logic, Pescara, Italy, August 31 - September 2, 2011}, series = {{CEUR} Workshop Proceedings}, volume = {810}, pages = {297--310}, publisher = {CEUR-WS.org}, year = {2011}, url = {https://ceur-ws.org/Vol-810/paper-l18.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/CostantiniFP11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/CrescenzoT11, author = {Ilaria De Crescenzo and Salvatore {La Torre}}, editor = {Fabio Fioravanti}, title = {Winning CaRet Games with Modular Strategies}, booktitle = {Proceedings of the 26th Italian Conference on Computational Logic, Pescara, Italy, August 31 - September 2, 2011}, series = {{CEUR} Workshop Proceedings}, volume = {810}, pages = {327--331}, publisher = {CEUR-WS.org}, year = {2011}, url = {https://ceur-ws.org/Vol-810/paper-s01.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/CrescenzoT11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/DAgostinoL11, author = {Giovanna D'Agostino and Giacomo Lenzi}, editor = {Fabio Fioravanti}, title = {On modal mu-calculus in {S5} and applications}, booktitle = {Proceedings of the 26th Italian Conference on Computational Logic, Pescara, Italy, August 31 - September 2, 2011}, series = {{CEUR} Workshop Proceedings}, volume = {810}, pages = {9--24}, publisher = {CEUR-WS.org}, year = {2011}, url = {https://ceur-ws.org/Vol-810/paper-l01.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/DAgostinoL11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/DAprileGGMPD11, author = {Davide D'Aprile and Laura Giordano and Valentina Gliozzi and Alberto Martelli and Gian Luca Pozzato and Daniele Theseider Dupr{\'{e}}}, editor = {Fabio Fioravanti}, title = {Verifying Compliance of Business Processes with Temporal Answer Sets}, booktitle = {Proceedings of the 26th Italian Conference on Computational Logic, Pescara, Italy, August 31 - September 2, 2011}, series = {{CEUR} Workshop Proceedings}, volume = {810}, pages = {147--161}, publisher = {CEUR-WS.org}, year = {2011}, url = {https://ceur-ws.org/Vol-810/paper-l09.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/DAprileGGMPD11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/DodaroAFLRS11, author = {Carmine Dodaro and Mario Alviano and Wolfgang Faber and Nicola Leone and Francesco Ricca and Marco Sirianni}, editor = {Fabio Fioravanti}, title = {The Birth of a {WASP:} Preliminary Report on a New {ASP} Solver}, booktitle = {Proceedings of the 26th Italian Conference on Computational Logic, Pescara, Italy, August 31 - September 2, 2011}, series = {{CEUR} Workshop Proceedings}, volume = {810}, pages = {99--113}, publisher = {CEUR-WS.org}, year = {2011}, url = {https://ceur-ws.org/Vol-810/paper-l06.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/DodaroAFLRS11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/FebbraroRR11, author = {Onofrio Febbraro and Kristian Reale and Francesco Ricca}, editor = {Fabio Fioravanti}, title = {Testing {ASP} programs in {ASPIDE}}, booktitle = {Proceedings of the 26th Italian Conference on Computational Logic, Pescara, Italy, August 31 - September 2, 2011}, series = {{CEUR} Workshop Proceedings}, volume = {810}, pages = {115--129}, publisher = {CEUR-WS.org}, year = {2011}, url = {https://ceur-ws.org/Vol-810/paper-l07.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/FebbraroRR11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/FioravantiPPS11, author = {Fabio Fioravanti and Alberto Pettorossi and Maurizio Proietti and Valerio Senni}, editor = {Fabio Fioravanti}, title = {Controlling Polyvariance for Specialization-based Verification}, booktitle = {Proceedings of the 26th Italian Conference on Computational Logic, Pescara, Italy, August 31 - September 2, 2011}, series = {{CEUR} Workshop Proceedings}, volume = {810}, pages = {179--197}, publisher = {CEUR-WS.org}, year = {2011}, url = {https://ceur-ws.org/Vol-810/paper-l11.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/FioravantiPPS11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/Gentilini11, author = {Raffaella Gentilini}, editor = {Fabio Fioravanti}, title = {A Note on the Approximation of Mean-Payoff Games}, booktitle = {Proceedings of the 26th Italian Conference on Computational Logic, Pescara, Italy, August 31 - September 2, 2011}, series = {{CEUR} Workshop Proceedings}, volume = {810}, pages = {333--340}, publisher = {CEUR-WS.org}, year = {2011}, url = {https://ceur-ws.org/Vol-810/paper-s02.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/Gentilini11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/GiordanoGOP11, author = {Laura Giordano and Valentina Gliozzi and Nicola Olivetti and Gian Luca Pozzato}, editor = {Fabio Fioravanti}, title = {Nonmonotonic extensions of low-complexity DLs: complexity results and proof methods}, booktitle = {Proceedings of the 26th Italian Conference on Computational Logic, Pescara, Italy, August 31 - September 2, 2011}, series = {{CEUR} Workshop Proceedings}, volume = {810}, pages = {41--55}, publisher = {CEUR-WS.org}, year = {2011}, url = {https://ceur-ws.org/Vol-810/paper-l03.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/GiordanoGOP11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/LisiS11, author = {Francesca A. Lisi and Umberto Straccia}, editor = {Fabio Fioravanti}, title = {An Inductive Logic Programming Approach to Learning Inclusion Axioms in Fuzzy Description Logics}, booktitle = {Proceedings of the 26th Italian Conference on Computational Logic, Pescara, Italy, August 31 - September 2, 2011}, series = {{CEUR} Workshop Proceedings}, volume = {810}, pages = {57--71}, publisher = {CEUR-WS.org}, year = {2011}, url = {https://ceur-ws.org/Vol-810/paper-l04.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/LisiS11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/MascioGV11, author = {Tania Di Mascio and Rosella Gennari and Pierpaolo Vittorini}, editor = {Fabio Fioravanti}, title = {{TERENCE:} An Adaptive Learning System for Reasoning about Stories with Poor Comprehenders and their Educators}, booktitle = {Proceedings of the 26th Italian Conference on Computational Logic, Pescara, Italy, August 31 - September 2, 2011}, series = {{CEUR} Workshop Proceedings}, volume = {810}, pages = {365--369}, publisher = {CEUR-WS.org}, year = {2011}, url = {https://ceur-ws.org/Vol-810/paper-s05.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/MascioGV11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/MeleS11, author = {Francesco Mele and Antonio Sorgente}, editor = {Fabio Fioravanti}, title = {The temporal representation and reasoning of complex events}, booktitle = {Proceedings of the 26th Italian Conference on Computational Logic, Pescara, Italy, August 31 - September 2, 2011}, series = {{CEUR} Workshop Proceedings}, volume = {810}, pages = {385--399}, publisher = {CEUR-WS.org}, year = {2011}, url = {https://ceur-ws.org/Vol-810/paper-s07.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/MeleS11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/MonicaNP11, author = {Dario Della Monica and Margherita Napoli and Mimmo Parente}, editor = {Fabio Fioravanti}, title = {Coalitional Games with Priced-Resource Agents}, booktitle = {Proceedings of the 26th Italian Conference on Computational Logic, Pescara, Italy, August 31 - September 2, 2011}, series = {{CEUR} Workshop Proceedings}, volume = {810}, pages = {341--347}, publisher = {CEUR-WS.org}, year = {2011}, url = {https://ceur-ws.org/Vol-810/paper-s03.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/MonicaNP11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/MoraraMG11, author = {Massimo Morara and Jacopo Mauro and Maurizio Gabbrielli}, editor = {Fabio Fioravanti}, title = {Solving {XCSP} problems by using Gecode}, booktitle = {Proceedings of the 26th Italian Conference on Computational Logic, Pescara, Italy, August 31 - September 2, 2011}, series = {{CEUR} Workshop Proceedings}, volume = {810}, pages = {401--405}, publisher = {CEUR-WS.org}, year = {2011}, url = {https://ceur-ws.org/Vol-810/paper-s08.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/MoraraMG11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/Riguzzi11, author = {Fabrizio Riguzzi}, editor = {Fabio Fioravanti}, title = {{MCINTYRE:} {A} Monte Carlo Algorithm for Probabilistic Logic Programming}, booktitle = {Proceedings of the 26th Italian Conference on Computational Logic, Pescara, Italy, August 31 - September 2, 2011}, series = {{CEUR} Workshop Proceedings}, volume = {810}, pages = {25--39}, publisher = {CEUR-WS.org}, year = {2011}, url = {https://ceur-ws.org/Vol-810/paper-l02.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/Riguzzi11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/SolomakhinFM11, author = {Dmitry Solomakhin and Enrico Franconi and Alessandro Mosca}, editor = {Fabio Fioravanti}, title = {Logic-based reasoning support for {SBVR}}, booktitle = {Proceedings of the 26th Italian Conference on Computational Logic, Pescara, Italy, August 31 - September 2, 2011}, series = {{CEUR} Workshop Proceedings}, volume = {810}, pages = {311--325}, publisher = {CEUR-WS.org}, year = {2011}, url = {https://ceur-ws.org/Vol-810/paper-l19.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/SolomakhinFM11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/StallaZDM11, author = {Alessio Stalla and Davide Zanucco and Agostino Dovier and Viviana Mascardi}, editor = {Fabio Fioravanti}, title = {PrettyCLP: a Light Java Implementation for Teaching {CLP}}, booktitle = {Proceedings of the 26th Italian Conference on Computational Logic, Pescara, Italy, August 31 - September 2, 2011}, series = {{CEUR} Workshop Proceedings}, volume = {810}, pages = {281--295}, publisher = {CEUR-WS.org}, year = {2011}, url = {https://ceur-ws.org/Vol-810/paper-l17.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/StallaZDM11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/ZhouD11, author = {Neng{-}Fa Zhou and Agostino Dovier}, editor = {Fabio Fioravanti}, title = {A Tabled Prolog Program for Solving Sokoban}, booktitle = {Proceedings of the 26th Italian Conference on Computational Logic, Pescara, Italy, August 31 - September 2, 2011}, series = {{CEUR} Workshop Proceedings}, volume = {810}, pages = {215--228}, publisher = {CEUR-WS.org}, year = {2011}, url = {https://ceur-ws.org/Vol-810/paper-l13.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/ZhouD11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/cilc/2011, editor = {Fabio Fioravanti}, title = {Proceedings of the 26th Italian Conference on Computational Logic, Pescara, Italy, August 31 - September 2, 2011}, series = {{CEUR} Workshop Proceedings}, volume = {810}, publisher = {CEUR-WS.org}, year = {2011}, url = {https://ceur-ws.org/Vol-810}, urn = {urn:nbn:de:0074-810-0}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/2011.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/AlbertiGL10, author = {Marco Alberti and Marco Gavanelli and Evelina Lamma}, editor = {Wolfgang Faber and Nicola Leone}, title = {Runtime Addition of Integrity Constraints in {SCIFF}}, booktitle = {Proceedings of the 25th Italian Conference on Computational Logic, Rende, Italy, July 7-9, 2010}, series = {{CEUR} Workshop Proceedings}, volume = {598}, publisher = {CEUR-WS.org}, year = {2010}, url = {https://ceur-ws.org/Vol-598/paper02.pdf}, timestamp = {Fri, 10 Mar 2023 16:22:46 +0100}, biburl = {https://dblp.org/rec/conf/cilc/AlbertiGL10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/BaldoniBM10, author = {Matteo Baldoni and Cristina Baroglio and Elisa Marengo}, editor = {Wolfgang Faber and Nicola Leone}, title = {Constraints among Commitments: Regulative Specification of Interaction Protocols}, booktitle = {Proceedings of the 25th Italian Conference on Computational Logic, Rende, Italy, July 7-9, 2010}, series = {{CEUR} Workshop Proceedings}, volume = {598}, publisher = {CEUR-WS.org}, year = {2010}, url = {https://ceur-ws.org/Vol-598/paper04.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/BaldoniBM10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/BellodiRL10, author = {Elena Bellodi and Fabrizio Riguzzi and Evelina Lamma}, editor = {Wolfgang Faber and Nicola Leone}, title = {Probabilistic Logic-Based Process Mining}, booktitle = {Proceedings of the 25th Italian Conference on Computational Logic, Rende, Italy, July 7-9, 2010}, series = {{CEUR} Workshop Proceedings}, volume = {598}, publisher = {CEUR-WS.org}, year = {2010}, url = {https://ceur-ws.org/Vol-598/paper17.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/BellodiRL10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/BistarelliPS10, author = {Stefano Bistarelli and Daniele Pirolandi and Francesco Santini}, editor = {Wolfgang Faber and Nicola Leone}, title = {Solving Weighted Argumentation Frameworks with Soft Constraints}, booktitle = {Proceedings of the 25th Italian Conference on Computational Logic, Rende, Italy, July 7-9, 2010}, series = {{CEUR} Workshop Proceedings}, volume = {598}, publisher = {CEUR-WS.org}, year = {2010}, url = {https://ceur-ws.org/Vol-598/paper18.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/BistarelliPS10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/BozzanoLMM10, author = {Michele Bozzano and Angela Locoro and Maurizio Martelli and Viviana Mascardi}, editor = {Wolfgang Faber and Nicola Leone}, title = {Trattamento del Linguaggio Naturale Tramite Prolog: un Approccio Promettente per Generare Istituzioni Virtuali da Testi Scritti}, booktitle = {Proceedings of the 25th Italian Conference on Computational Logic, Rende, Italy, July 7-9, 2010}, series = {{CEUR} Workshop Proceedings}, volume = {598}, publisher = {CEUR-WS.org}, year = {2010}, url = {https://ceur-ws.org/Vol-598/paper07.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/BozzanoLMM10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/CantoneAO10, author = {Domenico Cantone and Marianna Nicolosi Asmundo and Ewa Orlowska}, editor = {Wolfgang Faber and Nicola Leone}, title = {Dual Tableau-based Decision Procedures for Some Relational Logics}, booktitle = {Proceedings of the 25th Italian Conference on Computational Logic, Rende, Italy, July 7-9, 2010}, series = {{CEUR} Workshop Proceedings}, volume = {598}, publisher = {CEUR-WS.org}, year = {2010}, url = {https://ceur-ws.org/Vol-598/paper10.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/CantoneAO10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/CantoneLA10, author = {Domenico Cantone and Cristiano Longo and Marianna Nicolosi Asmundo}, editor = {Wolfgang Faber and Nicola Leone}, title = {A Decision Procedure for a Two-sorted Extension of Multi-Level Syllogistic with the Cartesian Product and Some Map Constructs}, booktitle = {Proceedings of the 25th Italian Conference on Computational Logic, Rende, Italy, July 7-9, 2010}, series = {{CEUR} Workshop Proceedings}, volume = {598}, publisher = {CEUR-WS.org}, year = {2010}, url = {https://ceur-ws.org/Vol-598/paper11.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/CantoneLA10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/CostantiniP10, author = {Stefania Costantini and Alessio Paolucci}, editor = {Wolfgang Faber and Nicola Leone}, title = {Towards Translating Natural Language Sentences into {ASP}}, booktitle = {Proceedings of the 25th Italian Conference on Computational Logic, Rende, Italy, July 7-9, 2010}, series = {{CEUR} Workshop Proceedings}, volume = {598}, publisher = {CEUR-WS.org}, year = {2010}, url = {https://ceur-ws.org/Vol-598/paper13.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/CostantiniP10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/DovierFP10, author = {Agostino Dovier and Andrea Formisano and Enrico Pontelli}, editor = {Wolfgang Faber and Nicola Leone}, title = {Autonomous Agents Coordination: Action Description Languages Meet {CLP(FD)} and Linda}, booktitle = {Proceedings of the 25th Italian Conference on Computational Logic, Rende, Italy, July 7-9, 2010}, series = {{CEUR} Workshop Proceedings}, volume = {598}, publisher = {CEUR-WS.org}, year = {2010}, url = {https://ceur-ws.org/Vol-598/paper03.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/DovierFP10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/FebbraroRR10, author = {Onofrio Febbraro and Kristian Reale and Francesco Ricca}, editor = {Wolfgang Faber and Nicola Leone}, title = {A Visual Interface for Drawing {ASP} Programs}, booktitle = {Proceedings of the 25th Italian Conference on Computational Logic, Rende, Italy, July 7-9, 2010}, series = {{CEUR} Workshop Proceedings}, volume = {598}, publisher = {CEUR-WS.org}, year = {2010}, url = {https://ceur-ws.org/Vol-598/paper20.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/FebbraroRR10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/FioravantiPPS10, author = {Fabio Fioravanti and Alberto Pettorossi and Maurizio Proietti and Valerio Senni}, editor = {Wolfgang Faber and Nicola Leone}, title = {Generalization Strategies for the Verification of Infinite State Systems}, booktitle = {Proceedings of the 25th Italian Conference on Computational Logic, Rende, Italy, July 7-9, 2010}, series = {{CEUR} Workshop Proceedings}, volume = {598}, publisher = {CEUR-WS.org}, year = {2010}, url = {https://ceur-ws.org/Vol-598/paper06.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/FioravantiPPS10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/GenoveseGGP10, author = {Valerio Genovese and Laura Giordano and Valentina Gliozzi and Gian Luca Pozzato}, editor = {Wolfgang Faber and Nicola Leone}, title = {A Constructive Conditional Logic for Access Control}, booktitle = {Proceedings of the 25th Italian Conference on Computational Logic, Rende, Italy, July 7-9, 2010}, series = {{CEUR} Workshop Proceedings}, volume = {598}, publisher = {CEUR-WS.org}, year = {2010}, url = {https://ceur-ws.org/Vol-598/paper09.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/GenoveseGGP10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/GiordanoGOP10, author = {Laura Giordano and Valentina Gliozzi and Nicola Olivetti and Gian Luca Pozzato}, editor = {Wolfgang Faber and Nicola Leone}, title = {Reasoning About Typicality in Preferential Description Logics: Preferential vs Rational Entailment}, booktitle = {Proceedings of the 25th Italian Conference on Computational Logic, Rende, Italy, July 7-9, 2010}, series = {{CEUR} Workshop Proceedings}, volume = {598}, publisher = {CEUR-WS.org}, year = {2010}, url = {https://ceur-ws.org/Vol-598/paper08.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/GiordanoGOP10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/GiordanoMD10, author = {Laura Giordano and Alberto Martelli and Daniele Theseider Dupr{\'{e}}}, editor = {Wolfgang Faber and Nicola Leone}, title = {Reasoning about Actions with Temporal Answer Sets}, booktitle = {Proceedings of the 25th Italian Conference on Computational Logic, Rende, Italy, July 7-9, 2010}, series = {{CEUR} Workshop Proceedings}, volume = {598}, publisher = {CEUR-WS.org}, year = {2010}, url = {https://ceur-ws.org/Vol-598/paper15.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/GiordanoMD10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/GrassoILRS10, author = {Giovanni Grasso and Salvatore Iiritano and Vincenzino Lio and Francesco Ricca and Francesco Scalise}, editor = {Wolfgang Faber and Nicola Leone}, title = {Team-building with Answer Set Programming in the Gioia-Tauro Seaport}, booktitle = {Proceedings of the 25th Italian Conference on Computational Logic, Rende, Italy, July 7-9, 2010}, series = {{CEUR} Workshop Proceedings}, volume = {598}, publisher = {CEUR-WS.org}, year = {2010}, url = {https://ceur-ws.org/Vol-598/paper21.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/GrassoILRS10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/MannaRT10, author = {Marco Manna and Francesco Ricca and Giorgio Terracina}, editor = {Wolfgang Faber and Nicola Leone}, title = {Optimized Encodings for Consistent Query Answering via {ASP} from Different Perspectives}, booktitle = {Proceedings of the 25th Italian Conference on Computational Logic, Rende, Italy, July 7-9, 2010}, series = {{CEUR} Workshop Proceedings}, volume = {598}, publisher = {CEUR-WS.org}, year = {2010}, url = {https://ceur-ws.org/Vol-598/paper12.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/MannaRT10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/MeleSV10, author = {Francesco Mele and Antonio Sorgente and Giuseppe Vettigli}, editor = {Wolfgang Faber and Nicola Leone}, title = {Evoluzioni di Ontologie in Frame Logic}, booktitle = {Proceedings of the 25th Italian Conference on Computational Logic, Rende, Italy, July 7-9, 2010}, series = {{CEUR} Workshop Proceedings}, volume = {598}, publisher = {CEUR-WS.org}, year = {2010}, url = {https://ceur-ws.org/Vol-598/paper19.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/MeleSV10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/PaluDFP10, author = {Alessandro Dal Pal{\`{u}} and Agostino Dovier and Federico Fogolari and Enrico Pontelli}, editor = {Wolfgang Faber and Nicola Leone}, title = {CLP-based Protein Fragment Assembly}, booktitle = {Proceedings of the 25th Italian Conference on Computational Logic, Rende, Italy, July 7-9, 2010}, series = {{CEUR} Workshop Proceedings}, volume = {598}, publisher = {CEUR-WS.org}, year = {2010}, url = {https://ceur-ws.org/Vol-598/paper01.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/PaluDFP10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/PerriRS10, author = {Simona Perri and Francesco Ricca and Marco Sirianni}, editor = {Wolfgang Faber and Nicola Leone}, title = {Parallel Instantiation in {DLV}}, booktitle = {Proceedings of the 25th Italian Conference on Computational Logic, Rende, Italy, July 7-9, 2010}, series = {{CEUR} Workshop Proceedings}, volume = {598}, publisher = {CEUR-WS.org}, year = {2010}, url = {https://ceur-ws.org/Vol-598/paper14.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/PerriRS10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/PettorossiPS10, author = {Alberto Pettorossi and Maurizio Proietti and Valerio Senni}, editor = {Wolfgang Faber and Nicola Leone}, title = {A Transformation Strategy for Verifying Logic Programs on Infinite Lists}, booktitle = {Proceedings of the 25th Italian Conference on Computational Logic, Rende, Italy, July 7-9, 2010}, series = {{CEUR} Workshop Proceedings}, volume = {598}, publisher = {CEUR-WS.org}, year = {2010}, url = {https://ceur-ws.org/Vol-598/paper05.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/PettorossiPS10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/RiguzziS10, author = {Fabrizio Riguzzi and Terrance Swift}, editor = {Wolfgang Faber and Nicola Leone}, title = {An Extended Semantics for Logic Programs with Annotated Disjunctions and its Efficient Implementation}, booktitle = {Proceedings of the 25th Italian Conference on Computational Logic, Rende, Italy, July 7-9, 2010}, series = {{CEUR} Workshop Proceedings}, volume = {598}, publisher = {CEUR-WS.org}, year = {2010}, url = {https://ceur-ws.org/Vol-598/paper16.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/RiguzziS10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/cilc/2010, editor = {Wolfgang Faber and Nicola Leone}, title = {Proceedings of the 25th Italian Conference on Computational Logic, Rende, Italy, July 7-9, 2010}, series = {{CEUR} Workshop Proceedings}, volume = {598}, publisher = {CEUR-WS.org}, year = {2010}, url = {https://ceur-ws.org/Vol-598}, urn = {urn:nbn:de:0074-598-1}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/2010.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.