Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/conf/cilc/cilc2013.bht:"
@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} }
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.