@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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: }
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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: }
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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,}
}
The metadata provided by Dagstuhl Publishing on its webpages, as well as their export formats (such as XML or BibTeX) available at our website, is released under the CC0 1.0 Public Domain Dedication license. That is, you are free to copy, distribute, use, modify, transform, build upon, and produce derived works from our data, even for commercial purposes, all without asking permission. Of course, we are always happy if you provide a link to us as the source of the data.
Read the full CC0 1.0 legal code for the exact terms that apply: https://creativecommons.org/publicdomain/zero/1.0/legalcode
Feedback for Dagstuhl Publishing