Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/cilc/cilc2023.bht:"
download as .bib file
@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}
}
a service of 
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.
retrieved on 2024-05-09 09:31 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
