Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/cilc/AlbertiGL10,
  author       = {Marco Alberti and
                  Marco Gavanelli and
                  Evelina Lamma},
  editor       = {Wolfgang Faber and
                  Nicola Leone},
  title        = {Runtime Addition of Integrity Constraints in {SCIFF}},
  booktitle    = {Proceedings of the 25th Italian Conference on Computational Logic,
                  Rende, Italy, July 7-9, 2010},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {598},
  publisher    = {CEUR-WS.org},
  year         = {2010},
  url          = {https://ceur-ws.org/Vol-598/paper02.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:46 +0100},
  biburl       = {https://dblp.org/rec/conf/cilc/AlbertiGL10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cilc/BaldoniBM10,
  author       = {Matteo Baldoni and
                  Cristina Baroglio and
                  Elisa Marengo},
  editor       = {Wolfgang Faber and
                  Nicola Leone},
  title        = {Constraints among Commitments: Regulative Specification of Interaction
                  Protocols},
  booktitle    = {Proceedings of the 25th Italian Conference on Computational Logic,
                  Rende, Italy, July 7-9, 2010},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {598},
  publisher    = {CEUR-WS.org},
  year         = {2010},
  url          = {https://ceur-ws.org/Vol-598/paper04.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cilc/BaldoniBM10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cilc/BellodiRL10,
  author       = {Elena Bellodi and
                  Fabrizio Riguzzi and
                  Evelina Lamma},
  editor       = {Wolfgang Faber and
                  Nicola Leone},
  title        = {Probabilistic Logic-Based Process Mining},
  booktitle    = {Proceedings of the 25th Italian Conference on Computational Logic,
                  Rende, Italy, July 7-9, 2010},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {598},
  publisher    = {CEUR-WS.org},
  year         = {2010},
  url          = {https://ceur-ws.org/Vol-598/paper17.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cilc/BellodiRL10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cilc/BistarelliPS10,
  author       = {Stefano Bistarelli and
                  Daniele Pirolandi and
                  Francesco Santini},
  editor       = {Wolfgang Faber and
                  Nicola Leone},
  title        = {Solving Weighted Argumentation Frameworks with Soft Constraints},
  booktitle    = {Proceedings of the 25th Italian Conference on Computational Logic,
                  Rende, Italy, July 7-9, 2010},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {598},
  publisher    = {CEUR-WS.org},
  year         = {2010},
  url          = {https://ceur-ws.org/Vol-598/paper18.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cilc/BistarelliPS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cilc/BozzanoLMM10,
  author       = {Michele Bozzano and
                  Angela Locoro and
                  Maurizio Martelli and
                  Viviana Mascardi},
  editor       = {Wolfgang Faber and
                  Nicola Leone},
  title        = {Trattamento del Linguaggio Naturale Tramite Prolog: un Approccio Promettente
                  per Generare Istituzioni Virtuali da Testi Scritti},
  booktitle    = {Proceedings of the 25th Italian Conference on Computational Logic,
                  Rende, Italy, July 7-9, 2010},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {598},
  publisher    = {CEUR-WS.org},
  year         = {2010},
  url          = {https://ceur-ws.org/Vol-598/paper07.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cilc/BozzanoLMM10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cilc/CantoneAO10,
  author       = {Domenico Cantone and
                  Marianna Nicolosi Asmundo and
                  Ewa Orlowska},
  editor       = {Wolfgang Faber and
                  Nicola Leone},
  title        = {Dual Tableau-based Decision Procedures for Some Relational Logics},
  booktitle    = {Proceedings of the 25th Italian Conference on Computational Logic,
                  Rende, Italy, July 7-9, 2010},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {598},
  publisher    = {CEUR-WS.org},
  year         = {2010},
  url          = {https://ceur-ws.org/Vol-598/paper10.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cilc/CantoneAO10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cilc/CantoneLA10,
  author       = {Domenico Cantone and
                  Cristiano Longo and
                  Marianna Nicolosi Asmundo},
  editor       = {Wolfgang Faber and
                  Nicola Leone},
  title        = {A Decision Procedure for a Two-sorted Extension of Multi-Level Syllogistic
                  with the Cartesian Product and Some Map Constructs},
  booktitle    = {Proceedings of the 25th Italian Conference on Computational Logic,
                  Rende, Italy, July 7-9, 2010},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {598},
  publisher    = {CEUR-WS.org},
  year         = {2010},
  url          = {https://ceur-ws.org/Vol-598/paper11.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cilc/CantoneLA10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cilc/CostantiniP10,
  author       = {Stefania Costantini and
                  Alessio Paolucci},
  editor       = {Wolfgang Faber and
                  Nicola Leone},
  title        = {Towards Translating Natural Language Sentences into {ASP}},
  booktitle    = {Proceedings of the 25th Italian Conference on Computational Logic,
                  Rende, Italy, July 7-9, 2010},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {598},
  publisher    = {CEUR-WS.org},
  year         = {2010},
  url          = {https://ceur-ws.org/Vol-598/paper13.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cilc/CostantiniP10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cilc/DovierFP10,
  author       = {Agostino Dovier and
                  Andrea Formisano and
                  Enrico Pontelli},
  editor       = {Wolfgang Faber and
                  Nicola Leone},
  title        = {Autonomous Agents Coordination: Action Description Languages Meet
                  {CLP(FD)} and Linda},
  booktitle    = {Proceedings of the 25th Italian Conference on Computational Logic,
                  Rende, Italy, July 7-9, 2010},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {598},
  publisher    = {CEUR-WS.org},
  year         = {2010},
  url          = {https://ceur-ws.org/Vol-598/paper03.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cilc/DovierFP10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cilc/FebbraroRR10,
  author       = {Onofrio Febbraro and
                  Kristian Reale and
                  Francesco Ricca},
  editor       = {Wolfgang Faber and
                  Nicola Leone},
  title        = {A Visual Interface for Drawing {ASP} Programs},
  booktitle    = {Proceedings of the 25th Italian Conference on Computational Logic,
                  Rende, Italy, July 7-9, 2010},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {598},
  publisher    = {CEUR-WS.org},
  year         = {2010},
  url          = {https://ceur-ws.org/Vol-598/paper20.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cilc/FebbraroRR10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cilc/FioravantiPPS10,
  author       = {Fabio Fioravanti and
                  Alberto Pettorossi and
                  Maurizio Proietti and
                  Valerio Senni},
  editor       = {Wolfgang Faber and
                  Nicola Leone},
  title        = {Generalization Strategies for the Verification of Infinite State Systems},
  booktitle    = {Proceedings of the 25th Italian Conference on Computational Logic,
                  Rende, Italy, July 7-9, 2010},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {598},
  publisher    = {CEUR-WS.org},
  year         = {2010},
  url          = {https://ceur-ws.org/Vol-598/paper06.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cilc/FioravantiPPS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cilc/GenoveseGGP10,
  author       = {Valerio Genovese and
                  Laura Giordano and
                  Valentina Gliozzi and
                  Gian Luca Pozzato},
  editor       = {Wolfgang Faber and
                  Nicola Leone},
  title        = {A Constructive Conditional Logic for Access Control},
  booktitle    = {Proceedings of the 25th Italian Conference on Computational Logic,
                  Rende, Italy, July 7-9, 2010},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {598},
  publisher    = {CEUR-WS.org},
  year         = {2010},
  url          = {https://ceur-ws.org/Vol-598/paper09.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cilc/GenoveseGGP10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cilc/GiordanoGOP10,
  author       = {Laura Giordano and
                  Valentina Gliozzi and
                  Nicola Olivetti and
                  Gian Luca Pozzato},
  editor       = {Wolfgang Faber and
                  Nicola Leone},
  title        = {Reasoning About Typicality in Preferential Description Logics: Preferential
                  vs Rational Entailment},
  booktitle    = {Proceedings of the 25th Italian Conference on Computational Logic,
                  Rende, Italy, July 7-9, 2010},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {598},
  publisher    = {CEUR-WS.org},
  year         = {2010},
  url          = {https://ceur-ws.org/Vol-598/paper08.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cilc/GiordanoGOP10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cilc/GiordanoMD10,
  author       = {Laura Giordano and
                  Alberto Martelli and
                  Daniele Theseider Dupr{\'{e}}},
  editor       = {Wolfgang Faber and
                  Nicola Leone},
  title        = {Reasoning about Actions with Temporal Answer Sets},
  booktitle    = {Proceedings of the 25th Italian Conference on Computational Logic,
                  Rende, Italy, July 7-9, 2010},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {598},
  publisher    = {CEUR-WS.org},
  year         = {2010},
  url          = {https://ceur-ws.org/Vol-598/paper15.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cilc/GiordanoMD10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cilc/GrassoILRS10,
  author       = {Giovanni Grasso and
                  Salvatore Iiritano and
                  Vincenzino Lio and
                  Francesco Ricca and
                  Francesco Scalise},
  editor       = {Wolfgang Faber and
                  Nicola Leone},
  title        = {Team-building with Answer Set Programming in the Gioia-Tauro Seaport},
  booktitle    = {Proceedings of the 25th Italian Conference on Computational Logic,
                  Rende, Italy, July 7-9, 2010},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {598},
  publisher    = {CEUR-WS.org},
  year         = {2010},
  url          = {https://ceur-ws.org/Vol-598/paper21.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cilc/GrassoILRS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cilc/MannaRT10,
  author       = {Marco Manna and
                  Francesco Ricca and
                  Giorgio Terracina},
  editor       = {Wolfgang Faber and
                  Nicola Leone},
  title        = {Optimized Encodings for Consistent Query Answering via {ASP} from
                  Different Perspectives},
  booktitle    = {Proceedings of the 25th Italian Conference on Computational Logic,
                  Rende, Italy, July 7-9, 2010},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {598},
  publisher    = {CEUR-WS.org},
  year         = {2010},
  url          = {https://ceur-ws.org/Vol-598/paper12.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cilc/MannaRT10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cilc/MeleSV10,
  author       = {Francesco Mele and
                  Antonio Sorgente and
                  Giuseppe Vettigli},
  editor       = {Wolfgang Faber and
                  Nicola Leone},
  title        = {Evoluzioni di Ontologie in Frame Logic},
  booktitle    = {Proceedings of the 25th Italian Conference on Computational Logic,
                  Rende, Italy, July 7-9, 2010},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {598},
  publisher    = {CEUR-WS.org},
  year         = {2010},
  url          = {https://ceur-ws.org/Vol-598/paper19.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cilc/MeleSV10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cilc/PaluDFP10,
  author       = {Alessandro Dal Pal{\`{u}} and
                  Agostino Dovier and
                  Federico Fogolari and
                  Enrico Pontelli},
  editor       = {Wolfgang Faber and
                  Nicola Leone},
  title        = {CLP-based Protein Fragment Assembly},
  booktitle    = {Proceedings of the 25th Italian Conference on Computational Logic,
                  Rende, Italy, July 7-9, 2010},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {598},
  publisher    = {CEUR-WS.org},
  year         = {2010},
  url          = {https://ceur-ws.org/Vol-598/paper01.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cilc/PaluDFP10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cilc/PerriRS10,
  author       = {Simona Perri and
                  Francesco Ricca and
                  Marco Sirianni},
  editor       = {Wolfgang Faber and
                  Nicola Leone},
  title        = {Parallel Instantiation in {DLV}},
  booktitle    = {Proceedings of the 25th Italian Conference on Computational Logic,
                  Rende, Italy, July 7-9, 2010},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {598},
  publisher    = {CEUR-WS.org},
  year         = {2010},
  url          = {https://ceur-ws.org/Vol-598/paper14.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cilc/PerriRS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cilc/PettorossiPS10,
  author       = {Alberto Pettorossi and
                  Maurizio Proietti and
                  Valerio Senni},
  editor       = {Wolfgang Faber and
                  Nicola Leone},
  title        = {A Transformation Strategy for Verifying Logic Programs on Infinite
                  Lists},
  booktitle    = {Proceedings of the 25th Italian Conference on Computational Logic,
                  Rende, Italy, July 7-9, 2010},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {598},
  publisher    = {CEUR-WS.org},
  year         = {2010},
  url          = {https://ceur-ws.org/Vol-598/paper05.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cilc/PettorossiPS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cilc/RiguzziS10,
  author       = {Fabrizio Riguzzi and
                  Terrance Swift},
  editor       = {Wolfgang Faber and
                  Nicola Leone},
  title        = {An Extended Semantics for Logic Programs with Annotated Disjunctions
                  and its Efficient Implementation},
  booktitle    = {Proceedings of the 25th Italian Conference on Computational Logic,
                  Rende, Italy, July 7-9, 2010},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {598},
  publisher    = {CEUR-WS.org},
  year         = {2010},
  url          = {https://ceur-ws.org/Vol-598/paper16.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cilc/RiguzziS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/cilc/2010,
  editor       = {Wolfgang Faber and
                  Nicola Leone},
  title        = {Proceedings of the 25th Italian Conference on Computational Logic,
                  Rende, Italy, July 7-9, 2010},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {598},
  publisher    = {CEUR-WS.org},
  year         = {2010},
  url          = {https://ceur-ws.org/Vol-598},
  urn          = {urn:nbn:de:0074-598-1},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cilc/2010.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.