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/iclp/iclp2012.bht:"
download as .bib file
@inproceedings{DBLP:conf/iclp/0002KZPM12,
author = {Nuno Lopes and
Sabrina Kirrane and
Antoine Zimmermann and
Axel Polleres and
Alessandra Mileo},
editor = {Agostino Dovier and
V{\'{\i}}tor Santos Costa},
title = {A Logic Programming approach for Access Control over {RDF}},
booktitle = {Technical Communications of the 28th International Conference on Logic
Programming, {ICLP} 2012, September 4-8, 2012, Budapest, Hungary},
series = {LIPIcs},
volume = {17},
pages = {381--392},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2012},
url = {https://doi.org/10.4230/LIPIcs.ICLP.2012.381},
doi = {10.4230/LIPICS.ICLP.2012.381},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/0002KZPM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/AbdennadherS12,
author = {Slim Abdennadher and
Nada Sharaf},
editor = {Agostino Dovier and
V{\'{\i}}tor Santos Costa},
title = {Visualization of {CHR} through Source-to-Source Transformation},
booktitle = {Technical Communications of the 28th International Conference on Logic
Programming, {ICLP} 2012, September 4-8, 2012, Budapest, Hungary},
series = {LIPIcs},
volume = {17},
pages = {109--118},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2012},
url = {https://doi.org/10.4230/LIPIcs.ICLP.2012.109},
doi = {10.4230/LIPICS.ICLP.2012.109},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/AbdennadherS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/AguadoCDPV12,
author = {Felicidad Aguado and
Pedro Cabalar and
Mart{\'{\i}}n Di{\'{e}}guez and
Gilberto P{\'{e}}rez and
Concepci{\'{o}}n Vidal},
editor = {Agostino Dovier and
V{\'{\i}}tor Santos Costa},
title = {Paving the Way for Temporal Grounding},
booktitle = {Technical Communications of the 28th International Conference on Logic
Programming, {ICLP} 2012, September 4-8, 2012, Budapest, Hungary},
series = {LIPIcs},
volume = {17},
pages = {290--300},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2012},
url = {https://doi.org/10.4230/LIPIcs.ICLP.2012.290},
doi = {10.4230/LIPICS.ICLP.2012.290},
timestamp = {Thu, 16 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/AguadoCDPV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/AlbertAG12,
author = {Elvira Albert and
Puri Arenas and
Miguel G{\'{o}}mez{-}Zamalloa},
editor = {Agostino Dovier and
V{\'{\i}}tor Santos Costa},
title = {Towards Testing Concurrent Objects in {CLP}},
booktitle = {Technical Communications of the 28th International Conference on Logic
Programming, {ICLP} 2012, September 4-8, 2012, Budapest, Hungary},
series = {LIPIcs},
volume = {17},
pages = {98--108},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2012},
url = {https://doi.org/10.4230/LIPIcs.ICLP.2012.98},
doi = {10.4230/LIPICS.ICLP.2012.98},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/AlbertAG12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/AndresKMS12,
author = {Benjamin Andres and
Benjamin Kaufmann and
Oliver Matheis and
Torsten Schaub},
editor = {Agostino Dovier and
V{\'{\i}}tor Santos Costa},
title = {Unsatisfiability-based optimization in clasp},
booktitle = {Technical Communications of the 28th International Conference on Logic
Programming, {ICLP} 2012, September 4-8, 2012, Budapest, Hungary},
series = {LIPIcs},
volume = {17},
pages = {211--221},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2012},
url = {https://doi.org/10.4230/LIPIcs.ICLP.2012.211},
doi = {10.4230/LIPICS.ICLP.2012.211},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/AndresKMS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Angelis12,
author = {Emanuele {De Angelis}},
editor = {Agostino Dovier and
V{\'{\i}}tor Santos Costa},
title = {Software Model Checking by Program Specialization},
booktitle = {Technical Communications of the 28th International Conference on Logic
Programming, {ICLP} 2012, September 4-8, 2012, Budapest, Hungary},
series = {LIPIcs},
volume = {17},
pages = {439--444},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2012},
url = {https://doi.org/10.4230/LIPIcs.ICLP.2012.439},
doi = {10.4230/LIPICS.ICLP.2012.439},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/Angelis12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/AriasL12,
author = {Emilio Jes{\'{u}}s Gallego Arias and
James Lipton},
editor = {Agostino Dovier and
V{\'{\i}}tor Santos Costa},
title = {Logic Programming in Tabular Allegories},
booktitle = {Technical Communications of the 28th International Conference on Logic
Programming, {ICLP} 2012, September 4-8, 2012, Budapest, Hungary},
series = {LIPIcs},
volume = {17},
pages = {334--347},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2012},
url = {https://doi.org/10.4230/LIPIcs.ICLP.2012.334},
doi = {10.4230/LIPICS.ICLP.2012.334},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/AriasL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/BacciCFV12,
author = {Giovanni Bacci and
Marco Comini and
Marco A. Feli{\'{u}} and
Alicia Villanueva},
editor = {Agostino Dovier and
V{\'{\i}}tor Santos Costa},
title = {The additional difficulties for the automatic synthesis of specifications
posed by logic features in functional-logic languages},
booktitle = {Technical Communications of the 28th International Conference on Logic
Programming, {ICLP} 2012, September 4-8, 2012, Budapest, Hungary},
series = {LIPIcs},
volume = {17},
pages = {144--153},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2012},
url = {https://doi.org/10.4230/LIPIcs.ICLP.2012.144},
doi = {10.4230/LIPICS.ICLP.2012.144},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/BacciCFV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Balduccini12,
author = {Marcello Balduccini},
editor = {Agostino Dovier and
V{\'{\i}}tor Santos Costa},
title = {An Answer Set Solver for non-Herbrand Programs: Progress Report},
booktitle = {Technical Communications of the 28th International Conference on Logic
Programming, {ICLP} 2012, September 4-8, 2012, Budapest, Hungary},
series = {LIPIcs},
volume = {17},
pages = {49--60},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2012},
url = {https://doi.org/10.4230/LIPIcs.ICLP.2012.49},
doi = {10.4230/LIPICS.ICLP.2012.49},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/Balduccini12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/BanbaraTI12,
author = {Mutsunori Banbara and
Naoyuki Tamura and
Katsumi Inoue},
editor = {Agostino Dovier and
V{\'{\i}}tor Santos Costa},
title = {Generating Event-Sequence Test Cases by Answer Set Programming with
the Incidence Matrix},
booktitle = {Technical Communications of the 28th International Conference on Logic
Programming, {ICLP} 2012, September 4-8, 2012, Budapest, Hungary},
series = {LIPIcs},
volume = {17},
pages = {86--97},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2012},
url = {https://doi.org/10.4230/LIPIcs.ICLP.2012.86},
doi = {10.4230/LIPICS.ICLP.2012.86},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/BanbaraTI12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/BaralVL12,
author = {Chitta Baral and
Nguyen Ha Vo and
Shanshan Liang},
editor = {Agostino Dovier and
V{\'{\i}}tor Santos Costa},
title = {Answering Why and How questions with respect to a frame-based knowledge
base: a preliminary report},
booktitle = {Technical Communications of the 28th International Conference on Logic
Programming, {ICLP} 2012, September 4-8, 2012, Budapest, Hungary},
series = {LIPIcs},
volume = {17},
pages = {26--36},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2012},
url = {https://doi.org/10.4230/LIPIcs.ICLP.2012.26},
doi = {10.4230/LIPICS.ICLP.2012.26},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/BaralVL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/BlockeelBBCP12,
author = {Hendrik Blockeel and
Bart Bogaerts and
Maurice Bruynooghe and
Broes De Cat and
Stef De Pooter and
Marc Denecker and
Anthony Labarre and
Jan Ramon and
Sicco Verwer},
editor = {Agostino Dovier and
V{\'{\i}}tor Santos Costa},
title = {Modeling Machine Learning and Data Mining Problems with FO({\(\cdot\)})},
booktitle = {Technical Communications of the 28th International Conference on Logic
Programming, {ICLP} 2012, September 4-8, 2012, Budapest, Hungary},
series = {LIPIcs},
volume = {17},
pages = {14--25},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2012},
url = {https://doi.org/10.4230/LIPIcs.ICLP.2012.14},
doi = {10.4230/LIPICS.ICLP.2012.14},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/BlockeelBBCP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/BryS12,
author = {Fran{\c{c}}ois Bry and
Sebastian Schaffert},
editor = {Agostino Dovier and
V{\'{\i}}tor Santos Costa},
title = {Simulation Unification: Beyond Querying Semistructured Data (Invited
Talk)},
booktitle = {Technical Communications of the 28th International Conference on Logic
Programming, {ICLP} 2012, September 4-8, 2012, Budapest, Hungary},
series = {LIPIcs},
volume = {17},
pages = {1--13},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2012},
url = {https://doi.org/10.4230/LIPIcs.ICLP.2012.1},
doi = {10.4230/LIPICS.ICLP.2012.1},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/BryS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/CatDS12,
author = {Broes De Cat and
Marc Denecker and
Peter J. Stuckey},
editor = {Agostino Dovier and
V{\'{\i}}tor Santos Costa},
title = {Lazy Model Expansion by Incremental Grounding},
booktitle = {Technical Communications of the 28th International Conference on Logic
Programming, {ICLP} 2012, September 4-8, 2012, Budapest, Hungary},
series = {LIPIcs},
volume = {17},
pages = {201--211},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2012},
url = {https://doi.org/10.4230/LIPIcs.ICLP.2012.201},
doi = {10.4230/LIPICS.ICLP.2012.201},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/CatDS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/CattafiHGNM12,
author = {Massimiliano Cattafi and
Rosa Herrero and
Marco Gavanelli and
Maddalena Nonato and
Federico Malucelli},
editor = {Agostino Dovier and
V{\'{\i}}tor Santos Costa},
title = {Improving Quality and Efficiency in Home Health Care: an application
of Constraint Logic Programming for the Ferrara {NHS} unit},
booktitle = {Technical Communications of the 28th International Conference on Logic
Programming, {ICLP} 2012, September 4-8, 2012, Budapest, Hungary},
series = {LIPIcs},
volume = {17},
pages = {415--424},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2012},
url = {https://doi.org/10.4230/LIPIcs.ICLP.2012.415},
doi = {10.4230/LIPICS.ICLP.2012.415},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/CattafiHGNM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/ChenJY12,
author = {Xiaoping Chen and
Guoqiang Jin and
Fangkai Yang},
editor = {Agostino Dovier and
V{\'{\i}}tor Santos Costa},
title = {Extending {C+} with Composite Actions for Robotic Task Planning},
booktitle = {Technical Communications of the 28th International Conference on Logic
Programming, {ICLP} 2012, September 4-8, 2012, Budapest, Hungary},
series = {LIPIcs},
volume = {17},
pages = {404--414},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2012},
url = {https://doi.org/10.4230/LIPIcs.ICLP.2012.404},
doi = {10.4230/LIPICS.ICLP.2012.404},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/ChenJY12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/DahlCMM12,
author = {Ver{\'{o}}nica Dahl and
Bradley Coleman and
J. Emilio Miralles and
Erez Maharshak},
editor = {Agostino Dovier and
V{\'{\i}}tor Santos Costa},
title = {{CHR} for Social Responsibility},
booktitle = {Technical Communications of the 28th International Conference on Logic
Programming, {ICLP} 2012, September 4-8, 2012, Budapest, Hungary},
series = {LIPIcs},
volume = {17},
pages = {370--380},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2012},
url = {https://doi.org/10.4230/LIPIcs.ICLP.2012.370},
doi = {10.4230/LIPICS.ICLP.2012.370},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/DahlCMM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/DeneckerLTV12,
author = {Marc Denecker and
Yuliya Lierler and
Miroslaw Truszczynski and
Joost Vennekens},
editor = {Agostino Dovier and
V{\'{\i}}tor Santos Costa},
title = {A Tarskian Informal Semantics for Answer Set Programming},
booktitle = {Technical Communications of the 28th International Conference on Logic
Programming, {ICLP} 2012, September 4-8, 2012, Budapest, Hungary},
series = {LIPIcs},
volume = {17},
pages = {277--289},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2012},
url = {https://doi.org/10.4230/LIPIcs.ICLP.2012.277},
doi = {10.4230/LIPICS.ICLP.2012.277},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/DeneckerLTV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Dieguez12,
author = {Mart{\'{\i}}n Di{\'{e}}guez},
editor = {Agostino Dovier and
V{\'{\i}}tor Santos Costa},
title = {Temporal Answer Set Programming},
booktitle = {Technical Communications of the 28th International Conference on Logic
Programming, {ICLP} 2012, September 4-8, 2012, Budapest, Hungary},
series = {LIPIcs},
volume = {17},
pages = {445--450},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2012},
url = {https://doi.org/10.4230/LIPIcs.ICLP.2012.445},
doi = {10.4230/LIPICS.ICLP.2012.445},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/Dieguez12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/DovierC12,
editor = {Agostino Dovier and
V{\'{\i}}tor Santos Costa},
title = {Frontmatter, Table of Contents, List of Authors},
booktitle = {Technical Communications of the 28th International Conference on Logic
Programming, {ICLP} 2012, September 4-8, 2012, Budapest, Hungary},
series = {LIPIcs},
volume = {17},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2012},
url = {https://doi.org/10.4230/LIPIcs.ICLP.2012.i},
doi = {10.4230/LIPICS.ICLP.2012.I},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/DovierC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/DovierC12a,
author = {Agostino Dovier and
V{\'{\i}}tor Santos Costa},
editor = {Agostino Dovier and
V{\'{\i}}tor Santos Costa},
title = {Introduction to the Technical Communications of the 28th International
Conference on Logic Programming Special Issue},
booktitle = {Technical Communications of the 28th International Conference on Logic
Programming, {ICLP} 2012, September 4-8, 2012, Budapest, Hungary},
series = {LIPIcs},
volume = {17},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2012},
url = {https://doi.org/10.4230/LIPIcs.ICLP.2012.xvii},
doi = {10.4230/LIPICS.ICLP.2012.XVII},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/DovierC12a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Drabent12,
author = {Wlodzimierz Drabent},
editor = {Agostino Dovier and
V{\'{\i}}tor Santos Costa},
title = {Logic + control: An example},
booktitle = {Technical Communications of the 28th International Conference on Logic
Programming, {ICLP} 2012, September 4-8, 2012, Budapest, Hungary},
series = {LIPIcs},
volume = {17},
pages = {301--311},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2012},
url = {https://doi.org/10.4230/LIPIcs.ICLP.2012.301},
doi = {10.4230/LIPICS.ICLP.2012.301},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/Drabent12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/DrescherW12,
author = {Christian Drescher and
Toby Walsh},
editor = {Agostino Dovier and
V{\'{\i}}tor Santos Costa},
title = {Answer Set Solving with Lazy Nogood Generation},
booktitle = {Technical Communications of the 28th International Conference on Logic
Programming, {ICLP} 2012, September 4-8, 2012, Budapest, Hungary},
series = {LIPIcs},
volume = {17},
pages = {188--200},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2012},
url = {https://doi.org/10.4230/LIPIcs.ICLP.2012.188},
doi = {10.4230/LIPICS.ICLP.2012.188},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/DrescherW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/FilardoE12,
author = {Nathaniel Wesley Filardo and
Jason Eisner},
editor = {Agostino Dovier and
V{\'{\i}}tor Santos Costa},
title = {A Flexible Solver for Finite Arithmetic Circuits},
booktitle = {Technical Communications of the 28th International Conference on Logic
Programming, {ICLP} 2012, September 4-8, 2012, Budapest, Hungary},
series = {LIPIcs},
volume = {17},
pages = {425--438},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2012},
url = {https://doi.org/10.4230/LIPIcs.ICLP.2012.425},
doi = {10.4230/LIPICS.ICLP.2012.425},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/FilardoE12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/GrecoST12,
author = {Sergio Greco and
Francesca Spezzano and
Irina Trubitsyna},
editor = {Agostino Dovier and
V{\'{\i}}tor Santos Costa},
title = {On the Termination of Logic Programs with Function Symbols},
booktitle = {Technical Communications of the 28th International Conference on Logic
Programming, {ICLP} 2012, September 4-8, 2012, Budapest, Hungary},
series = {LIPIcs},
volume = {17},
pages = {323--333},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2012},
url = {https://doi.org/10.4230/LIPIcs.ICLP.2012.323},
doi = {10.4230/LIPICS.ICLP.2012.323},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/GrecoST12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Hadjichristodoulou12,
author = {Spyros Hadjichristodoulou},
editor = {Agostino Dovier and
V{\'{\i}}tor Santos Costa},
title = {A Gradual Polymorphic Type System with Subtyping for Prolog},
booktitle = {Technical Communications of the 28th International Conference on Logic
Programming, {ICLP} 2012, September 4-8, 2012, Budapest, Hungary},
series = {LIPIcs},
volume = {17},
pages = {451--457},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2012},
url = {https://doi.org/10.4230/LIPIcs.ICLP.2012.451},
doi = {10.4230/LIPICS.ICLP.2012.451},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/Hadjichristodoulou12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Hanus12,
author = {Michael Hanus},
editor = {Agostino Dovier and
V{\'{\i}}tor Santos Costa},
title = {Improving Lazy Non-Deterministic Computations by Demand Analysis},
booktitle = {Technical Communications of the 28th International Conference on Logic
Programming, {ICLP} 2012, September 4-8, 2012, Budapest, Hungary},
series = {LIPIcs},
volume = {17},
pages = {130--143},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2012},
url = {https://doi.org/10.4230/LIPIcs.ICLP.2012.130},
doi = {10.4230/LIPICS.ICLP.2012.130},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/Hanus12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/HoosKSS12,
author = {Holger H. Hoos and
Roland Kaminski and
Torsten Schaub and
Marius Schneider},
editor = {Agostino Dovier and
V{\'{\i}}tor Santos Costa},
title = {aspeed: ASP-based Solver Scheduling},
booktitle = {Technical Communications of the 28th International Conference on Logic
Programming, {ICLP} 2012, September 4-8, 2012, Budapest, Hungary},
series = {LIPIcs},
volume = {17},
pages = {176--187},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2012},
url = {https://doi.org/10.4230/LIPIcs.ICLP.2012.176},
doi = {10.4230/LIPICS.ICLP.2012.176},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/HoosKSS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/LeNPS12,
author = {Tiep Le and
Hieu Nguyen and
Enrico Pontelli and
Tran Cao Son},
editor = {Agostino Dovier and
V{\'{\i}}tor Santos Costa},
title = {{ASP} at Work: An {ASP} Implementation of PhyloWS},
booktitle = {Technical Communications of the 28th International Conference on Logic
Programming, {ICLP} 2012, September 4-8, 2012, Budapest, Hungary},
series = {LIPIcs},
volume = {17},
pages = {359--369},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2012},
url = {https://doi.org/10.4230/LIPIcs.ICLP.2012.359},
doi = {10.4230/LIPICS.ICLP.2012.359},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/LeNPS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/LeeM12,
author = {Joohyung Lee and
Yunsong Meng},
editor = {Agostino Dovier and
V{\'{\i}}tor Santos Costa},
title = {Stable Models of Formulas with Generalized Quantifiers (Preliminary
Report)},
booktitle = {Technical Communications of the 28th International Conference on Logic
Programming, {ICLP} 2012, September 4-8, 2012, Budapest, Hungary},
series = {LIPIcs},
volume = {17},
pages = {61--71},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2012},
url = {https://doi.org/10.4230/LIPIcs.ICLP.2012.61},
doi = {10.4230/LIPICS.ICLP.2012.61},
timestamp = {Fri, 15 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/LeeM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Lifschitz12,
author = {Vladimir Lifschitz},
editor = {Agostino Dovier and
V{\'{\i}}tor Santos Costa},
title = {Two-Valued Logic Programs},
booktitle = {Technical Communications of the 28th International Conference on Logic
Programming, {ICLP} 2012, September 4-8, 2012, Budapest, Hungary},
series = {LIPIcs},
volume = {17},
pages = {259--266},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2012},
url = {https://doi.org/10.4230/LIPIcs.ICLP.2012.259},
doi = {10.4230/LIPICS.ICLP.2012.259},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/Lifschitz12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/MarateaPR12,
author = {Marco Maratea and
Luca Pulina and
Francesco Ricca},
editor = {Agostino Dovier and
V{\'{\i}}tor Santos Costa},
title = {Applying Machine Learning Techniques to {ASP} Solving},
booktitle = {Technical Communications of the 28th International Conference on Logic
Programming, {ICLP} 2012, September 4-8, 2012, Budapest, Hungary},
series = {LIPIcs},
volume = {17},
pages = {37--48},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2012},
url = {https://doi.org/10.4230/LIPIcs.ICLP.2012.37},
doi = {10.4230/LIPICS.ICLP.2012.37},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/MarateaPR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/MorakW12,
author = {Michael Morak and
Stefan Woltran},
editor = {Agostino Dovier and
V{\'{\i}}tor Santos Costa},
title = {Preprocessing of Complex Non-Ground Rules in Answer Set Programming},
booktitle = {Technical Communications of the 28th International Conference on Logic
Programming, {ICLP} 2012, September 4-8, 2012, Budapest, Hungary},
series = {LIPIcs},
volume = {17},
pages = {247--258},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2012},
url = {https://doi.org/10.4230/LIPIcs.ICLP.2012.247},
doi = {10.4230/LIPICS.ICLP.2012.247},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/MorakW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/NievesL12,
author = {Juan Carlos Nieves and
Helena Lindgren},
editor = {Agostino Dovier and
V{\'{\i}}tor Santos Costa},
title = {Possibilistic Nested Logic Programs},
booktitle = {Technical Communications of the 28th International Conference on Logic
Programming, {ICLP} 2012, September 4-8, 2012, Budapest, Hungary},
series = {LIPIcs},
volume = {17},
pages = {267--276},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2012},
url = {https://doi.org/10.4230/LIPIcs.ICLP.2012.267},
doi = {10.4230/LIPICS.ICLP.2012.267},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/NievesL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/NovelliVPD12,
author = {Viviana Novelli and
Marina De Vos and
Julian A. Padget and
Dina D'Ayala},
editor = {Agostino Dovier and
V{\'{\i}}tor Santos Costa},
title = {{LOG-IDEAH:} {ASP} for Architectonic Asset Preservation},
booktitle = {Technical Communications of the 28th International Conference on Logic
Programming, {ICLP} 2012, September 4-8, 2012, Budapest, Hungary},
series = {LIPIcs},
volume = {17},
pages = {393--403},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2012},
url = {https://doi.org/10.4230/LIPIcs.ICLP.2012.393},
doi = {10.4230/LIPICS.ICLP.2012.393},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/NovelliVPD12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/OetschPT12,
author = {Johannes Oetsch and
J{\"{o}}rg P{\"{u}}hrer and
Hans Tompits},
editor = {Agostino Dovier and
V{\'{\i}}tor Santos Costa},
title = {An FLP-Style Answer-Set Semantics for Abstract-Constraint Programs
with Disjunctions},
booktitle = {Technical Communications of the 28th International Conference on Logic
Programming, {ICLP} 2012, September 4-8, 2012, Budapest, Hungary},
series = {LIPIcs},
volume = {17},
pages = {222--234},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2012},
url = {https://doi.org/10.4230/LIPIcs.ICLP.2012.222},
doi = {10.4230/LIPICS.ICLP.2012.222},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/OetschPT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Ostrowski12,
author = {Max Ostrowski},
editor = {Agostino Dovier and
V{\'{\i}}tor Santos Costa},
title = {{ASP} modulo {CSP:} The clingcon system},
booktitle = {Technical Communications of the 28th International Conference on Logic
Programming, {ICLP} 2012, September 4-8, 2012, Budapest, Hungary},
series = {LIPIcs},
volume = {17},
pages = {458--463},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2012},
url = {https://doi.org/10.4230/LIPIcs.ICLP.2012.458},
doi = {10.4230/LIPICS.ICLP.2012.458},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/Ostrowski12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Peano12,
author = {Andrea Peano},
editor = {Agostino Dovier and
V{\'{\i}}tor Santos Costa},
title = {An {ASP} Approach for the Optimal Placement of the Isolation Valves
in a Water Distribution System},
booktitle = {Technical Communications of the 28th International Conference on Logic
Programming, {ICLP} 2012, September 4-8, 2012, Budapest, Hungary},
series = {LIPIcs},
volume = {17},
pages = {464--468},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2012},
url = {https://doi.org/10.4230/LIPIcs.ICLP.2012.464},
doi = {10.4230/LIPICS.ICLP.2012.464},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/Peano12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Redl12,
author = {Christoph Redl},
editor = {Agostino Dovier and
V{\'{\i}}tor Santos Costa},
title = {Answer Set Programming with External Sources},
booktitle = {Technical Communications of the 28th International Conference on Logic
Programming, {ICLP} 2012, September 4-8, 2012, Budapest, Hungary},
series = {LIPIcs},
volume = {17},
pages = {469--475},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2012},
url = {https://doi.org/10.4230/LIPIcs.ICLP.2012.469},
doi = {10.4230/LIPICS.ICLP.2012.469},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/Redl12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/SatoM12,
author = {Taisuke Sato and
Philipp J. Meyer},
editor = {Agostino Dovier and
V{\'{\i}}tor Santos Costa},
title = {Tabling for infinite probability computation},
booktitle = {Technical Communications of the 28th International Conference on Logic
Programming, {ICLP} 2012, September 4-8, 2012, Budapest, Hungary},
series = {LIPIcs},
volume = {17},
pages = {348--358},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2012},
url = {https://doi.org/10.4230/LIPIcs.ICLP.2012.348},
doi = {10.4230/LIPICS.ICLP.2012.348},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/SatoM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/SchandaB12,
author = {Florian Schanda and
Martin Brain},
editor = {Agostino Dovier and
V{\'{\i}}tor Santos Costa},
title = {Using Answer Set Programming in the Development of Verified Software},
booktitle = {Technical Communications of the 28th International Conference on Logic
Programming, {ICLP} 2012, September 4-8, 2012, Budapest, Hungary},
series = {LIPIcs},
volume = {17},
pages = {72--85},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2012},
url = {https://doi.org/10.4230/LIPIcs.ICLP.2012.72},
doi = {10.4230/LIPICS.ICLP.2012.72},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/SchandaB12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/SilverthornLS12,
author = {Bryan Silverthorn and
Yuliya Lierler and
Marius Schneider},
editor = {Agostino Dovier and
V{\'{\i}}tor Santos Costa},
title = {Surviving Solver Sensitivity: An {ASP} Practitioner's Guide},
booktitle = {Technical Communications of the 28th International Conference on Logic
Programming, {ICLP} 2012, September 4-8, 2012, Budapest, Hungary},
series = {LIPIcs},
volume = {17},
pages = {164--175},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2012},
url = {https://doi.org/10.4230/LIPIcs.ICLP.2012.164},
doi = {10.4230/LIPICS.ICLP.2012.164},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/SilverthornLS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Tarau12,
author = {Paul Tarau},
editor = {Agostino Dovier and
V{\'{\i}}tor Santos Costa},
title = {Deriving a Fast Inverse of the Generalized Cantor N-tupling Bijection},
booktitle = {Technical Communications of the 28th International Conference on Logic
Programming, {ICLP} 2012, September 4-8, 2012, Budapest, Hungary},
series = {LIPIcs},
volume = {17},
pages = {312--322},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2012},
url = {https://doi.org/10.4230/LIPIcs.ICLP.2012.312},
doi = {10.4230/LIPICS.ICLP.2012.312},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/Tarau12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/VirsedaMT12,
author = {Rafael del Vado V{\'{\i}}rseda and
Fernando P{\'{e}}rez Morente and
Marcos Miguel Garc{\'{\i}}a Toledo},
editor = {Agostino Dovier and
V{\'{\i}}tor Santos Costa},
title = {A Concurrent Operational Semantics for Constraint Functional Logic
Programming},
booktitle = {Technical Communications of the 28th International Conference on Logic
Programming, {ICLP} 2012, September 4-8, 2012, Budapest, Hungary},
series = {LIPIcs},
volume = {17},
pages = {154--163},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2012},
url = {https://doi.org/10.4230/LIPIcs.ICLP.2012.154},
doi = {10.4230/LIPICS.ICLP.2012.154},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/VirsedaMT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Wright12,
author = {Ben Wright},
editor = {Agostino Dovier and
V{\'{\i}}tor Santos Costa},
title = {Together, Is Anything Possible? {A} Look at Collective Commitments
for Agents},
booktitle = {Technical Communications of the 28th International Conference on Logic
Programming, {ICLP} 2012, September 4-8, 2012, Budapest, Hungary},
series = {LIPIcs},
volume = {17},
pages = {476--480},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2012},
url = {https://doi.org/10.4230/LIPIcs.ICLP.2012.476},
doi = {10.4230/LIPICS.ICLP.2012.476},
timestamp = {Mon, 11 Mar 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/Wright12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/YouMB12,
author = {Jia{-}Huai You and
John Morris and
Yi Bi},
editor = {Agostino Dovier and
V{\'{\i}}tor Santos Costa},
title = {Reconciling Well-Founded Semantics of DL-Programs and Aggregate Programs},
booktitle = {Technical Communications of the 28th International Conference on Logic
Programming, {ICLP} 2012, September 4-8, 2012, Budapest, Hungary},
series = {LIPIcs},
volume = {17},
pages = {235--246},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2012},
url = {https://doi.org/10.4230/LIPIcs.ICLP.2012.235},
doi = {10.4230/LIPICS.ICLP.2012.235},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/YouMB12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/ZomboriCS12,
author = {Zsolt Zombori and
J{\'{a}}nos Csorba and
P{\'{e}}ter Szeredi},
editor = {Agostino Dovier and
V{\'{\i}}tor Santos Costa},
title = {Static Type Inference for the {Q} language using Constraint Logic
Programming},
booktitle = {Technical Communications of the 28th International Conference on Logic
Programming, {ICLP} 2012, September 4-8, 2012, Budapest, Hungary},
series = {LIPIcs},
volume = {17},
pages = {119--129},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2012},
url = {https://doi.org/10.4230/LIPIcs.ICLP.2012.119},
doi = {10.4230/LIPICS.ICLP.2012.119},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/ZomboriCS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iclp/2012,
editor = {Agostino Dovier and
V{\'{\i}}tor Santos Costa},
title = {Technical Communications of the 28th International Conference on Logic
Programming, {ICLP} 2012, September 4-8, 2012, Budapest, Hungary},
series = {LIPIcs},
volume = {17},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2012},
url = {http://drops.dagstuhl.de/opus/portals/extern/index.php?semnr=12008},
isbn = {978-3-939897-43-9},
timestamp = {Tue, 11 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/2012.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-06-11 16:16 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:
