Technical Communications of the 26th International Conference on Logic Programming. Leibniz International Proceedings in Informatics (LIPIcs), Volume 7, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)
@Proceedings{hermenegildo_et_al:LIPIcs.ICLP.2010, title = {{LIPIcs, Volume 7, ICLP'10, Complete Volume}}, booktitle = {Technical Communications of the 26th International Conference on Logic Programming}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-17-0}, ISSN = {1868-8969}, year = {2013}, volume = {7}, editor = {Hermenegildo, Manuel and Schaub, Torsten}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2010}, URN = {urn:nbn:de:0030-drops-41018}, doi = {10.4230/LIPIcs.ICLP.2010}, annote = {Keywords: Logic Programming, Concurrent Programming, Distribution, Maintenance, and Enhancement, Language Classifications, Language Constructs and Features Software/ Program Verification, Models of Computation, Modes of Computation, Semantics of Programming Languages, Mathematical Logic} }
Technical Communications of the 26th International Conference on Logic Programming. Leibniz International Proceedings in Informatics (LIPIcs), Volume 7, pp. i-x, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)
@InProceedings{hermenegildo_et_al:LIPIcs.ICLP.2010.i, author = {Hermenegildo, Manuel and Schaub, Torsten}, title = {{Titlepage, Table of Contents, Conference Organization}}, booktitle = {Technical Communications of the 26th International Conference on Logic Programming}, pages = {i--x}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-17-0}, ISSN = {1868-8969}, year = {2010}, volume = {7}, editor = {Hermenegildo, Manuel and Schaub, Torsten}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2010.i}, URN = {urn:nbn:de:0030-drops-26161}, doi = {10.4230/LIPIcs.ICLP.2010.i}, annote = {Keywords: Titlepage, Table of Contents, Conference Organization} }
Manuel Hermenegildo and Torsten Schaub. Introduction to the Technical Communications of the 26th International Conference on Logic Programming. In Technical Communications of the 26th International Conference on Logic Programming. Leibniz International Proceedings in Informatics (LIPIcs), Volume 7, pp. 11-14, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)
@InProceedings{hermenegildo_et_al:LIPIcs.ICLP.2010.XI, author = {Hermenegildo, Manuel and Schaub, Torsten}, title = {{Introduction to the Technical Communications of the 26th International Conference on Logic Programming}}, booktitle = {Technical Communications of the 26th International Conference on Logic Programming}, pages = {11--14}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-17-0}, ISSN = {1868-8969}, year = {2010}, volume = {7}, editor = {Hermenegildo, Manuel and Schaub, Torsten}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2010.XI}, URN = {urn:nbn:de:0030-drops-26154}, doi = {10.4230/LIPIcs.ICLP.2010.XI}, annote = {Keywords: Introduction} }
Molham Aref. Datalog for Enterprise Software: from Industrial Applications to Research (Invited Talk). In Technical Communications of the 26th International Conference on Logic Programming. Leibniz International Proceedings in Informatics (LIPIcs), Volume 7, p. 1, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)
@InProceedings{aref:LIPIcs.ICLP.2010.1, author = {Aref, Molham}, title = {{Datalog for Enterprise Software: from Industrial Applications to Research}}, booktitle = {Technical Communications of the 26th International Conference on Logic Programming}, pages = {1--1}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-17-0}, ISSN = {1868-8969}, year = {2010}, volume = {7}, editor = {Hermenegildo, Manuel and Schaub, Torsten}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2010.1}, URN = {urn:nbn:de:0030-drops-25762}, doi = {10.4230/LIPIcs.ICLP.2010.1}, annote = {Keywords: Datalog, decision automation, analytics, planning} }
François Fages. A Logical Paradigm for Systems Biology (Invited Talk). In Technical Communications of the 26th International Conference on Logic Programming. Leibniz International Proceedings in Informatics (LIPIcs), Volume 7, pp. 2-3, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)
@InProceedings{fages:LIPIcs.ICLP.2010.2, author = {Fages, Fran\c{c}ois}, title = {{A Logical Paradigm for Systems Biology}}, booktitle = {Technical Communications of the 26th International Conference on Logic Programming}, pages = {2--3}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-17-0}, ISSN = {1868-8969}, year = {2010}, volume = {7}, editor = {Hermenegildo, Manuel and Schaub, Torsten}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2010.2}, URN = {urn:nbn:de:0030-drops-25776}, doi = {10.4230/LIPIcs.ICLP.2010.2}, annote = {Keywords: temporal logic, model-checking, systems biology, hybrid systems} }
Marco Alberti, Marco Gavanelli, and Evelina Lamma. Runtime Addition of Integrity Constraints in an Abductive Proof Procedure. In Technical Communications of the 26th International Conference on Logic Programming. Leibniz International Proceedings in Informatics (LIPIcs), Volume 7, pp. 4-13, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)
@InProceedings{alberti_et_al:LIPIcs.ICLP.2010.4, author = {Alberti, Marco and Gavanelli, Marco and Lamma, Evelina}, title = {{Runtime Addition of Integrity Constraints in an Abductive Proof Procedure}}, booktitle = {Technical Communications of the 26th International Conference on Logic Programming}, pages = {4--13}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-17-0}, ISSN = {1868-8969}, year = {2010}, volume = {7}, editor = {Hermenegildo, Manuel and Schaub, Torsten}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2010.4}, URN = {urn:nbn:de:0030-drops-25784}, doi = {10.4230/LIPIcs.ICLP.2010.4}, annote = {Keywords: Abduction, semantics, interactive computation, proof procedure} }
Marcello Balduccini. Learning Domain-Specific Heuristics for Answer Set Solvers. In Technical Communications of the 26th International Conference on Logic Programming. Leibniz International Proceedings in Informatics (LIPIcs), Volume 7, pp. 14-23, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)
@InProceedings{balduccini:LIPIcs.ICLP.2010.14, author = {Balduccini, Marcello}, title = {{Learning Domain-Specific Heuristics for Answer Set Solvers}}, booktitle = {Technical Communications of the 26th International Conference on Logic Programming}, pages = {14--23}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-17-0}, ISSN = {1868-8969}, year = {2010}, volume = {7}, editor = {Hermenegildo, Manuel and Schaub, Torsten}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2010.14}, URN = {urn:nbn:de:0030-drops-25797}, doi = {10.4230/LIPIcs.ICLP.2010.14}, annote = {Keywords: Answer set programming, solvers, domain-specific heuristics} }
Selen Basol, Ozan Erdem, Michael Fink, and Giovambattista Ianni. HEX Programs with Action Atoms. In Technical Communications of the 26th International Conference on Logic Programming. Leibniz International Proceedings in Informatics (LIPIcs), Volume 7, pp. 24-33, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)
@InProceedings{basol_et_al:LIPIcs.ICLP.2010.24, author = {Basol, Selen and Erdem, Ozan and Fink, Michael and Ianni, Giovambattista}, title = {{HEX Programs with Action Atoms}}, booktitle = {Technical Communications of the 26th International Conference on Logic Programming}, pages = {24--33}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-17-0}, ISSN = {1868-8969}, year = {2010}, volume = {7}, editor = {Hermenegildo, Manuel and Schaub, Torsten}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2010.24}, URN = {urn:nbn:de:0030-drops-25803}, doi = {10.4230/LIPIcs.ICLP.2010.24}, annote = {Keywords: Answer Set Programming, Logic programming interoperability, Action languages} }
Kim Bauters, Jeroen Janssen, Steven Schockaert, Dirk Vermeir, and Martine De Cock. Communicating Answer Set Programs. In Technical Communications of the 26th International Conference on Logic Programming. Leibniz International Proceedings in Informatics (LIPIcs), Volume 7, pp. 34-43, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)
@InProceedings{bauters_et_al:LIPIcs.ICLP.2010.34, author = {Bauters, Kim and Janssen, Jeroen and Schockaert, Steven and Vermeir, Dirk and De Cock, Martine}, title = {{Communicating Answer Set Programs}}, booktitle = {Technical Communications of the 26th International Conference on Logic Programming}, pages = {34--43}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-17-0}, ISSN = {1868-8969}, year = {2010}, volume = {7}, editor = {Hermenegildo, Manuel and Schaub, Torsten}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2010.34}, URN = {urn:nbn:de:0030-drops-25813}, doi = {10.4230/LIPIcs.ICLP.2010.34}, annote = {Keywords: } }
Stefan Brass. Implementation Alternatives for Bottom-Up Evaluation. In Technical Communications of the 26th International Conference on Logic Programming. Leibniz International Proceedings in Informatics (LIPIcs), Volume 7, pp. 44-53, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)
@InProceedings{brass:LIPIcs.ICLP.2010.44, author = {Brass, Stefan}, title = {{Implementation Alternatives for Bottom-Up Evaluation}}, booktitle = {Technical Communications of the 26th International Conference on Logic Programming}, pages = {44--53}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-17-0}, ISSN = {1868-8969}, year = {2010}, volume = {7}, editor = {Hermenegildo, Manuel and Schaub, Torsten}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2010.44}, URN = {urn:nbn:de:0030-drops-25820}, doi = {10.4230/LIPIcs.ICLP.2010.44}, annote = {Keywords: Deductive databases, bottom-up evaluation, implementation} }
Domenico Corapi, Alessandra Russo, and Emil Lupu. Inductive Logic Programming as Abductive Search. In Technical Communications of the 26th International Conference on Logic Programming. Leibniz International Proceedings in Informatics (LIPIcs), Volume 7, pp. 54-63, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)
@InProceedings{corapi_et_al:LIPIcs.ICLP.2010.54, author = {Corapi, Domenico and Russo, Alessandra and Lupu, Emil}, title = {{Inductive Logic Programming as Abductive Search}}, booktitle = {Technical Communications of the 26th International Conference on Logic Programming}, pages = {54--63}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-17-0}, ISSN = {1868-8969}, year = {2010}, volume = {7}, editor = {Hermenegildo, Manuel and Schaub, Torsten}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2010.54}, URN = {urn:nbn:de:0030-drops-25838}, doi = {10.4230/LIPIcs.ICLP.2010.54}, annote = {Keywords: Inductive Logic Programming, Abductive Logic Programming, Non-monotonic Reasoning} }
Timur Fayruzov, Jeroen Janssen, Dirk Vermeir, Chris Cornelis, and Martine De Cock. Efficient Solving of Time-dependent Answer Set Programs. In Technical Communications of the 26th International Conference on Logic Programming. Leibniz International Proceedings in Informatics (LIPIcs), Volume 7, pp. 64-73, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)
@InProceedings{fayruzov_et_al:LIPIcs.ICLP.2010.64, author = {Fayruzov, Timur and Janssen, Jeroen and Vermeir, Dirk and Cornelis, Chris and De Cock, Martine}, title = {{Efficient Solving of Time-dependent Answer Set Programs}}, booktitle = {Technical Communications of the 26th International Conference on Logic Programming}, pages = {64--73}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-17-0}, ISSN = {1868-8969}, year = {2010}, volume = {7}, editor = {Hermenegildo, Manuel and Schaub, Torsten}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2010.64}, URN = {urn:nbn:de:0030-drops-25841}, doi = {10.4230/LIPIcs.ICLP.2010.64}, annote = {Keywords: Answer set programming, time-dependent programs, gene regulation networks} }
Daan Fierens. Improving the Efficiency of Gibbs Sampling for Probabilistic Logical Models by Means of Program Specialization. In Technical Communications of the 26th International Conference on Logic Programming. Leibniz International Proceedings in Informatics (LIPIcs), Volume 7, pp. 74-83, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)
@InProceedings{fierens:LIPIcs.ICLP.2010.74, author = {Fierens, Daan}, title = {{Improving the Efficiency of Gibbs Sampling for Probabilistic Logical Models by Means of Program Specialization}}, booktitle = {Technical Communications of the 26th International Conference on Logic Programming}, pages = {74--83}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-17-0}, ISSN = {1868-8969}, year = {2010}, volume = {7}, editor = {Hermenegildo, Manuel and Schaub, Torsten}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2010.74}, URN = {urn:nbn:de:0030-drops-25857}, doi = {10.4230/LIPIcs.ICLP.2010.74}, annote = {Keywords: Probabilistic logical models, probabilistic logic programming, program specialization, Gibbs sampling} }
Nicolas Guenot. Focused Proof Search for Linear Logic in the Calculus of Structures. In Technical Communications of the 26th International Conference on Logic Programming. Leibniz International Proceedings in Informatics (LIPIcs), Volume 7, pp. 84-93, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)
@InProceedings{guenot:LIPIcs.ICLP.2010.84, author = {Guenot, Nicolas}, title = {{Focused Proof Search for Linear Logic in the Calculus of Structures}}, booktitle = {Technical Communications of the 26th International Conference on Logic Programming}, pages = {84--93}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-17-0}, ISSN = {1868-8969}, year = {2010}, volume = {7}, editor = {Hermenegildo, Manuel and Schaub, Torsten}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2010.84}, URN = {urn:nbn:de:0030-drops-25868}, doi = {10.4230/LIPIcs.ICLP.2010.84}, annote = {Keywords: Proof theory, focusing, proof search, deep inference, linear logic} }
Tomi Janhunen. Sampler Programs: The Stable Model Semantics of Abstract Constraint Programs Revisited. In Technical Communications of the 26th International Conference on Logic Programming. Leibniz International Proceedings in Informatics (LIPIcs), Volume 7, pp. 94-103, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)
@InProceedings{janhunen:LIPIcs.ICLP.2010.94, author = {Janhunen, Tomi}, title = {{Sampler Programs: The Stable Model Semantics of Abstract Constraint Programs Revisited}}, booktitle = {Technical Communications of the 26th International Conference on Logic Programming}, pages = {94--103}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-17-0}, ISSN = {1868-8969}, year = {2010}, volume = {7}, editor = {Hermenegildo, Manuel and Schaub, Torsten}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2010.94}, URN = {urn:nbn:de:0030-drops-25871}, doi = {10.4230/LIPIcs.ICLP.2010.94}, annote = {Keywords: Stable models, abstract constraints, program reduction, translation, choice rules} }
Pedro Lopez-Garcia, Luthfi Darmawan, and Francisco Bueno. A Framework for Verification and Debugging of Resource Usage Properties: Resource Usage Verification. In Technical Communications of the 26th International Conference on Logic Programming. Leibniz International Proceedings in Informatics (LIPIcs), Volume 7, pp. 104-113, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)
@InProceedings{lopezgarcia_et_al:LIPIcs.ICLP.2010.104, author = {Lopez-Garcia, Pedro and Darmawan, Luthfi and Bueno, Francisco}, title = {{A Framework for Verification and Debugging of Resource Usage Properties: Resource Usage Verification}}, booktitle = {Technical Communications of the 26th International Conference on Logic Programming}, pages = {104--113}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-17-0}, ISSN = {1868-8969}, year = {2010}, volume = {7}, editor = {Hermenegildo, Manuel and Schaub, Torsten}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2010.104}, URN = {urn:nbn:de:0030-drops-25889}, doi = {10.4230/LIPIcs.ICLP.2010.104}, annote = {Keywords: Program Verification and Debugging, Cost Analysis, Resource Usage Analysis, Complexity Analysis} }
Michael J. Maher. Contractibility and Contractible Approximations of Soft Global Constraints. In Technical Communications of the 26th International Conference on Logic Programming. Leibniz International Proceedings in Informatics (LIPIcs), Volume 7, pp. 114-123, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)
@InProceedings{maher:LIPIcs.ICLP.2010.114, author = {Maher, Michael J.}, title = {{Contractibility and Contractible Approximations of Soft Global Constraints}}, booktitle = {Technical Communications of the 26th International Conference on Logic Programming}, pages = {114--123}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-17-0}, ISSN = {1868-8969}, year = {2010}, volume = {7}, editor = {Hermenegildo, Manuel and Schaub, Torsten}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2010.114}, URN = {urn:nbn:de:0030-drops-25890}, doi = {10.4230/LIPIcs.ICLP.2010.114}, annote = {Keywords: Constraint logic programming, global constraints, open constraints, soft constraints} }
Theofrastos Mantadelis and Gerda Janssens. Dedicated Tabling for a Probabilistic Setting. In Technical Communications of the 26th International Conference on Logic Programming. Leibniz International Proceedings in Informatics (LIPIcs), Volume 7, pp. 124-133, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)
@InProceedings{mantadelis_et_al:LIPIcs.ICLP.2010.124, author = {Mantadelis, Theofrastos and Janssens, Gerda}, title = {{Dedicated Tabling for a Probabilistic Setting}}, booktitle = {Technical Communications of the 26th International Conference on Logic Programming}, pages = {124--133}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-17-0}, ISSN = {1868-8969}, year = {2010}, volume = {7}, editor = {Hermenegildo, Manuel and Schaub, Torsten}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2010.124}, URN = {urn:nbn:de:0030-drops-25903}, doi = {10.4230/LIPIcs.ICLP.2010.124}, annote = {Keywords: Tabling, Loop Detection, Probabilistic Logical Programming, ProbLog} }
Luis Moniz Pereira and Alexandre Miguel Pinto. Tight Semantics for Logic Programs. In Technical Communications of the 26th International Conference on Logic Programming. Leibniz International Proceedings in Informatics (LIPIcs), Volume 7, pp. 134-143, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)
@InProceedings{pereira_et_al:LIPIcs.ICLP.2010.134, author = {Pereira, Luis Moniz and Pinto, Alexandre Miguel}, title = {{Tight Semantics for Logic Programs}}, booktitle = {Technical Communications of the 26th International Conference on Logic Programming}, pages = {134--143}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-17-0}, ISSN = {1868-8969}, year = {2010}, volume = {7}, editor = {Hermenegildo, Manuel and Schaub, Torsten}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2010.134}, URN = {urn:nbn:de:0030-drops-25919}, doi = {10.4230/LIPIcs.ICLP.2010.134}, annote = {Keywords: Normal Logic Programs, Relevance, Cumulativity, Stable Models, Well-Founded Semantics, Program Remainder} }
Joseph P. Near. From Relational Specifications to Logic Programs. In Technical Communications of the 26th International Conference on Logic Programming. Leibniz International Proceedings in Informatics (LIPIcs), Volume 7, pp. 144-153, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)
@InProceedings{near:LIPIcs.ICLP.2010.144, author = {Near, Joseph P.}, title = {{From Relational Specifications to Logic Programs}}, booktitle = {Technical Communications of the 26th International Conference on Logic Programming}, pages = {144--153}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-17-0}, ISSN = {1868-8969}, year = {2010}, volume = {7}, editor = {Hermenegildo, Manuel and Schaub, Torsten}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2010.144}, URN = {urn:nbn:de:0030-drops-25924}, doi = {10.4230/LIPIcs.ICLP.2010.144}, annote = {Keywords: logic programming, specification languages, executable specifications} }
Johannes Oetsch, Jörg Pührer, and Hans Tompits. Methods and Methodologies for Developing Answer-Set Programs - Project Description. In Technical Communications of the 26th International Conference on Logic Programming. Leibniz International Proceedings in Informatics (LIPIcs), Volume 7, pp. 154-161, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)
@InProceedings{oetsch_et_al:LIPIcs.ICLP.2010.154, author = {Oetsch, Johannes and P\"{u}hrer, J\"{o}rg and Tompits, Hans}, title = {{Methods and Methodologies for Developing Answer-Set Programs - Project Description}}, booktitle = {Technical Communications of the 26th International Conference on Logic Programming}, pages = {154--161}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-17-0}, ISSN = {1868-8969}, year = {2010}, volume = {7}, editor = {Hermenegildo, Manuel and Schaub, Torsten}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2010.154}, URN = {urn:nbn:de:0030-drops-25937}, doi = {10.4230/LIPIcs.ICLP.2010.154}, annote = {Keywords: Answer-set programming, program development, testing, debugging} }
Fabrizio Riguzzi and Terrance Swift. Tabling and Answer Subsumption for Reasoning on Logic Programs with Annotated Disjunctions. In Technical Communications of the 26th International Conference on Logic Programming. Leibniz International Proceedings in Informatics (LIPIcs), Volume 7, pp. 162-171, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)
@InProceedings{riguzzi_et_al:LIPIcs.ICLP.2010.162, author = {Riguzzi, Fabrizio and Swift, Terrance}, title = {{Tabling and Answer Subsumption for Reasoning on Logic Programs with Annotated Disjunctions}}, booktitle = {Technical Communications of the 26th International Conference on Logic Programming}, pages = {162--171}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-17-0}, ISSN = {1868-8969}, year = {2010}, volume = {7}, editor = {Hermenegildo, Manuel and Schaub, Torsten}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2010.162}, URN = {urn:nbn:de:0030-drops-25948}, doi = {10.4230/LIPIcs.ICLP.2010.162}, annote = {Keywords: Probabilistic Logic Programming, Tabling, Answer Subsumption, Logic Programs with Annotated Disjunction, Program Transformation} }
Jose Santos and Stephen Muggleton. Subsumer: A Prolog theta-subsumption engine. In Technical Communications of the 26th International Conference on Logic Programming. Leibniz International Proceedings in Informatics (LIPIcs), Volume 7, pp. 172-181, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)
@InProceedings{santos_et_al:LIPIcs.ICLP.2010.172, author = {Santos, Jose and Muggleton, Stephen}, title = {{Subsumer: A Prolog theta-subsumption engine}}, booktitle = {Technical Communications of the 26th International Conference on Logic Programming}, pages = {172--181}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-17-0}, ISSN = {1868-8969}, year = {2010}, volume = {7}, editor = {Hermenegildo, Manuel and Schaub, Torsten}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2010.172}, URN = {urn:nbn:de:0030-drops-25959}, doi = {10.4230/LIPIcs.ICLP.2010.172}, annote = {Keywords: Theta-subsumption, Prolog, Inductive Logic Programming} }
Paulo Shakarian, V.S. Subrahmanian, and Maria Luisa Sapino. Using Generalized Annotated Programs to Solve Social Network Optimization Problems. In Technical Communications of the 26th International Conference on Logic Programming. Leibniz International Proceedings in Informatics (LIPIcs), Volume 7, pp. 182-191, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)
@InProceedings{shakarian_et_al:LIPIcs.ICLP.2010.182, author = {Shakarian, Paulo and Subrahmanian, V.S. and Sapino, Maria Luisa}, title = {{Using Generalized Annotated Programs to Solve Social Network Optimization Problems}}, booktitle = {Technical Communications of the 26th International Conference on Logic Programming}, pages = {182--191}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-17-0}, ISSN = {1868-8969}, year = {2010}, volume = {7}, editor = {Hermenegildo, Manuel and Schaub, Torsten}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2010.182}, URN = {urn:nbn:de:0030-drops-25964}, doi = {10.4230/LIPIcs.ICLP.2010.182}, annote = {Keywords: Annotated logic programming, optimization queries, social networks} }
Gerardo Simari and V.S. Subrahmanian. Abductive Inference in Probabilistic Logic Programs. In Technical Communications of the 26th International Conference on Logic Programming. Leibniz International Proceedings in Informatics (LIPIcs), Volume 7, pp. 192-201, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)
@InProceedings{simari_et_al:LIPIcs.ICLP.2010.192, author = {Simari, Gerardo and Subrahmanian, V.S.}, title = {{Abductive Inference in Probabilistic Logic Programs}}, booktitle = {Technical Communications of the 26th International Conference on Logic Programming}, pages = {192--201}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-17-0}, ISSN = {1868-8969}, year = {2010}, volume = {7}, editor = {Hermenegildo, Manuel and Schaub, Torsten}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2010.192}, URN = {urn:nbn:de:0030-drops-25971}, doi = {10.4230/LIPIcs.ICLP.2010.192}, annote = {Keywords: Probabilistic Logic Programming, Imprecise Probabilities, Abductive Inference} }
Christoph Wernhard. Circumscription and Projection as Primitives of Logic Programming. In Technical Communications of the 26th International Conference on Logic Programming. Leibniz International Proceedings in Informatics (LIPIcs), Volume 7, pp. 202-211, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)
@InProceedings{wernhard:LIPIcs.ICLP.2010.202, author = {Wernhard, Christoph}, title = {{Circumscription and Projection as Primitives of Logic Programming}}, booktitle = {Technical Communications of the 26th International Conference on Logic Programming}, pages = {202--211}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-17-0}, ISSN = {1868-8969}, year = {2010}, volume = {7}, editor = {Hermenegildo, Manuel and Schaub, Torsten}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2010.202}, URN = {urn:nbn:de:0030-drops-25981}, doi = {10.4230/LIPIcs.ICLP.2010.202}, annote = {Keywords: } }
Neda Saeedloei and Gopal Gupta. Timed Definite Clause Omega-Grammars. In Technical Communications of the 26th International Conference on Logic Programming. Leibniz International Proceedings in Informatics (LIPIcs), Volume 7, pp. 212-221, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)
@InProceedings{saeedloei_et_al:LIPIcs.ICLP.2010.212, author = {Saeedloei, Neda and Gupta, Gopal}, title = {{Timed Definite Clause Omega-Grammars}}, booktitle = {Technical Communications of the 26th International Conference on Logic Programming}, pages = {212--221}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-17-0}, ISSN = {1868-8969}, year = {2010}, volume = {7}, editor = {Hermenegildo, Manuel and Schaub, Torsten}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2010.212}, URN = {urn:nbn:de:0030-drops-25994}, doi = {10.4230/LIPIcs.ICLP.2010.212}, annote = {Keywords: Constraint Logic Programming over reals, Co-induction, Context-Free Grammars, Omega-Grammars} }
Abdulla Alqaddoumi. Towards a Parallel Virtual Machine for Functional Logic Programming. In Technical Communications of the 26th International Conference on Logic Programming. Leibniz International Proceedings in Informatics (LIPIcs), Volume 7, pp. 222-225, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)
@InProceedings{alqaddoumi:LIPIcs.ICLP.2010.222, author = {Alqaddoumi, Abdulla}, title = {{Towards a Parallel Virtual Machine for Functional Logic Programming}}, booktitle = {Technical Communications of the 26th International Conference on Logic Programming}, pages = {222--225}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-17-0}, ISSN = {1868-8969}, year = {2010}, volume = {7}, editor = {Hermenegildo, Manuel and Schaub, Torsten}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2010.222}, URN = {urn:nbn:de:0030-drops-26001}, doi = {10.4230/LIPIcs.ICLP.2010.222}, annote = {Keywords: Functional logic programming, term rewriting system, non-determinism, needed narrowing, and-parallelism, or-parallelism} }
Mario Alviano. Dynamic Magic Sets for Disjunctive Datalog Programs. In Technical Communications of the 26th International Conference on Logic Programming. Leibniz International Proceedings in Informatics (LIPIcs), Volume 7, pp. 226-235, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)
@InProceedings{alviano:LIPIcs.ICLP.2010.226, author = {Alviano, Mario}, title = {{Dynamic Magic Sets for Disjunctive Datalog Programs}}, booktitle = {Technical Communications of the 26th International Conference on Logic Programming}, pages = {226--235}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-17-0}, ISSN = {1868-8969}, year = {2010}, volume = {7}, editor = {Hermenegildo, Manuel and Schaub, Torsten}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2010.226}, URN = {urn:nbn:de:0030-drops-26012}, doi = {10.4230/LIPIcs.ICLP.2010.226}, annote = {Keywords: Answer set programming, decidability, magic sets, disjunctive logic programs} }
Andres A. Aristizabal P.. Bisimilarity in Concurrent Constraint Programming. In Technical Communications of the 26th International Conference on Logic Programming. Leibniz International Proceedings in Informatics (LIPIcs), Volume 7, pp. 236-240, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)
@InProceedings{aristizabalp.:LIPIcs.ICLP.2010.236, author = {Aristizabal P., Andres A.}, title = {{Bisimilarity in Concurrent Constraint Programming}}, booktitle = {Technical Communications of the 26th International Conference on Logic Programming}, pages = {236--240}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-17-0}, ISSN = {1868-8969}, year = {2010}, volume = {7}, editor = {Hermenegildo, Manuel and Schaub, Torsten}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2010.236}, URN = {urn:nbn:de:0030-drops-26029}, doi = {10.4230/LIPIcs.ICLP.2010.236}, annote = {Keywords: Concurrent Constraint Programming, Concurrency, Behavioural Equivalence, Bisimilarity, Process Calculi, Operational Semantics, Labelled Semantics} }
Celine Dandois. Program analysis for code duplication in logic programs. In Technical Communications of the 26th International Conference on Logic Programming. Leibniz International Proceedings in Informatics (LIPIcs), Volume 7, pp. 241-247, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)
@InProceedings{dandois:LIPIcs.ICLP.2010.241, author = {Dandois, Celine}, title = {{Program analysis for code duplication in logic programs}}, booktitle = {Technical Communications of the 26th International Conference on Logic Programming}, pages = {241--247}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-17-0}, ISSN = {1868-8969}, year = {2010}, volume = {7}, editor = {Hermenegildo, Manuel and Schaub, Torsten}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2010.241}, URN = {urn:nbn:de:0030-drops-26033}, doi = {10.4230/LIPIcs.ICLP.2010.241}, annote = {Keywords: Logic programming, program comprehension, static program analysis, code duplication, code clone, software engineering} }
Romain Demeyer. Program Analysis to Support Concurrent Programming in Declarative Languages. In Technical Communications of the 26th International Conference on Logic Programming. Leibniz International Proceedings in Informatics (LIPIcs), Volume 7, pp. 248-254, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)
@InProceedings{demeyer:LIPIcs.ICLP.2010.248, author = {Demeyer, Romain}, title = {{Program Analysis to Support Concurrent Programming in Declarative Languages}}, booktitle = {Technical Communications of the 26th International Conference on Logic Programming}, pages = {248--254}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-17-0}, ISSN = {1868-8969}, year = {2010}, volume = {7}, editor = {Hermenegildo, Manuel and Schaub, Torsten}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2010.248}, URN = {urn:nbn:de:0030-drops-26041}, doi = {10.4230/LIPIcs.ICLP.2010.248}, annote = {Keywords: Program Analysis -- Concurrent Programming -- Logic Languages -- Abstract Interpretation} }
Christian Drescher. Constraint Answer Set Programming Systems. In Technical Communications of the 26th International Conference on Logic Programming. Leibniz International Proceedings in Informatics (LIPIcs), Volume 7, pp. 255-264, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)
@InProceedings{drescher:LIPIcs.ICLP.2010.255, author = {Drescher, Christian}, title = {{Constraint Answer Set Programming Systems}}, booktitle = {Technical Communications of the 26th International Conference on Logic Programming}, pages = {255--264}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-17-0}, ISSN = {1868-8969}, year = {2010}, volume = {7}, editor = {Hermenegildo, Manuel and Schaub, Torsten}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2010.255}, URN = {urn:nbn:de:0030-drops-26056}, doi = {10.4230/LIPIcs.ICLP.2010.255}, annote = {Keywords: Answer set programming, constraint logic programming, constraint processing} }
Sarah Alice Gaggl. Towards a General Argumentation System based on Answer-Set Programming. In Technical Communications of the 26th International Conference on Logic Programming. Leibniz International Proceedings in Informatics (LIPIcs), Volume 7, pp. 265-269, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)
@InProceedings{gaggl:LIPIcs.ICLP.2010.265, author = {Gaggl, Sarah Alice}, title = {{Towards a General Argumentation System based on Answer-Set Programming}}, booktitle = {Technical Communications of the 26th International Conference on Logic Programming}, pages = {265--269}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-17-0}, ISSN = {1868-8969}, year = {2010}, volume = {7}, editor = {Hermenegildo, Manuel and Schaub, Torsten}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2010.265}, URN = {urn:nbn:de:0030-drops-26065}, doi = {10.4230/LIPIcs.ICLP.2010.265}, annote = {Keywords: Argumentation, Implementation, Answer-Set Programming} }
Hugo A. Lopez. Models for Trustworthy Service and Process Oriented Systems. In Technical Communications of the 26th International Conference on Logic Programming. Leibniz International Proceedings in Informatics (LIPIcs), Volume 7, pp. 270-276, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)
@InProceedings{lopez:LIPIcs.ICLP.2010.270, author = {Lopez, Hugo A.}, title = {{Models for Trustworthy Service and Process Oriented Systems}}, booktitle = {Technical Communications of the 26th International Conference on Logic Programming}, pages = {270--276}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-17-0}, ISSN = {1868-8969}, year = {2010}, volume = {7}, editor = {Hermenegildo, Manuel and Schaub, Torsten}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2010.270}, URN = {urn:nbn:de:0030-drops-26073}, doi = {10.4230/LIPIcs.ICLP.2010.270}, annote = {Keywords: Concurrent Constraint Calculi, Session Types, Logic, Service and Process oriented computing} }
Thierry Martinez. Design and Implementation of a Concurrent Logic Programming Language with Linear Logic Constraints. In Technical Communications of the 26th International Conference on Logic Programming. Leibniz International Proceedings in Informatics (LIPIcs), Volume 7, pp. 277-280, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)
@InProceedings{martinez:LIPIcs.ICLP.2010.277, author = {Martinez, Thierry}, title = {{Design and Implementation of a Concurrent Logic Programming Language with Linear Logic Constraints}}, booktitle = {Technical Communications of the 26th International Conference on Logic Programming}, pages = {277--280}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-17-0}, ISSN = {1868-8969}, year = {2010}, volume = {7}, editor = {Hermenegildo, Manuel and Schaub, Torsten}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2010.277}, URN = {urn:nbn:de:0030-drops-26085}, doi = {10.4230/LIPIcs.ICLP.2010.277}, annote = {Keywords: Concurrent logic programming} }
Niels Pahlavi. Higher-order Logic Learning and lambda-Progol. In Technical Communications of the 26th International Conference on Logic Programming. Leibniz International Proceedings in Informatics (LIPIcs), Volume 7, pp. 281-285, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)
@InProceedings{pahlavi:LIPIcs.ICLP.2010.281, author = {Pahlavi, Niels}, title = {{Higher-order Logic Learning and lambda-Progol}}, booktitle = {Technical Communications of the 26th International Conference on Logic Programming}, pages = {281--285}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-17-0}, ISSN = {1868-8969}, year = {2010}, volume = {7}, editor = {Hermenegildo, Manuel and Schaub, Torsten}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2010.281}, URN = {urn:nbn:de:0030-drops-26098}, doi = {10.4230/LIPIcs.ICLP.2010.281}, annote = {Keywords: Inductive Logic Programming, Progol, Higher-order Logic, Higher-order Logic Learning, \$lambda\$Prolog} }
Fabio Parisini. Local Branching in a Constraint Programming Framework. In Technical Communications of the 26th International Conference on Logic Programming. Leibniz International Proceedings in Informatics (LIPIcs), Volume 7, pp. 286-288, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)
@InProceedings{parisini:LIPIcs.ICLP.2010.286, author = {Parisini, Fabio}, title = {{Local Branching in a Constraint Programming Framework}}, booktitle = {Technical Communications of the 26th International Conference on Logic Programming}, pages = {286--288}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-17-0}, ISSN = {1868-8969}, year = {2010}, volume = {7}, editor = {Hermenegildo, Manuel and Schaub, Torsten}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2010.286}, URN = {urn:nbn:de:0030-drops-26104}, doi = {10.4230/LIPIcs.ICLP.2010.286}, annote = {Keywords: Local Branching, LDS, Local Search, Tree Search, Constraint Programming} }
Neda Saeedloei. Logic Programming Foundations of Cyber-Physical Systems. In Technical Communications of the 26th International Conference on Logic Programming. Leibniz International Proceedings in Informatics (LIPIcs), Volume 7, pp. 289-293, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)
@InProceedings{saeedloei:LIPIcs.ICLP.2010.289, author = {Saeedloei, Neda}, title = {{Logic Programming Foundations of Cyber-Physical Systems}}, booktitle = {Technical Communications of the 26th International Conference on Logic Programming}, pages = {289--293}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-17-0}, ISSN = {1868-8969}, year = {2010}, volume = {7}, editor = {Hermenegildo, Manuel and Schaub, Torsten}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2010.289}, URN = {urn:nbn:de:0030-drops-26114}, doi = {10.4230/LIPIcs.ICLP.2010.289}, annote = {Keywords: Cyber-Physical Systems, Constraint Logic Programming over reals, Co-induction, Coroutining} }
Zachary Snow. Realizing the Dependently Typed Lambda Calculus. In Technical Communications of the 26th International Conference on Logic Programming. Leibniz International Proceedings in Informatics (LIPIcs), Volume 7, pp. 294-299, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)
@InProceedings{snow:LIPIcs.ICLP.2010.294, author = {Snow, Zachary}, title = {{Realizing the Dependently Typed Lambda Calculus}}, booktitle = {Technical Communications of the 26th International Conference on Logic Programming}, pages = {294--299}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-17-0}, ISSN = {1868-8969}, year = {2010}, volume = {7}, editor = {Hermenegildo, Manuel and Schaub, Torsten}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2010.294}, URN = {urn:nbn:de:0030-drops-26124}, doi = {10.4230/LIPIcs.ICLP.2010.294}, annote = {Keywords: Logical frameworks, logic programming} }
Mauricio Toro-Bermudez. Structured Interactive Musical Scores. In Technical Communications of the 26th International Conference on Logic Programming. Leibniz International Proceedings in Informatics (LIPIcs), Volume 7, pp. 300-302, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)
@InProceedings{torobermudez:LIPIcs.ICLP.2010.300, author = {Toro-Bermudez, Mauricio}, title = {{Structured Interactive Musical Scores}}, booktitle = {Technical Communications of the 26th International Conference on Logic Programming}, pages = {300--302}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-17-0}, ISSN = {1868-8969}, year = {2010}, volume = {7}, editor = {Hermenegildo, Manuel and Schaub, Torsten}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2010.300}, URN = {urn:nbn:de:0030-drops-26134}, doi = {10.4230/LIPIcs.ICLP.2010.300}, annote = {Keywords: Ntcc, ccp, interactive scores, temporal relations, faust, ntccrt, heterogeneous systems, automatic verification} }
Jakob Zwirchmayr. Cutting-Edge Timing Analysis Techniques. In Technical Communications of the 26th International Conference on Logic Programming. Leibniz International Proceedings in Informatics (LIPIcs), Volume 7, pp. 303-305, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)
@InProceedings{zwirchmayr:LIPIcs.ICLP.2010.303, author = {Zwirchmayr, Jakob}, title = {{Cutting-Edge Timing Analysis Techniques}}, booktitle = {Technical Communications of the 26th International Conference on Logic Programming}, pages = {303--305}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-17-0}, ISSN = {1868-8969}, year = {2010}, volume = {7}, editor = {Hermenegildo, Manuel and Schaub, Torsten}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2010.303}, URN = {urn:nbn:de:0030-drops-26140}, doi = {10.4230/LIPIcs.ICLP.2010.303}, annote = {Keywords: Verification, timing analysis, hard real-time systems, static analysis, worst-case execution time, loop-invariants, nested loop, symbolic computation,} }