Search dblp for Publications

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

 download as .bib file

@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}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.