default search action
Search dblp for Publications
export results for "toc:db/conf/cilc/cilc2024.bht:"
@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} }
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.