Technical Communications of the 28th International Conference on Logic Programming (ICLP'12). Leibniz International Proceedings in Informatics (LIPIcs), Volume 17, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)
@Proceedings{dovier_et_al:LIPIcs.ICLP.2012, title = {{LIPIcs, Volume 17, ICLP'12, Complete Volume}}, booktitle = {Technical Communications of the 28th International Conference on Logic Programming (ICLP'12)}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-43-9}, ISSN = {1868-8969}, year = {2013}, volume = {17}, editor = {Dovier, Agostino and Santos Costa, V{\'\i}tor}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2012}, URN = {urn:nbn:de:0030-drops-41110}, doi = {10.4230/LIPIcs.ICLP.2012}, annote = {Keywords: Logic Programming, Software Engineering, Mathematical Logic, Knowledge Representation Formalisms and Methods, Problem Solving, Control Methods} }
Technical Communications of the 28th International Conference on Logic Programming (ICLP'12). Leibniz International Proceedings in Informatics (LIPIcs), Volume 17, pp. i-xvi, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)
@InProceedings{dovier_et_al:LIPIcs.ICLP.2012.i, author = {Dovier, Agostino and Santos Costa, V{\'\i}tor}, title = {{Frontmatter, Table of Contents, List of Authors}}, booktitle = {Technical Communications of the 28th International Conference on Logic Programming (ICLP'12)}, pages = {i--xvi}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-43-9}, ISSN = {1868-8969}, year = {2012}, volume = {17}, editor = {Dovier, Agostino and Santos Costa, V{\'\i}tor}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2012.i}, URN = {urn:nbn:de:0030-drops-36033}, doi = {10.4230/LIPIcs.ICLP.2012.i}, annote = {Keywords: Frontmatter, Table of Contents, List of Authors} }
Agostino Dovier and Vítor Santos Costa. Introduction to the Technical Communications of the 28th International Conference on Logic Programming Special Issue. In Technical Communications of the 28th International Conference on Logic Programming (ICLP'12). Leibniz International Proceedings in Informatics (LIPIcs), Volume 17, pp. 17-21, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)
@InProceedings{dovier_et_al:LIPIcs.ICLP.2012.xvii, author = {Dovier, Agostino and Santos Costa, V{\'\i}tor}, 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'12)}, pages = {17--21}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-43-9}, ISSN = {1868-8969}, year = {2012}, volume = {17}, editor = {Dovier, Agostino and Santos Costa, V{\'\i}tor}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2012.xvii}, URN = {urn:nbn:de:0030-drops-36053}, doi = {10.4230/LIPIcs.ICLP.2012.xvii}, annote = {Keywords: Logic Programming, Organization Details} }
François Bry and Sebastian Schaffert. Simulation Unification: Beyond Querying Semistructured Data (Invited Talk). In Technical Communications of the 28th International Conference on Logic Programming (ICLP'12). Leibniz International Proceedings in Informatics (LIPIcs), Volume 17, pp. 1-13, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)
@InProceedings{bry_et_al:LIPIcs.ICLP.2012.1, author = {Bry, Fran\c{c}ois and Schaffert, Sebastian}, title = {{Simulation Unification: Beyond Querying Semistructured Data}}, booktitle = {Technical Communications of the 28th International Conference on Logic Programming (ICLP'12)}, pages = {1--13}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-43-9}, ISSN = {1868-8969}, year = {2012}, volume = {17}, editor = {Dovier, Agostino and Santos Costa, V{\'\i}tor}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2012.1}, URN = {urn:nbn:de:0030-drops-36060}, doi = {10.4230/LIPIcs.ICLP.2012.1}, annote = {Keywords: Simulation Unification, (Semantic) Web Querying} }
Hendrik Blockeel, Bart Bogaerts, Maurice Bruynooghe, Broes De Cat, Stef De Pooter, Marc Denecker, Anthony Labarre, Jan Ramon, and Sicco Verwer. Modeling Machine Learning and Data Mining Problems with FO(·). In Technical Communications of the 28th International Conference on Logic Programming (ICLP'12). Leibniz International Proceedings in Informatics (LIPIcs), Volume 17, pp. 14-25, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)
@InProceedings{blockeel_et_al:LIPIcs.ICLP.2012.14, author = {Blockeel, Hendrik and Bogaerts, Bart and Bruynooghe, Maurice and De Cat, Broes and De Pooter, Stef and Denecker, Marc and Labarre, Anthony and Ramon, Jan and Verwer, Sicco}, title = {{Modeling Machine Learning and Data Mining Problems with FO(·)}}, booktitle = {Technical Communications of the 28th International Conference on Logic Programming (ICLP'12)}, pages = {14--25}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-43-9}, ISSN = {1868-8969}, year = {2012}, volume = {17}, editor = {Dovier, Agostino and Santos Costa, V{\'\i}tor}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2012.14}, URN = {urn:nbn:de:0030-drops-36049}, doi = {10.4230/LIPIcs.ICLP.2012.14}, annote = {Keywords: Knowledge representation and reasoning, declarative modeling, logic programming, knowledge base systems, FO(·), IDP framework, stemmatology, phylogene} }
Chitta Baral, Nguyen Ha Vo, and Shanshan Liang. Answering Why and How questions with respect to a frame-based knowledge base: a preliminary report. In Technical Communications of the 28th International Conference on Logic Programming (ICLP'12). Leibniz International Proceedings in Informatics (LIPIcs), Volume 17, pp. 26-36, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)
@InProceedings{baral_et_al:LIPIcs.ICLP.2012.26, author = {Baral, Chitta and Ha Vo, Nguyen and Liang, Shanshan}, 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'12)}, pages = {26--36}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-43-9}, ISSN = {1868-8969}, year = {2012}, volume = {17}, editor = {Dovier, Agostino and Santos Costa, V{\'\i}tor}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2012.26}, URN = {urn:nbn:de:0030-drops-36078}, doi = {10.4230/LIPIcs.ICLP.2012.26}, annote = {Keywords: answer set programming, frame based knowledge representation, question answering.} }
Marco Maratea, Luca Pulina, and Francesco Ricca. Applying Machine Learning Techniques to ASP Solving. In Technical Communications of the 28th International Conference on Logic Programming (ICLP'12). Leibniz International Proceedings in Informatics (LIPIcs), Volume 17, pp. 37-48, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)
@InProceedings{maratea_et_al:LIPIcs.ICLP.2012.37, author = {Maratea, Marco and Pulina, Luca and Ricca, Francesco}, title = {{Applying Machine Learning Techniques to ASP Solving}}, booktitle = {Technical Communications of the 28th International Conference on Logic Programming (ICLP'12)}, pages = {37--48}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-43-9}, ISSN = {1868-8969}, year = {2012}, volume = {17}, editor = {Dovier, Agostino and Santos Costa, V{\'\i}tor}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2012.37}, URN = {urn:nbn:de:0030-drops-36080}, doi = {10.4230/LIPIcs.ICLP.2012.37}, annote = {Keywords: Answer Set Programming, Automated Algorithm Selection, Multi-Engine solvers} }
Marcello Balduccini. An Answer Set Solver for non-Herbrand Programs: Progress Report. In Technical Communications of the 28th International Conference on Logic Programming (ICLP'12). Leibniz International Proceedings in Informatics (LIPIcs), Volume 17, pp. 49-60, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)
@InProceedings{balduccini:LIPIcs.ICLP.2012.49, author = {Balduccini, Marcello}, title = {{An Answer Set Solver for non-Herbrand Programs: Progress Report}}, booktitle = {Technical Communications of the 28th International Conference on Logic Programming (ICLP'12)}, pages = {49--60}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-43-9}, ISSN = {1868-8969}, year = {2012}, volume = {17}, editor = {Dovier, Agostino and Santos Costa, V{\'\i}tor}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2012.49}, URN = {urn:nbn:de:0030-drops-36099}, doi = {10.4230/LIPIcs.ICLP.2012.49}, annote = {Keywords: Answer Set Programming, non-Herbrand Functions, Answer Set Solving, Knowledge Representation and Reasoning} }
Joohyung Lee and Yunsong Meng. Stable Models of Formulas with Generalized Quantifiers (Preliminary Report). In Technical Communications of the 28th International Conference on Logic Programming (ICLP'12). Leibniz International Proceedings in Informatics (LIPIcs), Volume 17, pp. 61-71, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)
@InProceedings{lee_et_al:LIPIcs.ICLP.2012.61, author = {Lee, Joohyung and Meng, Yunsong}, title = {{Stable Models of Formulas with Generalized Quantifiers}}, booktitle = {Technical Communications of the 28th International Conference on Logic Programming (ICLP'12)}, pages = {61--71}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-43-9}, ISSN = {1868-8969}, year = {2012}, volume = {17}, editor = {Dovier, Agostino and Santos Costa, V{\'\i}tor}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2012.61}, URN = {urn:nbn:de:0030-drops-36105}, doi = {10.4230/LIPIcs.ICLP.2012.61}, annote = {Keywords: answer set programming, stable model semantics, generalized quantifiers} }
Florian Schanda and Martin Brain. Using Answer Set Programming in the Development of Verified Software. In Technical Communications of the 28th International Conference on Logic Programming (ICLP'12). Leibniz International Proceedings in Informatics (LIPIcs), Volume 17, pp. 72-85, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)
@InProceedings{schanda_et_al:LIPIcs.ICLP.2012.72, author = {Schanda, Florian and Brain, Martin}, title = {{Using Answer Set Programming in the Development of Verified Software}}, booktitle = {Technical Communications of the 28th International Conference on Logic Programming (ICLP'12)}, pages = {72--85}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-43-9}, ISSN = {1868-8969}, year = {2012}, volume = {17}, editor = {Dovier, Agostino and Santos Costa, V{\'\i}tor}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2012.72}, URN = {urn:nbn:de:0030-drops-36114}, doi = {10.4230/LIPIcs.ICLP.2012.72}, annote = {Keywords: Answer Set Programming, verification, SPARK, Ada, contract based verification, safety critical} }
Mutsunori Banbara, Naoyuki Tamura, and Katsumi Inoue. Generating Event-Sequence Test Cases by Answer Set Programming with the Incidence Matrix. In Technical Communications of the 28th International Conference on Logic Programming (ICLP'12). Leibniz International Proceedings in Informatics (LIPIcs), Volume 17, pp. 86-97, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)
@InProceedings{banbara_et_al:LIPIcs.ICLP.2012.86, author = {Banbara, Mutsunori and Tamura, Naoyuki and Inoue, Katsumi}, 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'12)}, pages = {86--97}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-43-9}, ISSN = {1868-8969}, year = {2012}, volume = {17}, editor = {Dovier, Agostino and Santos Costa, V{\'\i}tor}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2012.86}, URN = {urn:nbn:de:0030-drops-36127}, doi = {10.4230/LIPIcs.ICLP.2012.86}, annote = {Keywords: Event-Sequence Testing, Answer Set Programming, Matrix Model, Constraint Programming, Propositional Satisfiability (SAT)} }
Elvira Albert, Puri Arenas, and Miguel Gómez-Zamalloa. Towards Testing Concurrent Objects in CLP. In Technical Communications of the 28th International Conference on Logic Programming (ICLP'12). Leibniz International Proceedings in Informatics (LIPIcs), Volume 17, pp. 98-108, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)
@InProceedings{albert_et_al:LIPIcs.ICLP.2012.98, author = {Albert, Elvira and Arenas, Puri and G\'{o}mez-Zamalloa, Miguel}, title = {{Towards Testing Concurrent Objects in CLP}}, booktitle = {Technical Communications of the 28th International Conference on Logic Programming (ICLP'12)}, pages = {98--108}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-43-9}, ISSN = {1868-8969}, year = {2012}, volume = {17}, editor = {Dovier, Agostino and Santos Costa, V{\'\i}tor}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2012.98}, URN = {urn:nbn:de:0030-drops-36134}, doi = {10.4230/LIPIcs.ICLP.2012.98}, annote = {Keywords: Testing, Glass-box Test Data Generation, Active Objects, Symbolic Execution} }
Slim Abdennadher and Nada Sharaf. Visualization of CHR through Source-to-Source Transformation. In Technical Communications of the 28th International Conference on Logic Programming (ICLP'12). Leibniz International Proceedings in Informatics (LIPIcs), Volume 17, pp. 109-118, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)
@InProceedings{abdennadher_et_al:LIPIcs.ICLP.2012.109, author = {Abdennadher, Slim and Sharaf, Nada}, title = {{Visualization of CHR through Source-to-Source Transformation}}, booktitle = {Technical Communications of the 28th International Conference on Logic Programming (ICLP'12)}, pages = {109--118}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-43-9}, ISSN = {1868-8969}, year = {2012}, volume = {17}, editor = {Dovier, Agostino and Santos Costa, V{\'\i}tor}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2012.109}, URN = {urn:nbn:de:0030-drops-36148}, doi = {10.4230/LIPIcs.ICLP.2012.109}, annote = {Keywords: Source-to-Source Transformation, Constraint Handling Rules, Visualization} }
Zsolt Zombori, János Csorba, and Péter Szeredi. Static Type Inference for the Q language using Constraint Logic Programming. In Technical Communications of the 28th International Conference on Logic Programming (ICLP'12). Leibniz International Proceedings in Informatics (LIPIcs), Volume 17, pp. 119-129, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)
@InProceedings{zombori_et_al:LIPIcs.ICLP.2012.119, author = {Zombori, Zsolt and Csorba, J\'{a}nos and Szeredi, P\'{e}ter}, title = {{Static Type Inference for the Q language using Constraint Logic Programming}}, booktitle = {Technical Communications of the 28th International Conference on Logic Programming (ICLP'12)}, pages = {119--129}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-43-9}, ISSN = {1868-8969}, year = {2012}, volume = {17}, editor = {Dovier, Agostino and Santos Costa, V{\'\i}tor}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2012.119}, URN = {urn:nbn:de:0030-drops-36150}, doi = {10.4230/LIPIcs.ICLP.2012.119}, annote = {Keywords: logic programming, types, static type checking, CSP, CHR, Q language} }
Michael Hanus. Improving Lazy Non-Deterministic Computations by Demand Analysis. In Technical Communications of the 28th International Conference on Logic Programming (ICLP'12). Leibniz International Proceedings in Informatics (LIPIcs), Volume 17, pp. 130-143, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)
@InProceedings{hanus:LIPIcs.ICLP.2012.130, author = {Hanus, Michael}, title = {{Improving Lazy Non-Deterministic Computations by Demand Analysis}}, booktitle = {Technical Communications of the 28th International Conference on Logic Programming (ICLP'12)}, pages = {130--143}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-43-9}, ISSN = {1868-8969}, year = {2012}, volume = {17}, editor = {Dovier, Agostino and Santos Costa, V{\'\i}tor}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2012.130}, URN = {urn:nbn:de:0030-drops-36167}, doi = {10.4230/LIPIcs.ICLP.2012.130}, annote = {Keywords: functional logic programming, implementation, program analysis} }
Giovanni Bacci, Marco Comini, Marco A. Feliú, and Alicia Villanueva. The additional difficulties for the automatic synthesis of specifications posed by logic features in functional-logic languages. In Technical Communications of the 28th International Conference on Logic Programming (ICLP'12). Leibniz International Proceedings in Informatics (LIPIcs), Volume 17, pp. 144-153, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)
@InProceedings{bacci_et_al:LIPIcs.ICLP.2012.144, author = {Bacci, Giovanni and Comini, Marco and A. Feli\'{u}, Marco and Villanueva, Alicia}, 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'12)}, pages = {144--153}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-43-9}, ISSN = {1868-8969}, year = {2012}, volume = {17}, editor = {Dovier, Agostino and Santos Costa, V{\'\i}tor}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2012.144}, URN = {urn:nbn:de:0030-drops-36174}, doi = {10.4230/LIPIcs.ICLP.2012.144}, annote = {Keywords: Curry, property-oriented specifications, semantics-based inference methods} }
Rafael del Vado Vírseda, Fernando Pérez Morente, and Marcos Miguel García Toledo. A Concurrent Operational Semantics for Constraint Functional Logic Programming. In Technical Communications of the 28th International Conference on Logic Programming (ICLP'12). Leibniz International Proceedings in Informatics (LIPIcs), Volume 17, pp. 154-163, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)
@InProceedings{delvadovirseda_et_al:LIPIcs.ICLP.2012.154, author = {del Vado V{\'\i}rseda, Rafael and P\'{e}rez Morente, Fernando and Garc{\'\i}a Toledo, Marcos Miguel}, title = {{A Concurrent Operational Semantics for Constraint Functional Logic Programming}}, booktitle = {Technical Communications of the 28th International Conference on Logic Programming (ICLP'12)}, pages = {154--163}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-43-9}, ISSN = {1868-8969}, year = {2012}, volume = {17}, editor = {Dovier, Agostino and Santos Costa, V{\'\i}tor}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2012.154}, URN = {urn:nbn:de:0030-drops-36185}, doi = {10.4230/LIPIcs.ICLP.2012.154}, annote = {Keywords: Constraint logic programming, concurrent logic programming, functional logic programming.} }
Bryan Silverthorn, Yuliya Lierler, and Marius Schneider. Surviving Solver Sensitivity: An ASP Practitioner’s Guide. In Technical Communications of the 28th International Conference on Logic Programming (ICLP'12). Leibniz International Proceedings in Informatics (LIPIcs), Volume 17, pp. 164-175, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)
@InProceedings{silverthorn_et_al:LIPIcs.ICLP.2012.164, author = {Silverthorn, Bryan and Lierler, Yuliya and Schneider, Marius}, title = {{Surviving Solver Sensitivity: An ASP Practitioner’s Guide}}, booktitle = {Technical Communications of the 28th International Conference on Logic Programming (ICLP'12)}, pages = {164--175}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-43-9}, ISSN = {1868-8969}, year = {2012}, volume = {17}, editor = {Dovier, Agostino and Santos Costa, V{\'\i}tor}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2012.164}, URN = {urn:nbn:de:0030-drops-36192}, doi = {10.4230/LIPIcs.ICLP.2012.164}, annote = {Keywords: algorithm configuration, algorithm selection, portfolio solving, answer set programming, algorithm portfolios} }
Holger Hoos, Roland Kaminski, Torsten Schaub, and Marius Schneider. aspeed: ASP-based Solver Scheduling. In Technical Communications of the 28th International Conference on Logic Programming (ICLP'12). Leibniz International Proceedings in Informatics (LIPIcs), Volume 17, pp. 176-187, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)
@InProceedings{hoos_et_al:LIPIcs.ICLP.2012.176, author = {Hoos, Holger and Kaminski, Roland and Schaub, Torsten and Schneider, Marius}, title = {{aspeed: ASP-based Solver Scheduling}}, booktitle = {Technical Communications of the 28th International Conference on Logic Programming (ICLP'12)}, pages = {176--187}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-43-9}, ISSN = {1868-8969}, year = {2012}, volume = {17}, editor = {Dovier, Agostino and Santos Costa, V{\'\i}tor}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2012.176}, URN = {urn:nbn:de:0030-drops-36208}, doi = {10.4230/LIPIcs.ICLP.2012.176}, annote = {Keywords: Algorithm Schedule, Portfolio-based Solving, Answer Set Programming} }
Christian Drescher and Toby Walsh. Answer Set Solving with Lazy Nogood Generation. In Technical Communications of the 28th International Conference on Logic Programming (ICLP'12). Leibniz International Proceedings in Informatics (LIPIcs), Volume 17, pp. 188-200, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)
@InProceedings{drescher_et_al:LIPIcs.ICLP.2012.188, author = {Drescher, Christian and Walsh, Toby}, title = {{Answer Set Solving with Lazy Nogood Generation}}, booktitle = {Technical Communications of the 28th International Conference on Logic Programming (ICLP'12)}, pages = {188--200}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-43-9}, ISSN = {1868-8969}, year = {2012}, volume = {17}, editor = {Dovier, Agostino and Santos Costa, V{\'\i}tor}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2012.188}, URN = {urn:nbn:de:0030-drops-36216}, doi = {10.4230/LIPIcs.ICLP.2012.188}, annote = {Keywords: Conflict-Driven Nogood Learning, Constraint Answer Set Programming, Constraint Propagation, Lazy Nogood Generation} }
Broes De Cat, Marc Denecker, and Peter Stuckey. Lazy Model Expansion by Incremental Grounding. In Technical Communications of the 28th International Conference on Logic Programming (ICLP'12). Leibniz International Proceedings in Informatics (LIPIcs), Volume 17, pp. 201-211, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)
@InProceedings{decat_et_al:LIPIcs.ICLP.2012.201, author = {De Cat, Broes and Denecker, Marc and Stuckey, Peter}, title = {{Lazy Model Expansion by Incremental Grounding}}, booktitle = {Technical Communications of the 28th International Conference on Logic Programming (ICLP'12)}, pages = {201--211}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-43-9}, ISSN = {1868-8969}, year = {2012}, volume = {17}, editor = {Dovier, Agostino and Santos Costa, V{\'\i}tor}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2012.201}, URN = {urn:nbn:de:0030-drops-36222}, doi = {10.4230/LIPIcs.ICLP.2012.201}, annote = {Keywords: Knowledge representation and reasoning, model generation, grounding, IDP framework, first-order logic} }
Benjamin Andres, Benjamin Kaufmann, Oliver Matheis, and Torsten Schaub. Unsatisfiability-based optimization in clasp. In Technical Communications of the 28th International Conference on Logic Programming (ICLP'12). Leibniz International Proceedings in Informatics (LIPIcs), Volume 17, pp. 212-221, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)
@InProceedings{andres_et_al:LIPIcs.ICLP.2012.211, author = {Andres, Benjamin and Kaufmann, Benjamin and Matheis, Oliver and Schaub, Torsten}, title = {{Unsatisfiability-based optimization in clasp}}, booktitle = {Technical Communications of the 28th International Conference on Logic Programming (ICLP'12)}, pages = {212--221}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-43-9}, ISSN = {1868-8969}, year = {2012}, volume = {17}, editor = {Dovier, Agostino and Santos Costa, V{\'\i}tor}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2012.211}, URN = {urn:nbn:de:0030-drops-36235}, doi = {10.4230/LIPIcs.ICLP.2012.211}, annote = {Keywords: answer-set-programming, solvers} }
Johannes Oetsch, Jörg Pührer, and Hans Tompits. An FLP-Style Answer-Set Semantics for Abstract-Constraint Programs with Disjunctions. In Technical Communications of the 28th International Conference on Logic Programming (ICLP'12). Leibniz International Proceedings in Informatics (LIPIcs), Volume 17, pp. 222-234, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)
@InProceedings{oetsch_et_al:LIPIcs.ICLP.2012.222, author = {Oetsch, Johannes and P\"{u}hrer, J\"{o}rg and Tompits, Hans}, 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'12)}, pages = {222--234}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-43-9}, ISSN = {1868-8969}, year = {2012}, volume = {17}, editor = {Dovier, Agostino and Santos Costa, V{\'\i}tor}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2012.222}, URN = {urn:nbn:de:0030-drops-36246}, doi = {10.4230/LIPIcs.ICLP.2012.222}, annote = {Keywords: answer-set programming, abstract constraints, aggregates, disjunction} }
Jia-Huai You, John Morris, and Yi Bi. Reconciling Well-Founded Semantics of DL-Programs and Aggregate Programs. In Technical Communications of the 28th International Conference on Logic Programming (ICLP'12). Leibniz International Proceedings in Informatics (LIPIcs), Volume 17, pp. 235-246, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)
@InProceedings{you_et_al:LIPIcs.ICLP.2012.235, author = {You, Jia-Huai and Morris, John and Bi, Yi}, title = {{Reconciling Well-Founded Semantics of DL-Programs and Aggregate Programs}}, booktitle = {Technical Communications of the 28th International Conference on Logic Programming (ICLP'12)}, pages = {235--246}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-43-9}, ISSN = {1868-8969}, year = {2012}, volume = {17}, editor = {Dovier, Agostino and Santos Costa, V{\'\i}tor}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2012.235}, URN = {urn:nbn:de:0030-drops-36258}, doi = {10.4230/LIPIcs.ICLP.2012.235}, annote = {Keywords: Well-founded semantics, description logic programs, aggregate logic programs, three-valued logic.} }
Michael Morak and Stefan Woltran. Preprocessing of Complex Non-Ground Rules in Answer Set Programming. In Technical Communications of the 28th International Conference on Logic Programming (ICLP'12). Leibniz International Proceedings in Informatics (LIPIcs), Volume 17, pp. 247-258, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)
@InProceedings{morak_et_al:LIPIcs.ICLP.2012.247, author = {Morak, Michael and Woltran, Stefan}, title = {{Preprocessing of Complex Non-Ground Rules in Answer Set Programming}}, booktitle = {Technical Communications of the 28th International Conference on Logic Programming (ICLP'12)}, pages = {247--258}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-43-9}, ISSN = {1868-8969}, year = {2012}, volume = {17}, editor = {Dovier, Agostino and Santos Costa, V{\'\i}tor}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2012.247}, URN = {urn:nbn:de:0030-drops-36263}, doi = {10.4230/LIPIcs.ICLP.2012.247}, annote = {Keywords: answer set programming, hypertree decomposition, preprocessing} }
Vladimir Lifschitz. Two-Valued Logic Programs. In Technical Communications of the 28th International Conference on Logic Programming (ICLP'12). Leibniz International Proceedings in Informatics (LIPIcs), Volume 17, pp. 259-266, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)
@InProceedings{lifschitz:LIPIcs.ICLP.2012.259, author = {Lifschitz, Vladimir}, title = {{Two-Valued Logic Programs}}, booktitle = {Technical Communications of the 28th International Conference on Logic Programming (ICLP'12)}, pages = {259--266}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-43-9}, ISSN = {1868-8969}, year = {2012}, volume = {17}, editor = {Dovier, Agostino and Santos Costa, V{\'\i}tor}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2012.259}, URN = {urn:nbn:de:0030-drops-36279}, doi = {10.4230/LIPIcs.ICLP.2012.259}, annote = {Keywords: Answer set programming, Non monotonic reasoning, Foundations} }
Juan Carlos Nieves and Helena Lindgren. Possibilistic Nested Logic Programs. In Technical Communications of the 28th International Conference on Logic Programming (ICLP'12). Leibniz International Proceedings in Informatics (LIPIcs), Volume 17, pp. 267-276, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)
@InProceedings{nieves_et_al:LIPIcs.ICLP.2012.267, author = {Nieves, Juan Carlos and Lindgren, Helena}, title = {{Possibilistic Nested Logic Programs}}, booktitle = {Technical Communications of the 28th International Conference on Logic Programming (ICLP'12)}, pages = {267--276}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-43-9}, ISSN = {1868-8969}, year = {2012}, volume = {17}, editor = {Dovier, Agostino and Santos Costa, V{\'\i}tor}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2012.267}, URN = {urn:nbn:de:0030-drops-36280}, doi = {10.4230/LIPIcs.ICLP.2012.267}, annote = {Keywords: Answer Set Programming, Uncertain Information, Possibilistic Reasoning} }
Marc Denecker, Yuliya Lierler, Miroslaw Truszczynski, and Joost Vennekens. A Tarskian Informal Semantics for Answer Set Programming. In Technical Communications of the 28th International Conference on Logic Programming (ICLP'12). Leibniz International Proceedings in Informatics (LIPIcs), Volume 17, pp. 277-289, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)
@InProceedings{denecker_et_al:LIPIcs.ICLP.2012.277, author = {Denecker, Marc and Lierler, Yuliya and Truszczynski, Miroslaw and Vennekens, Joost}, title = {{A Tarskian Informal Semantics for Answer Set Programming}}, booktitle = {Technical Communications of the 28th International Conference on Logic Programming (ICLP'12)}, pages = {277--289}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-43-9}, ISSN = {1868-8969}, year = {2012}, volume = {17}, editor = {Dovier, Agostino and Santos Costa, V{\'\i}tor}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2012.277}, URN = {urn:nbn:de:0030-drops-36295}, doi = {10.4230/LIPIcs.ICLP.2012.277}, annote = {Keywords: Answer set programming, informal semantics, generate-define-test} }
Felicidad Aguado, Pedro Cabalar, Martín Diéguez, Gilberto Pérez, and Concepción Vidal. Paving the Way for Temporal Grounding. In Technical Communications of the 28th International Conference on Logic Programming (ICLP'12). Leibniz International Proceedings in Informatics (LIPIcs), Volume 17, pp. 290-300, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)
@InProceedings{aguado_et_al:LIPIcs.ICLP.2012.290, author = {Aguado, Felicidad and Cabalar, Pedro and Di\'{e}guez, Mart{\'\i}n and P\'{e}rez, Gilberto and Vidal, Concepci\'{o}n}, title = {{Paving the Way for Temporal Grounding}}, booktitle = {Technical Communications of the 28th International Conference on Logic Programming (ICLP'12)}, pages = {290--300}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-43-9}, ISSN = {1868-8969}, year = {2012}, volume = {17}, editor = {Dovier, Agostino and Santos Costa, V{\'\i}tor}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2012.290}, URN = {urn:nbn:de:0030-drops-36301}, doi = {10.4230/LIPIcs.ICLP.2012.290}, annote = {Keywords: ASP, linear temporal logic, grounding, temporal equilibrium logic} }
Wlodzimierz Drabent. Logic + control: An example. In Technical Communications of the 28th International Conference on Logic Programming (ICLP'12). Leibniz International Proceedings in Informatics (LIPIcs), Volume 17, pp. 301-311, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)
@InProceedings{drabent:LIPIcs.ICLP.2012.301, author = {Drabent, Wlodzimierz}, title = {{Logic + control: An example}}, booktitle = {Technical Communications of the 28th International Conference on Logic Programming (ICLP'12)}, pages = {301--311}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-43-9}, ISSN = {1868-8969}, year = {2012}, volume = {17}, editor = {Dovier, Agostino and Santos Costa, V{\'\i}tor}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2012.301}, URN = {urn:nbn:de:0030-drops-36317}, doi = {10.4230/LIPIcs.ICLP.2012.301}, annote = {Keywords: program correctness, program completeness, specification, declarative programming, declarative diagnosis.} }
Paul Tarau. Deriving a Fast Inverse of the Generalized Cantor N-tupling Bijection. In Technical Communications of the 28th International Conference on Logic Programming (ICLP'12). Leibniz International Proceedings in Informatics (LIPIcs), Volume 17, pp. 312-322, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)
@InProceedings{tarau:LIPIcs.ICLP.2012.312, author = {Tarau, Paul}, title = {{Deriving a Fast Inverse of the Generalized Cantor N-tupling Bijection}}, booktitle = {Technical Communications of the 28th International Conference on Logic Programming (ICLP'12)}, pages = {312--322}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-43-9}, ISSN = {1868-8969}, year = {2012}, volume = {17}, editor = {Dovier, Agostino and Santos Costa, V{\'\i}tor}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2012.312}, URN = {urn:nbn:de:0030-drops-36326}, doi = {10.4230/LIPIcs.ICLP.2012.312}, annote = {Keywords: generalized Cantor n-tupling bijection, bijective data type transformations, combinatorial number system, solving combinatorial problems in Prolog, op} }
Sergio Greco, Francesca Spezzano, and Irina Trubitsyna. On the Termination of Logic Programs with Function Symbols. In Technical Communications of the 28th International Conference on Logic Programming (ICLP'12). Leibniz International Proceedings in Informatics (LIPIcs), Volume 17, pp. 323-333, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)
@InProceedings{greco_et_al:LIPIcs.ICLP.2012.323, author = {Greco, Sergio and Spezzano, Francesca and Trubitsyna, Irina}, title = {{On the Termination of Logic Programs with Function Symbols}}, booktitle = {Technical Communications of the 28th International Conference on Logic Programming (ICLP'12)}, pages = {323--333}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-43-9}, ISSN = {1868-8969}, year = {2012}, volume = {17}, editor = {Dovier, Agostino and Santos Costa, V{\'\i}tor}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2012.323}, URN = {urn:nbn:de:0030-drops-36335}, doi = {10.4230/LIPIcs.ICLP.2012.323}, annote = {Keywords: Logic Programming, Function Symbols, Bottom-up Execution, Program Termination, Stable Models} }
Emilio Jesús Gallego Arias and James B. Lipton. Logic Programming in Tabular Allegories. In Technical Communications of the 28th International Conference on Logic Programming (ICLP'12). Leibniz International Proceedings in Informatics (LIPIcs), Volume 17, pp. 334-347, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)
@InProceedings{gallegoarias_et_al:LIPIcs.ICLP.2012.334, author = {Gallego Arias, Emilio Jes\'{u}s and B. Lipton, James}, title = {{Logic Programming in Tabular Allegories}}, booktitle = {Technical Communications of the 28th International Conference on Logic Programming (ICLP'12)}, pages = {334--347}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-43-9}, ISSN = {1868-8969}, year = {2012}, volume = {17}, editor = {Dovier, Agostino and Santos Costa, V{\'\i}tor}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2012.334}, URN = {urn:nbn:de:0030-drops-36345}, doi = {10.4230/LIPIcs.ICLP.2012.334}, annote = {Keywords: Category Theory, Logic Programming, Lawvere Categories, Programming Language Semantics, Declarative Programming} }
Taisuke Sato and Philipp Meyer. Tabling for infinite probability computation. In Technical Communications of the 28th International Conference on Logic Programming (ICLP'12). Leibniz International Proceedings in Informatics (LIPIcs), Volume 17, pp. 348-358, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)
@InProceedings{sato_et_al:LIPIcs.ICLP.2012.348, author = {Sato, Taisuke and Meyer, Philipp}, title = {{Tabling for infinite probability computation}}, booktitle = {Technical Communications of the 28th International Conference on Logic Programming (ICLP'12)}, pages = {348--358}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-43-9}, ISSN = {1868-8969}, year = {2012}, volume = {17}, editor = {Dovier, Agostino and Santos Costa, V{\'\i}tor}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2012.348}, URN = {urn:nbn:de:0030-drops-36355}, doi = {10.4230/LIPIcs.ICLP.2012.348}, annote = {Keywords: probability, tabling, PRISM} }
Tiep Le, Hieu Nguyen, Enrico Pontelli, and Tran Cao Son. ASP at Work: An ASP Implementation of PhyloWS. In Technical Communications of the 28th International Conference on Logic Programming (ICLP'12). Leibniz International Proceedings in Informatics (LIPIcs), Volume 17, pp. 359-369, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)
@InProceedings{le_et_al:LIPIcs.ICLP.2012.359, author = {Le, Tiep and Nguyen, Hieu and Pontelli, Enrico and Cao Son, Tran}, title = {{ASP at Work: An ASP Implementation of PhyloWS}}, booktitle = {Technical Communications of the 28th International Conference on Logic Programming (ICLP'12)}, pages = {359--369}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-43-9}, ISSN = {1868-8969}, year = {2012}, volume = {17}, editor = {Dovier, Agostino and Santos Costa, V{\'\i}tor}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2012.359}, URN = {urn:nbn:de:0030-drops-36369}, doi = {10.4230/LIPIcs.ICLP.2012.359}, annote = {Keywords: Answer sets, phylogenetic inference, systems, applications} }
Veronica Dahl, Bradley Coleman, J. Emilio Miralles, and Erez Maharshak. CHR for Social Responsibility. In Technical Communications of the 28th International Conference on Logic Programming (ICLP'12). Leibniz International Proceedings in Informatics (LIPIcs), Volume 17, pp. 370-380, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)
@InProceedings{dahl_et_al:LIPIcs.ICLP.2012.370, author = {Dahl, Veronica and Coleman, Bradley and Miralles, J. Emilio and Maharshak, Erez}, title = {{CHR for Social Responsibility}}, booktitle = {Technical Communications of the 28th International Conference on Logic Programming (ICLP'12)}, pages = {370--380}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-43-9}, ISSN = {1868-8969}, year = {2012}, volume = {17}, editor = {Dovier, Agostino and Santos Costa, V{\'\i}tor}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2012.370}, URN = {urn:nbn:de:0030-drops-36374}, doi = {10.4230/LIPIcs.ICLP.2012.370}, annote = {Keywords: Constraint handling rules, principled decision making, informed voting, client directed voting, social responsibility.} }
Nuno Lopes, Sabrina Kirrane, Antoine Zimmermann, Axel Polleres, and Alessandra Mileo. A Logic Programming approach for Access Control over RDF. In Technical Communications of the 28th International Conference on Logic Programming (ICLP'12). Leibniz International Proceedings in Informatics (LIPIcs), Volume 17, pp. 381-392, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)
@InProceedings{lopes_et_al:LIPIcs.ICLP.2012.381, author = {Lopes, Nuno and Kirrane, Sabrina and Zimmermann, Antoine and Polleres, Axel and Mileo, Alessandra}, title = {{A Logic Programming approach for Access Control over RDF}}, booktitle = {Technical Communications of the 28th International Conference on Logic Programming (ICLP'12)}, pages = {381--392}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-43-9}, ISSN = {1868-8969}, year = {2012}, volume = {17}, editor = {Dovier, Agostino and Santos Costa, V{\'\i}tor}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2012.381}, URN = {urn:nbn:de:0030-drops-36384}, doi = {10.4230/LIPIcs.ICLP.2012.381}, annote = {Keywords: Logic Programming, Annotation, Access Control, RDF} }
Viviana Novelli, Marina De Vos, Julian Padget, and Dina D’Ayala. LOG-IDEAH: ASP for Architectonic Asset Preservation. In Technical Communications of the 28th International Conference on Logic Programming (ICLP'12). Leibniz International Proceedings in Informatics (LIPIcs), Volume 17, pp. 393-403, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)
@InProceedings{novelli_et_al:LIPIcs.ICLP.2012.393, author = {Novelli, Viviana and De Vos, Marina and Padget, Julian and D’Ayala, Dina}, title = {{LOG-IDEAH: ASP for Architectonic Asset Preservation}}, booktitle = {Technical Communications of the 28th International Conference on Logic Programming (ICLP'12)}, pages = {393--403}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-43-9}, ISSN = {1868-8969}, year = {2012}, volume = {17}, editor = {Dovier, Agostino and Santos Costa, V{\'\i}tor}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2012.393}, URN = {urn:nbn:de:0030-drops-36398}, doi = {10.4230/LIPIcs.ICLP.2012.393}, annote = {Keywords: Answer set programming, structural engineering, knowledge representation} }
Xiaoping Chen, Guoqiang Jin, and Fangkai Yang. Extending C+ with Composite Actions for Robotic Task Planning. In Technical Communications of the 28th International Conference on Logic Programming (ICLP'12). Leibniz International Proceedings in Informatics (LIPIcs), Volume 17, pp. 404-414, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)
@InProceedings{chen_et_al:LIPIcs.ICLP.2012.404, author = {Chen, Xiaoping and Jin, Guoqiang and Yang, Fangkai}, title = {{Extending C+ with Composite Actions for Robotic Task Planning}}, booktitle = {Technical Communications of the 28th International Conference on Logic Programming (ICLP'12)}, pages = {404--414}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-43-9}, ISSN = {1868-8969}, year = {2012}, volume = {17}, editor = {Dovier, Agostino and Santos Costa, V{\'\i}tor}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2012.404}, URN = {urn:nbn:de:0030-drops-36404}, doi = {10.4230/LIPIcs.ICLP.2012.404}, annote = {Keywords: Reasoning about Actions, Action Languages, Robotic Task Planning} }
Massimiliano Cattafi, Rosa Herrero, Marco Gavanelli, Maddalena Nonato, and Federico Malucelli. Improving Quality and Efficiency in Home Health Care: an application of Constraint Logic Programming for the Ferrara NHS unit. In Technical Communications of the 28th International Conference on Logic Programming (ICLP'12). Leibniz International Proceedings in Informatics (LIPIcs), Volume 17, pp. 415-424, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)
@InProceedings{cattafi_et_al:LIPIcs.ICLP.2012.415, author = {Cattafi, Massimiliano and Herrero, Rosa and Gavanelli, Marco and Nonato, Maddalena and Malucelli, Federico}, 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'12)}, pages = {415--424}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-43-9}, ISSN = {1868-8969}, year = {2012}, volume = {17}, editor = {Dovier, Agostino and Santos Costa, V{\'\i}tor}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2012.415}, URN = {urn:nbn:de:0030-drops-36419}, doi = {10.4230/LIPIcs.ICLP.2012.415}, annote = {Keywords: CLP(FD), Nurse Scheduling Applications, Home Health Care} }
Nathaniel Wesley Filardo and Jason Eisner. A Flexible Solver for Finite Arithmetic Circuits. In Technical Communications of the 28th International Conference on Logic Programming (ICLP'12). Leibniz International Proceedings in Informatics (LIPIcs), Volume 17, pp. 425-438, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)
@InProceedings{filardo_et_al:LIPIcs.ICLP.2012.425, author = {Filardo, Nathaniel Wesley and Eisner, Jason}, title = {{A Flexible Solver for Finite Arithmetic Circuits}}, booktitle = {Technical Communications of the 28th International Conference on Logic Programming (ICLP'12)}, pages = {425--438}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-43-9}, ISSN = {1868-8969}, year = {2012}, volume = {17}, editor = {Dovier, Agostino and Santos Costa, V{\'\i}tor}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2012.425}, URN = {urn:nbn:de:0030-drops-36420}, doi = {10.4230/LIPIcs.ICLP.2012.425}, annote = {Keywords: arithmetic circuits, memoization, view maintenance, logic programming} }
Emanuele De Angelis. Software Model Checking by Program Specialization. In Technical Communications of the 28th International Conference on Logic Programming (ICLP'12). Leibniz International Proceedings in Informatics (LIPIcs), Volume 17, pp. 439-444, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)
@InProceedings{deangelis:LIPIcs.ICLP.2012.439, author = {De Angelis, Emanuele}, title = {{Software Model Checking by Program Specialization}}, booktitle = {Technical Communications of the 28th International Conference on Logic Programming (ICLP'12)}, pages = {439--444}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-43-9}, ISSN = {1868-8969}, year = {2012}, volume = {17}, editor = {Dovier, Agostino and Santos Costa, V{\'\i}tor}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2012.439}, URN = {urn:nbn:de:0030-drops-36436}, doi = {10.4230/LIPIcs.ICLP.2012.439}, annote = {Keywords: Software model checking, program specialization, constraint logic programming.} }
Martín Diéguez. Temporal Answer Set Programming. In Technical Communications of the 28th International Conference on Logic Programming (ICLP'12). Leibniz International Proceedings in Informatics (LIPIcs), Volume 17, pp. 445-450, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)
@InProceedings{dieguez:LIPIcs.ICLP.2012.445, author = {Di\'{e}guez, Mart{\'\i}n}, title = {{Temporal Answer Set Programming}}, booktitle = {Technical Communications of the 28th International Conference on Logic Programming (ICLP'12)}, pages = {445--450}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-43-9}, ISSN = {1868-8969}, year = {2012}, volume = {17}, editor = {Dovier, Agostino and Santos Costa, V{\'\i}tor}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2012.445}, URN = {urn:nbn:de:0030-drops-36444}, doi = {10.4230/LIPIcs.ICLP.2012.445}, annote = {Keywords: Answer Set Programming, Temporal Equilibrium Logic, Linear Temporal Logic} }
Spyros Hadjichristodoulou. A Gradual Polymorphic Type System with Subtyping for Prolog. In Technical Communications of the 28th International Conference on Logic Programming (ICLP'12). Leibniz International Proceedings in Informatics (LIPIcs), Volume 17, pp. 451-457, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)
@InProceedings{hadjichristodoulou:LIPIcs.ICLP.2012.451, author = {Hadjichristodoulou, Spyros}, title = {{A Gradual Polymorphic Type System with Subtyping for Prolog}}, booktitle = {Technical Communications of the 28th International Conference on Logic Programming (ICLP'12)}, pages = {451--457}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-43-9}, ISSN = {1868-8969}, year = {2012}, volume = {17}, editor = {Dovier, Agostino and Santos Costa, V{\'\i}tor}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2012.451}, URN = {urn:nbn:de:0030-drops-36452}, doi = {10.4230/LIPIcs.ICLP.2012.451}, annote = {Keywords: Type Inference, Polymorphic Type System, Gradual Typing, Tabling, Answer Subsumption} }
Max Ostrowski. ASP modulo CSP: The clingcon system. In Technical Communications of the 28th International Conference on Logic Programming (ICLP'12). Leibniz International Proceedings in Informatics (LIPIcs), Volume 17, pp. 458-463, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)
@InProceedings{ostrowski:LIPIcs.ICLP.2012.458, author = {Ostrowski, Max}, title = {{ASP modulo CSP: The clingcon system}}, booktitle = {Technical Communications of the 28th International Conference on Logic Programming (ICLP'12)}, pages = {458--463}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-43-9}, ISSN = {1868-8969}, year = {2012}, volume = {17}, editor = {Dovier, Agostino and Santos Costa, V{\'\i}tor}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2012.458}, URN = {urn:nbn:de:0030-drops-36465}, doi = {10.4230/LIPIcs.ICLP.2012.458}, annote = {Keywords: Answer Set Programming, Constraint Programming} }
Andrea Peano. An ASP Approach for the Optimal Placement of the Isolation Valves in a Water Distribution System. In Technical Communications of the 28th International Conference on Logic Programming (ICLP'12). Leibniz International Proceedings in Informatics (LIPIcs), Volume 17, pp. 464-468, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)
@InProceedings{peano:LIPIcs.ICLP.2012.464, author = {Peano, Andrea}, 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'12)}, pages = {464--468}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-43-9}, ISSN = {1868-8969}, year = {2012}, volume = {17}, editor = {Dovier, Agostino and Santos Costa, V{\'\i}tor}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2012.464}, URN = {urn:nbn:de:0030-drops-36470}, doi = {10.4230/LIPIcs.ICLP.2012.464}, annote = {Keywords: Answer Set Programming, Isolation Valves Positioning, Hydroinformatics} }
Christoph Redl. Answer Set Programming with External Sources. In Technical Communications of the 28th International Conference on Logic Programming (ICLP'12). Leibniz International Proceedings in Informatics (LIPIcs), Volume 17, pp. 469-475, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)
@InProceedings{redl:LIPIcs.ICLP.2012.469, author = {Redl, Christoph}, title = {{Answer Set Programming with External Sources}}, booktitle = {Technical Communications of the 28th International Conference on Logic Programming (ICLP'12)}, pages = {469--475}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-43-9}, ISSN = {1868-8969}, year = {2012}, volume = {17}, editor = {Dovier, Agostino and Santos Costa, V{\'\i}tor}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2012.469}, URN = {urn:nbn:de:0030-drops-36489}, doi = {10.4230/LIPIcs.ICLP.2012.469}, annote = {Keywords: Answer Set Programming, Nonmonotonic Reasoning, External Computation, FLP Semantics} }
Ben Wright. Together, Is Anything Possible? A Look at Collective Commitments for Agents. In Technical Communications of the 28th International Conference on Logic Programming (ICLP'12). Leibniz International Proceedings in Informatics (LIPIcs), Volume 17, pp. 476-480, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)
@InProceedings{wright:LIPIcs.ICLP.2012.476, author = {Wright, Ben}, title = {{Together, Is Anything Possible? A Look at Collective Commitments for Agents}}, booktitle = {Technical Communications of the 28th International Conference on Logic Programming (ICLP'12)}, pages = {476--480}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-43-9}, ISSN = {1868-8969}, year = {2012}, volume = {17}, editor = {Dovier, Agostino and Santos Costa, V{\'\i}tor}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2012.476}, URN = {urn:nbn:de:0030-drops-36491}, doi = {10.4230/LIPIcs.ICLP.2012.476}, annote = {Keywords: Reasoning About Knowledge, Action Languages, Commitments, Multi-agent systems, Modal Logic} }
Feedback for Dagstuhl Publishing