@Proceedings{carro_et_al:OASIcs.ICLP.2016,
title = {{OASIcs, Volume 52, ICLP'16, Complete Volume}},
booktitle = {Technical Communications of the 32nd International Conference on Logic Programming (ICLP 2016)},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-95977-007-1},
ISSN = {2190-6807},
year = {2016},
volume = {52},
editor = {Carro, Manuel and King, Andy and Saeedloei, Neda and De Vos, Marina},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.ICLP.2016},
URN = {urn:nbn:de:0030-drops-67654},
doi = {10.4230/OASIcs.ICLP.2016},
annote = {Keywords: Programming, Formal Definitions and Theory, Language Clasifications, Language Constructs and Features, Models of Computation, Semantics of Programming Languages, Mathematical Logic, Grammars and Other Rewriting Systems, Database Administration, Data Mining, Applications and Expert Systems,}
}
@InProceedings{carro_et_al:OASIcs.ICLP.2016.0,
author = {Carro, Manuel and King, Andy and Saeedloei, Neda and De Vos, Marina},
title = {{Front Matter, Table of Contents, Preface, List of Authors}},
booktitle = {Technical Communications of the 32nd International Conference on Logic Programming (ICLP 2016)},
pages = {0:i--0:xvi},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-95977-007-1},
ISSN = {2190-6807},
year = {2016},
volume = {52},
editor = {Carro, Manuel and King, Andy and Saeedloei, Neda and De Vos, Marina},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.ICLP.2016.0},
URN = {urn:nbn:de:0030-drops-67538},
doi = {10.4230/OASIcs.ICLP.2016.0},
annote = {Keywords: Front Matter, Table of Contents, Preface, List of Authors}
}
@InProceedings{susman_et_al:OASIcs.ICLP.2016.1,
author = {Susman, Benjamin and Lierler, Yuliya},
title = {{SMT-Based Constraint Answer Set Solver EZSMT}},
booktitle = {Technical Communications of the 32nd International Conference on Logic Programming (ICLP 2016)},
pages = {1:1--1:15},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-95977-007-1},
ISSN = {2190-6807},
year = {2016},
volume = {52},
editor = {Carro, Manuel and King, Andy and Saeedloei, Neda and De Vos, Marina},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.ICLP.2016.1},
URN = {urn:nbn:de:0030-drops-67321},
doi = {10.4230/OASIcs.ICLP.2016.1},
annote = {Keywords: constraint answer set programming, constraint satisfaction processing, satisfiability modulo theories}
}
@InProceedings{gebser_et_al:OASIcs.ICLP.2016.2,
author = {Gebser, Martin and Kaminski, Roland and Kaufmann, Benjamin and Ostrowski, Max and Schaub, Torsten and Wanko, Philipp},
title = {{Theory Solving Made Easy with Clingo 5}},
booktitle = {Technical Communications of the 32nd International Conference on Logic Programming (ICLP 2016)},
pages = {2:1--2:15},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-95977-007-1},
ISSN = {2190-6807},
year = {2016},
volume = {52},
editor = {Carro, Manuel and King, Andy and Saeedloei, Neda and De Vos, Marina},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.ICLP.2016.2},
URN = {urn:nbn:de:0030-drops-67337},
doi = {10.4230/OASIcs.ICLP.2016.2},
annote = {Keywords: Answer Set Programming, Theory Language, Theory Propagation}
}
@InProceedings{romero_et_al:OASIcs.ICLP.2016.3,
author = {Romero, Javier and Schaub, Torsten and Wanko, Philipp},
title = {{Computing Diverse Optimal Stable Models}},
booktitle = {Technical Communications of the 32nd International Conference on Logic Programming (ICLP 2016)},
pages = {3:1--3:14},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-95977-007-1},
ISSN = {2190-6807},
year = {2016},
volume = {52},
editor = {Carro, Manuel and King, Andy and Saeedloei, Neda and De Vos, Marina},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.ICLP.2016.3},
URN = {urn:nbn:de:0030-drops-67348},
doi = {10.4230/OASIcs.ICLP.2016.3},
annote = {Keywords: Answer Set Programming, Diversity, Similarity, Preferences}
}
@InProceedings{brenton_et_al:OASIcs.ICLP.2016.4,
author = {Brenton, Christopher and Faber, Wolfgang and Batsakis, Sotiris},
title = {{Answer Set Programming for Qualitative Spatio-Temporal Reasoning: Methods and Experiments}},
booktitle = {Technical Communications of the 32nd International Conference on Logic Programming (ICLP 2016)},
pages = {4:1--4:15},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-95977-007-1},
ISSN = {2190-6807},
year = {2016},
volume = {52},
editor = {Carro, Manuel and King, Andy and Saeedloei, Neda and De Vos, Marina},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.ICLP.2016.4},
URN = {urn:nbn:de:0030-drops-67352},
doi = {10.4230/OASIcs.ICLP.2016.4},
annote = {Keywords: answer set programming, qualitative spatio-temporal reasoning}
}
@InProceedings{bomanson_et_al:OASIcs.ICLP.2016.5,
author = {Bomanson, Jori and Gebser, Martin and Janhunen, Tomi},
title = {{Rewriting Optimization Statements in Answer-Set Programs}},
booktitle = {Technical Communications of the 32nd International Conference on Logic Programming (ICLP 2016)},
pages = {5:1--5:15},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-95977-007-1},
ISSN = {2190-6807},
year = {2016},
volume = {52},
editor = {Carro, Manuel and King, Andy and Saeedloei, Neda and De Vos, Marina},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.ICLP.2016.5},
URN = {urn:nbn:de:0030-drops-67362},
doi = {10.4230/OASIcs.ICLP.2016.5},
annote = {Keywords: Answer-Set Programming, Pseudo-Boolean optimization, Translation methods}
}
@InProceedings{beatrix_et_al:OASIcs.ICLP.2016.6,
author = {B\'{e}atrix, Christopher and Lef\`{e}vre, Claire and Garcia, Laurent and St\'{e}phan, Igor},
title = {{Justifications and Blocking Sets in a Rule-Based Answer Set Computation}},
booktitle = {Technical Communications of the 32nd International Conference on Logic Programming (ICLP 2016)},
pages = {6:1--6:15},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-95977-007-1},
ISSN = {2190-6807},
year = {2016},
volume = {52},
editor = {Carro, Manuel and King, Andy and Saeedloei, Neda and De Vos, Marina},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.ICLP.2016.6},
URN = {urn:nbn:de:0030-drops-67310},
doi = {10.4230/OASIcs.ICLP.2016.6},
annote = {Keywords: Answer Set Programming, Justification, Rule-based Computation}
}
@InProceedings{lifschitz:OASIcs.ICLP.2016.7,
author = {Lifschitz, Vladimir},
title = {{Intelligent Instantiation and Supersafe Rules}},
booktitle = {Technical Communications of the 32nd International Conference on Logic Programming (ICLP 2016)},
pages = {7:1--7:14},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-95977-007-1},
ISSN = {2190-6807},
year = {2016},
volume = {52},
editor = {Carro, Manuel and King, Andy and Saeedloei, Neda and De Vos, Marina},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.ICLP.2016.7},
URN = {urn:nbn:de:0030-drops-67375},
doi = {10.4230/OASIcs.ICLP.2016.7},
annote = {Keywords: answer set programming}
}
@InProceedings{caoson_et_al:OASIcs.ICLP.2016.8,
author = {Cao Son, Tran and Pontelli, Enrico and Gelfond, Michael and Balduccini, Marcello},
title = {{An Answer Set Programming Framework for Reasoning About Truthfulness of Statements by Agents}},
booktitle = {Technical Communications of the 32nd International Conference on Logic Programming (ICLP 2016)},
pages = {8:1--8:4},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-95977-007-1},
ISSN = {2190-6807},
year = {2016},
volume = {52},
editor = {Carro, Manuel and King, Andy and Saeedloei, Neda and De Vos, Marina},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.ICLP.2016.8},
URN = {urn:nbn:de:0030-drops-67383},
doi = {10.4230/OASIcs.ICLP.2016.8},
annote = {Keywords: Agents, ASP, Reasoning, Knowledge}
}
@InProceedings{gebser_et_al:OASIcs.ICLP.2016.9,
author = {Gebser, Martin and Kaminski, Roland and Kaufmann, Benjamin and L\"{u}hne, Patrick and Romero, Javier and Schaub, Torsten},
title = {{Answer Set Solving with Generalized Learned Constraints}},
booktitle = {Technical Communications of the 32nd International Conference on Logic Programming (ICLP 2016)},
pages = {9:1--9:15},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-95977-007-1},
ISSN = {2190-6807},
year = {2016},
volume = {52},
editor = {Carro, Manuel and King, Andy and Saeedloei, Neda and De Vos, Marina},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.ICLP.2016.9},
URN = {urn:nbn:de:0030-drops-67393},
doi = {10.4230/OASIcs.ICLP.2016.9},
annote = {Keywords: Answer Set Programming, Conflict Learning, Constraint Generalization, Generalized Constraint Feedback}
}
@InProceedings{dundua_et_al:OASIcs.ICLP.2016.10,
author = {Dundua, Besik and Kutsia, Temur and Reisenberger-Hagmayer, Klaus},
title = {{P-rho-Log: Combining Logic Programming with Conditional Transformation Systems}},
booktitle = {Technical Communications of the 32nd International Conference on Logic Programming (ICLP 2016)},
pages = {10:1--10:5},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-95977-007-1},
ISSN = {2190-6807},
year = {2016},
volume = {52},
editor = {Carro, Manuel and King, Andy and Saeedloei, Neda and De Vos, Marina},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.ICLP.2016.10},
URN = {urn:nbn:de:0030-drops-67409},
doi = {10.4230/OASIcs.ICLP.2016.10},
annote = {Keywords: Conditional transformation rules, strategies, Prolog}
}
@InProceedings{cruzfilipe:OASIcs.ICLP.2016.11,
author = {Cruz-Filipe, Lu{\'\i}s},
title = {{Grounded Fixpoints and Active Integrity Constraints}},
booktitle = {Technical Communications of the 32nd International Conference on Logic Programming (ICLP 2016)},
pages = {11:1--11:14},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-95977-007-1},
ISSN = {2190-6807},
year = {2016},
volume = {52},
editor = {Carro, Manuel and King, Andy and Saeedloei, Neda and De Vos, Marina},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.ICLP.2016.11},
URN = {urn:nbn:de:0030-drops-67411},
doi = {10.4230/OASIcs.ICLP.2016.11},
annote = {Keywords: grounded fixpoints, active integrity constraints}
}
@InProceedings{decat_et_al:OASIcs.ICLP.2016.12,
author = {De Cat, Broes and Lierler, Yuliya},
title = {{Constraint CNF: SAT and CSP Language Under One Roof}},
booktitle = {Technical Communications of the 32nd International Conference on Logic Programming (ICLP 2016)},
pages = {12:1--12:15},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-95977-007-1},
ISSN = {2190-6807},
year = {2016},
volume = {52},
editor = {Carro, Manuel and King, Andy and Saeedloei, Neda and De Vos, Marina},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.ICLP.2016.12},
URN = {urn:nbn:de:0030-drops-67425},
doi = {10.4230/OASIcs.ICLP.2016.12},
annote = {Keywords: Propositional Satisfiability, Constraint Programming}
}
@InProceedings{gange_et_al:OASIcs.ICLP.2016.13,
author = {Gange, Graeme and Stuckey, Peter J.},
title = {{Constraint Propagation and Explanation over Novel Types by Abstract Compilation}},
booktitle = {Technical Communications of the 32nd International Conference on Logic Programming (ICLP 2016)},
pages = {13:1--13:14},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-95977-007-1},
ISSN = {2190-6807},
year = {2016},
volume = {52},
editor = {Carro, Manuel and King, Andy and Saeedloei, Neda and De Vos, Marina},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.ICLP.2016.13},
URN = {urn:nbn:de:0030-drops-67437},
doi = {10.4230/OASIcs.ICLP.2016.13},
annote = {Keywords: constraint programming, program synthesis, program analysis}
}
@InProceedings{dasseville_et_al:OASIcs.ICLP.2016.14,
author = {Dasseville, Ingmar and van der Hallen, Matthias and Bogaerts, Bart and Janssens, Gerda and Denecker, Marc},
title = {{A Compositional Typed Higher-Order Logic with Definitions}},
booktitle = {Technical Communications of the 32nd International Conference on Logic Programming (ICLP 2016)},
pages = {14:1--14:13},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-95977-007-1},
ISSN = {2190-6807},
year = {2016},
volume = {52},
editor = {Carro, Manuel and King, Andy and Saeedloei, Neda and De Vos, Marina},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.ICLP.2016.14},
URN = {urn:nbn:de:0030-drops-67447},
doi = {10.4230/OASIcs.ICLP.2016.14},
annote = {Keywords: Logic, Semantics, Compositionality}
}
@InProceedings{nampally_et_al:OASIcs.ICLP.2016.15,
author = {Nampally, Arun and Ramakrishnan, C. R.},
title = {{Inference in Probabilistic Logic Programs Using Lifted Explanations}},
booktitle = {Technical Communications of the 32nd International Conference on Logic Programming (ICLP 2016)},
pages = {15:1--15:15},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-95977-007-1},
ISSN = {2190-6807},
year = {2016},
volume = {52},
editor = {Carro, Manuel and King, Andy and Saeedloei, Neda and De Vos, Marina},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.ICLP.2016.15},
URN = {urn:nbn:de:0030-drops-67459},
doi = {10.4230/OASIcs.ICLP.2016.15},
annote = {Keywords: Probabilistic logic programs, Probabilistic inference, Lifted inference, Symbolic evaluation, Constraints}
}
@InProceedings{guzman_et_al:OASIcs.ICLP.2016.16,
author = {Guzm\'{a}n, Michell and Valencia, Frank D.},
title = {{On the Expressiveness of Spatial Constraint Systems}},
booktitle = {Technical Communications of the 32nd International Conference on Logic Programming (ICLP 2016)},
pages = {16:1--16:12},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-95977-007-1},
ISSN = {2190-6807},
year = {2016},
volume = {52},
editor = {Carro, Manuel and King, Andy and Saeedloei, Neda and De Vos, Marina},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.ICLP.2016.16},
URN = {urn:nbn:de:0030-drops-67469},
doi = {10.4230/OASIcs.ICLP.2016.16},
annote = {Keywords: Epistemic logic, Modal logic, Constraint systems, Concurrent constraint programming}
}
@InProceedings{arias:OASIcs.ICLP.2016.17,
author = {Arias, Joaqu{\'\i}n},
title = {{Tabled CLP for Reasoning Over Stream Data}},
booktitle = {Technical Communications of the 32nd International Conference on Logic Programming (ICLP 2016)},
pages = {17:1--17:8},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-95977-007-1},
ISSN = {2190-6807},
year = {2016},
volume = {52},
editor = {Carro, Manuel and King, Andy and Saeedloei, Neda and De Vos, Marina},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.ICLP.2016.17},
URN = {urn:nbn:de:0030-drops-67306},
doi = {10.4230/OASIcs.ICLP.2016.17},
annote = {Keywords: logic, languages, tabling, constraints, graph, analysis, reasoning}
}
@InProceedings{isabel:OASIcs.ICLP.2016.18,
author = {Isabel, Miguel},
title = {{Testing of Concurrent Programs}},
booktitle = {Technical Communications of the 32nd International Conference on Logic Programming (ICLP 2016)},
pages = {18:1--18:5},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-95977-007-1},
ISSN = {2190-6807},
year = {2016},
volume = {52},
editor = {Carro, Manuel and King, Andy and Saeedloei, Neda and De Vos, Marina},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.ICLP.2016.18},
URN = {urn:nbn:de:0030-drops-67470},
doi = {10.4230/OASIcs.ICLP.2016.18},
annote = {Keywords: Property-based Testing, Partial Order Reduction, Deadlock-Guided Testing, Deadlock Detection, Systematic Testing}
}
@InProceedings{gao:OASIcs.ICLP.2016.19,
author = {Gao, Tiantian},
title = {{Controlled Natural Languages for Knowledge Representation and Reasoning}},
booktitle = {Technical Communications of the 32nd International Conference on Logic Programming (ICLP 2016)},
pages = {19:1--19:10},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-95977-007-1},
ISSN = {2190-6807},
year = {2016},
volume = {52},
editor = {Carro, Manuel and King, Andy and Saeedloei, Neda and De Vos, Marina},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.ICLP.2016.19},
URN = {urn:nbn:de:0030-drops-67487},
doi = {10.4230/OASIcs.ICLP.2016.19},
annote = {Keywords: Controlled Natural Languages, Paraconsistent Logics, Defeasible Reasoning}
}
@InProceedings{vandenbroucke:OASIcs.ICLP.2016.20,
author = {Vandenbroucke, Alexander},
title = {{The Functional Perspective on Advanced Logic Programming}},
booktitle = {Technical Communications of the 32nd International Conference on Logic Programming (ICLP 2016)},
pages = {20:1--20:8},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-95977-007-1},
ISSN = {2190-6807},
year = {2016},
volume = {52},
editor = {Carro, Manuel and King, Andy and Saeedloei, Neda and De Vos, Marina},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.ICLP.2016.20},
URN = {urn:nbn:de:0030-drops-67520},
doi = {10.4230/OASIcs.ICLP.2016.20},
annote = {Keywords: Tabling, Answer Subsumption, Effect Handlers, Functional Programming, Logic Programming, Probabilistic Programming}
}
@InProceedings{frank:OASIcs.ICLP.2016.21,
author = {Frank, Michael},
title = {{Methods for Solving Extremal Problems in Practice}},
booktitle = {Technical Communications of the 32nd International Conference on Logic Programming (ICLP 2016)},
pages = {21:1--21:6},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-95977-007-1},
ISSN = {2190-6807},
year = {2016},
volume = {52},
editor = {Carro, Manuel and King, Andy and Saeedloei, Neda and De Vos, Marina},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.ICLP.2016.21},
URN = {urn:nbn:de:0030-drops-67513},
doi = {10.4230/OASIcs.ICLP.2016.21},
annote = {Keywords: Extremal Problems, Constraints, SAT Solving, Logic Programming, Parallelism}
}
@InProceedings{chen:OASIcs.ICLP.2016.22,
author = {Chen, Zhuo},
title = {{Automating Disease Management Using Answer Set Programming}},
booktitle = {Technical Communications of the 32nd International Conference on Logic Programming (ICLP 2016)},
pages = {22:1--22:10},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-95977-007-1},
ISSN = {2190-6807},
year = {2016},
volume = {52},
editor = {Carro, Manuel and King, Andy and Saeedloei, Neda and De Vos, Marina},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.ICLP.2016.22},
URN = {urn:nbn:de:0030-drops-67502},
doi = {10.4230/OASIcs.ICLP.2016.22},
annote = {Keywords: chronic disease management, knowledge pattern, answer set programming, knowledge representation, automated reasoning}
}
@InProceedings{wanko:OASIcs.ICLP.2016.23,
author = {Wanko, Philipp},
title = {{Scalable Design Space Exploration via Answer Set Programming}},
booktitle = {Technical Communications of the 32nd International Conference on Logic Programming (ICLP 2016)},
pages = {23:1--23:11},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-95977-007-1},
ISSN = {2190-6807},
year = {2016},
volume = {52},
editor = {Carro, Manuel and King, Andy and Saeedloei, Neda and De Vos, Marina},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.ICLP.2016.23},
URN = {urn:nbn:de:0030-drops-67496},
doi = {10.4230/OASIcs.ICLP.2016.23},
annote = {Keywords: Answer Set Programming, System Synthesis, Multi-Objective Optimization}
}
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