@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,}
}