Search dblp for Publications

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

 download as .bib file

@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.