Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/cilc/AngelisFPP12,
  author       = {Emanuele {De Angelis} and
                  Fabio Fioravanti and
                  Maurizio Proietti and
                  Alberto Pettorossi},
  editor       = {Francesca A. Lisi},
  title        = {Software Model Checking by Program Specialization},
  booktitle    = {Proceedings of the 9th Italian Convention on Computational Logic,
                  Rome, Italy, June 6-7, 2012},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {857},
  pages        = {89--103},
  publisher    = {CEUR-WS.org},
  year         = {2012},
  url          = {https://ceur-ws.org/Vol-857/paper\_f07.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:45 +0100},
  biburl       = {https://dblp.org/rec/conf/cilc/AngelisFPP12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cilc/BaldoniBCMP12,
  author       = {Matteo Baldoni and
                  Cristina Baroglio and
                  Federico Capuzzimati and
                  Elisa Marengo and
                  Viviana Patti},
  editor       = {Francesca A. Lisi},
  title        = {A Generalized Commitment Machine for 2CL Protocols and its Prolog
                  Implementation},
  booktitle    = {Proceedings of the 9th Italian Convention on Computational Logic,
                  Rome, Italy, June 6-7, 2012},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {857},
  pages        = {2--16},
  publisher    = {CEUR-WS.org},
  year         = {2012},
  url          = {https://ceur-ws.org/Vol-857/paper\_f01.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cilc/BaldoniBCMP12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cilc/CantoneAO12,
  author       = {Domenico Cantone and
                  Marianna Nicolosi Asmundo and
                  Eugenio G. Omodeo},
  editor       = {Francesca A. Lisi},
  title        = {On the Elimination of Quantifiers through Descriptors in Predicate
                  Logic},
  booktitle    = {Proceedings of the 9th Italian Convention on Computational Logic,
                  Rome, Italy, June 6-7, 2012},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {857},
  pages        = {17--31},
  publisher    = {CEUR-WS.org},
  year         = {2012},
  url          = {https://ceur-ws.org/Vol-857/paper\_f02.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cilc/CantoneAO12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cilc/ColucciD12,
  author       = {Simona Colucci and
                  Francesco M. Donini},
  editor       = {Francesca A. Lisi},
  title        = {Using Prolog Unification to Solve Non-standard Reasoning Problems
                  in Description Logics},
  booktitle    = {Proceedings of the 9th Italian Convention on Computational Logic,
                  Rome, Italy, June 6-7, 2012},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {857},
  pages        = {32--46},
  publisher    = {CEUR-WS.org},
  year         = {2012},
  url          = {https://ceur-ws.org/Vol-857/paper\_f03.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cilc/ColucciD12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cilc/CostantiniF12,
  author       = {Stefania Costantini and
                  Andrea Formisano},
  editor       = {Francesca A. Lisi},
  title        = {Preferences and Priorities in {ASP}},
  booktitle    = {Proceedings of the 9th Italian Convention on Computational Logic,
                  Rome, Italy, June 6-7, 2012},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {857},
  pages        = {47--58},
  publisher    = {CEUR-WS.org},
  year         = {2012},
  url          = {https://ceur-ws.org/Vol-857/paper\_f04.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cilc/CostantiniF12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cilc/CostantiniT12,
  author       = {Stefania Costantini and
                  Panagiota Tsintza},
  editor       = {Francesca A. Lisi},
  title        = {Temporal Meta-Axioms in Logical Agents},
  booktitle    = {Proceedings of the 9th Italian Convention on Computational Logic,
                  Rome, Italy, June 6-7, 2012},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {857},
  pages        = {59--73},
  publisher    = {CEUR-WS.org},
  year         = {2012},
  url          = {https://ceur-ws.org/Vol-857/paper\_f05.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cilc/CostantiniT12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cilc/DowekG12,
  author       = {Gilles Dowek and
                  Murdoch James Gabbay},
  editor       = {Francesca A. Lisi},
  title        = {Nominal Semantics for Predicate Logic: Algebras, Substitution, Quantifiers,
                  and Limits},
  booktitle    = {Proceedings of the 9th Italian Convention on Computational Logic,
                  Rome, Italy, June 6-7, 2012},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {857},
  pages        = {104--118},
  publisher    = {CEUR-WS.org},
  year         = {2012},
  url          = {https://ceur-ws.org/Vol-857/paper\_f08.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cilc/DowekG12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cilc/FebbraroLRR12,
  author       = {Onofrio Febbraro and
                  Nicola Leone and
                  Kristian Reale and
                  Francesco Ricca},
  editor       = {Francesca A. Lisi},
  title        = {Extending {ASPIDE} with User-defined Plugins},
  booktitle    = {Proceedings of the 9th Italian Convention on Computational Logic,
                  Rome, Italy, June 6-7, 2012},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {857},
  pages        = {236--240},
  publisher    = {CEUR-WS.org},
  year         = {2012},
  url          = {https://ceur-ws.org/Vol-857/paper\_s01.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cilc/FebbraroLRR12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cilc/FerilliBE12,
  author       = {Stefano Ferilli and
                  Teresa Maria Altomare Basile and
                  Floriana Esposito},
  editor       = {Francesca A. Lisi},
  title        = {Two Extensions of {FOL} Horn Clauses Comparison to Interpreted Predicates},
  booktitle    = {Proceedings of the 9th Italian Convention on Computational Logic,
                  Rome, Italy, June 6-7, 2012},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {857},
  pages        = {119--133},
  publisher    = {CEUR-WS.org},
  year         = {2012},
  url          = {https://ceur-ws.org/Vol-857/paper\_f09.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cilc/FerilliBE12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cilc/FlaminioH12,
  author       = {Tommaso Flaminio and
                  Hykel Hosni},
  editor       = {Francesca A. Lisi},
  title        = {The Epistemic Structure of de Finetti's Betting Problem},
  booktitle    = {Proceedings of the 9th Italian Convention on Computational Logic,
                  Rome, Italy, June 6-7, 2012},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {857},
  pages        = {241--245},
  publisher    = {CEUR-WS.org},
  year         = {2012},
  url          = {https://ceur-ws.org/Vol-857/paper\_s02.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cilc/FlaminioH12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cilc/GavanelliNPAF12,
  author       = {Marco Gavanelli and
                  Maddalena Nonato and
                  Andrea Peano and
                  Stefano Alvisi and
                  Marco Franchini},
  editor       = {Francesca A. Lisi},
  title        = {An {ASP} Approach for the Valves Positioning Optimization in a Water
                  Distribution System},
  booktitle    = {Proceedings of the 9th Italian Convention on Computational Logic,
                  Rome, Italy, June 6-7, 2012},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {857},
  pages        = {134--148},
  publisher    = {CEUR-WS.org},
  year         = {2012},
  url          = {https://ceur-ws.org/Vol-857/paper\_f10.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cilc/GavanelliNPAF12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cilc/GentiliniPP12,
  author       = {Raffaella Gentilini and
                  Carla Piazza and
                  Alberto Policriti},
  editor       = {Francesca A. Lisi},
  title        = {Rank-Based Simulation on Acyclic Graphs},
  booktitle    = {Proceedings of the 9th Italian Convention on Computational Logic,
                  Rome, Italy, June 6-7, 2012},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {857},
  pages        = {149--160},
  publisher    = {CEUR-WS.org},
  year         = {2012},
  url          = {https://ceur-ws.org/Vol-857/paper\_f11.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cilc/GentiliniPP12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cilc/GiordanoGOP12,
  author       = {Laura Giordano and
                  Valentina Gliozzi and
                  Nicola Olivetti and
                  Gian Luca Pozzato},
  editor       = {Francesca A. Lisi},
  title        = {A Modal Reconstruction of Rational Closure},
  booktitle    = {Proceedings of the 9th Italian Convention on Computational Logic,
                  Rome, Italy, June 6-7, 2012},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {857},
  pages        = {161--175},
  publisher    = {CEUR-WS.org},
  year         = {2012},
  url          = {https://ceur-ws.org/Vol-857/paper\_f12.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cilc/GiordanoGOP12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cilc/GiordanoMD12,
  author       = {Laura Giordano and
                  Alberto Martelli and
                  Daniele Theseider Dupr{\'{e}}},
  editor       = {Francesca A. Lisi},
  title        = {Verification of Action Theories in {ASP:} {A} Complete Bounded Model
                  Checking Approach},
  booktitle    = {Proceedings of the 9th Italian Convention on Computational Logic,
                  Rome, Italy, June 6-7, 2012},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {857},
  pages        = {176--190},
  publisher    = {CEUR-WS.org},
  year         = {2012},
  url          = {https://ceur-ws.org/Vol-857/paper\_f13.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cilc/GiordanoMD12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cilc/KerhetF12,
  author       = {Volha Kerhet and
                  Enrico Franconi},
  editor       = {Francesca A. Lisi},
  title        = {On Checking Domain Independence},
  booktitle    = {Proceedings of the 9th Italian Convention on Computational Logic,
                  Rome, Italy, June 6-7, 2012},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {857},
  pages        = {246--250},
  publisher    = {CEUR-WS.org},
  year         = {2012},
  url          = {https://ceur-ws.org/Vol-857/paper\_s03.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cilc/KerhetF12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cilc/MinervinidF12,
  author       = {Pasquale Minervini and
                  Claudia d'Amato and
                  Nicola Fanizzi},
  editor       = {Francesca A. Lisi},
  title        = {Learning Terminological Bayesian Classifiers - {A} Comparison of Alternative
                  Approaches to Dealing with Unknown Concept-Memberships},
  booktitle    = {Proceedings of the 9th Italian Convention on Computational Logic,
                  Rome, Italy, June 6-7, 2012},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {857},
  pages        = {191--205},
  publisher    = {CEUR-WS.org},
  year         = {2012},
  url          = {https://ceur-ws.org/Vol-857/paper\_f14.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cilc/MinervinidF12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cilc/PaluDFP12,
  author       = {Alessandro Dal Pal{\`{u}} and
                  Agostino Dovier and
                  Andrea Formisano and
                  Enrico Pontelli},
  editor       = {Francesca A. Lisi},
  title        = {Exploiting Unexploited Computing Resources for Computational Logics},
  booktitle    = {Proceedings of the 9th Italian Convention on Computational Logic,
                  Rome, Italy, June 6-7, 2012},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {857},
  pages        = {74--88},
  publisher    = {CEUR-WS.org},
  year         = {2012},
  url          = {https://ceur-ws.org/Vol-857/paper\_f06.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cilc/PaluDFP12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cilc/Riguzzi12,
  author       = {Fabrizio Riguzzi},
  editor       = {Francesca A. Lisi},
  title        = {Optimizing Inference for Probabilistic Logic Programs Exploiting Independence
                  and Exclusiveness},
  booktitle    = {Proceedings of the 9th Italian Convention on Computational Logic,
                  Rome, Italy, June 6-7, 2012},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {857},
  pages        = {206--220},
  publisher    = {CEUR-WS.org},
  year         = {2012},
  url          = {https://ceur-ws.org/Vol-857/paper\_f15.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cilc/Riguzzi12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cilc/RiguzziBL12,
  author       = {Fabrizio Riguzzi and
                  Elena Bellodi and
                  Evelina Lamma},
  editor       = {Francesca A. Lisi},
  title        = {Probabilistic Ontologies in Datalog+/-},
  booktitle    = {Proceedings of the 9th Italian Convention on Computational Logic,
                  Rome, Italy, June 6-7, 2012},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {857},
  pages        = {221--235},
  publisher    = {CEUR-WS.org},
  year         = {2012},
  url          = {https://ceur-ws.org/Vol-857/paper\_f16.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cilc/RiguzziBL12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cilc/Straccia12,
  author       = {Umberto Straccia},
  editor       = {Francesca A. Lisi},
  title        = {Foundations of Fuzzy Logic and Semantic Web Languages},
  booktitle    = {Proceedings of the 9th Italian Convention on Computational Logic,
                  Rome, Italy, June 6-7, 2012},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {857},
  pages        = {1},
  publisher    = {CEUR-WS.org},
  year         = {2012},
  url          = {https://ceur-ws.org/Vol-857/paper\_i01.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cilc/Straccia12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/cilc/2012,
  editor       = {Francesca A. Lisi},
  title        = {Proceedings of the 9th Italian Convention on Computational Logic,
                  Rome, Italy, June 6-7, 2012},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {857},
  publisher    = {CEUR-WS.org},
  year         = {2012},
  url          = {https://ceur-ws.org/Vol-857},
  urn          = {urn:nbn:de:0074-857-8},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cilc/2012.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.