OASIcs, Volume 64
ICLP 2018, July 14-17, 2018, Oxford, United Kingdom
Editors: Alessandro Dal Palu', Paul Tarau, Neda Saeedloei, and Paul Fodor
OASIcs, Volume 58
ICLP 2017, August 28 to September 1, 2017, Melbourne, Australia
Editors: Ricardo Rocha, Tran Cao Son, Christopher Mears, and Neda Saeedloei
OASIcs, Volume 52
ICLP 2016 TCs, October 16-21, 2016, New York City, USA
Editors: Manuel Carro, Andy King, Neda Saeedloei, and Marina De Vos
Published in: OASIcs, Volume 64, Technical Communications of the 34th International Conference on Logic Programming (ICLP 2018)
Alessandro Dal Palu', Paul Tarau, Neda Saeedloei, and Paul Fodor. OASIcs, Volume 64, ICLP'18, Complete Volume. In Technical Communications of the 34th International Conference on Logic Programming (ICLP 2018). Open Access Series in Informatics (OASIcs), Volume 64, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2018)
@Proceedings{dalpalu_et_al:OASIcs.ICLP.2018, title = {{OASIcs, Volume 64, ICLP'18, Complete Volume}}, booktitle = {Technical Communications of the 34th International Conference on Logic Programming (ICLP 2018)}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-090-3}, ISSN = {2190-6807}, year = {2018}, volume = {64}, editor = {Dal Palu', Alessandro and Tarau, Paul and Saeedloei, Neda and Fodor, Paul}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.ICLP.2018}, URN = {urn:nbn:de:0030-drops-98979}, doi = {10.4230/OASIcs.ICLP.2018}, annote = {Keywords: Software and its engineering, Constraint and logic languages, Theory of computation, Logic, Constraint and logic programming} }
Published in: OASIcs, Volume 64, Technical Communications of the 34th International Conference on Logic Programming (ICLP 2018)
Alessandro Dal Palu', Paul Tarau, Neda Saeedloei, and Paul Fodor. Front Matter, Table of Contents, Preface, Conference Organization. In Technical Communications of the 34th International Conference on Logic Programming (ICLP 2018). Open Access Series in Informatics (OASIcs), Volume 64, pp. 0:i-0:x, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2018)
@InProceedings{dalpalu_et_al:OASIcs.ICLP.2018.0, author = {Dal Palu', Alessandro and Tarau, Paul and Saeedloei, Neda and Fodor, Paul}, title = {{Front Matter, Table of Contents, Preface, Conference Organization}}, booktitle = {Technical Communications of the 34th International Conference on Logic Programming (ICLP 2018)}, pages = {0:i--0:x}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-090-3}, ISSN = {2190-6807}, year = {2018}, volume = {64}, editor = {Dal Palu', Alessandro and Tarau, Paul and Saeedloei, Neda and Fodor, Paul}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.ICLP.2018.0}, URN = {urn:nbn:de:0030-drops-98669}, doi = {10.4230/OASIcs.ICLP.2018.0}, annote = {Keywords: Front Matter, Table of Contents, Preface, Conference Organization} }
Published in: OASIcs, Volume 64, Technical Communications of the 34th International Conference on Logic Programming (ICLP 2018)
Patrick Thor Kahl and Anthony P. Leclerc. Epistemic Logic Programs with World View Constraints. In Technical Communications of the 34th International Conference on Logic Programming (ICLP 2018). Open Access Series in Informatics (OASIcs), Volume 64, pp. 1:1-1:17, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2018)
@InProceedings{kahl_et_al:OASIcs.ICLP.2018.1, author = {Kahl, Patrick Thor and Leclerc, Anthony P.}, title = {{Epistemic Logic Programs with World View Constraints}}, booktitle = {Technical Communications of the 34th International Conference on Logic Programming (ICLP 2018)}, pages = {1:1--1:17}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-090-3}, ISSN = {2190-6807}, year = {2018}, volume = {64}, editor = {Dal Palu', Alessandro and Tarau, Paul and Saeedloei, Neda and Fodor, Paul}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.ICLP.2018.1}, URN = {urn:nbn:de:0030-drops-98679}, doi = {10.4230/OASIcs.ICLP.2018.1}, annote = {Keywords: Epistemic Specifications, Epistemic Logic Programs, Constraints, World View Constraints, World View Rules, WV Facts, Answer Set Programming, Logic Programming} }
Published in: OASIcs, Volume 64, Technical Communications of the 34th International Conference on Logic Programming (ICLP 2018)
Farhad Shakerin and Gopal Gupta. Cumulative Scoring-Based Induction of Default Theories. In Technical Communications of the 34th International Conference on Logic Programming (ICLP 2018). Open Access Series in Informatics (OASIcs), Volume 64, pp. 2:1-2:15, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2018)
@InProceedings{shakerin_et_al:OASIcs.ICLP.2018.2, author = {Shakerin, Farhad and Gupta, Gopal}, title = {{Cumulative Scoring-Based Induction of Default Theories}}, booktitle = {Technical Communications of the 34th International Conference on Logic Programming (ICLP 2018)}, pages = {2:1--2:15}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-090-3}, ISSN = {2190-6807}, year = {2018}, volume = {64}, editor = {Dal Palu', Alessandro and Tarau, Paul and Saeedloei, Neda and Fodor, Paul}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.ICLP.2018.2}, URN = {urn:nbn:de:0030-drops-98685}, doi = {10.4230/OASIcs.ICLP.2018.2}, annote = {Keywords: Inductive Logic Programming, Negation As Failure, Answer Set Programming, Default reasoning, Machine learning} }
Published in: OASIcs, Volume 64, Technical Communications of the 34th International Conference on Logic Programming (ICLP 2018)
Zhizheng Zhang. Introspecting Preferences in Answer Set Programming. In Technical Communications of the 34th International Conference on Logic Programming (ICLP 2018). Open Access Series in Informatics (OASIcs), Volume 64, pp. 3:1-3:13, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2018)
@InProceedings{zhang:OASIcs.ICLP.2018.3, author = {Zhang, Zhizheng}, title = {{Introspecting Preferences in Answer Set Programming}}, booktitle = {Technical Communications of the 34th International Conference on Logic Programming (ICLP 2018)}, pages = {3:1--3:13}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-090-3}, ISSN = {2190-6807}, year = {2018}, volume = {64}, editor = {Dal Palu', Alessandro and Tarau, Paul and Saeedloei, Neda and Fodor, Paul}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.ICLP.2018.3}, URN = {urn:nbn:de:0030-drops-98694}, doi = {10.4230/OASIcs.ICLP.2018.3}, annote = {Keywords: Answer Set, Preference, Introspection} }
Published in: OASIcs, Volume 64, Technical Communications of the 34th International Conference on Logic Programming (ICLP 2018)
Igor Stéphan. A New Proof-Theoretical Linear Semantics for CHR. In Technical Communications of the 34th International Conference on Logic Programming (ICLP 2018). Open Access Series in Informatics (OASIcs), Volume 64, pp. 4:1-4:17, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2018)
@InProceedings{stephan:OASIcs.ICLP.2018.4, author = {St\'{e}phan, Igor}, title = {{A New Proof-Theoretical Linear Semantics for CHR}}, booktitle = {Technical Communications of the 34th International Conference on Logic Programming (ICLP 2018)}, pages = {4:1--4:17}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-090-3}, ISSN = {2190-6807}, year = {2018}, volume = {64}, editor = {Dal Palu', Alessandro and Tarau, Paul and Saeedloei, Neda and Fodor, Paul}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.ICLP.2018.4}, URN = {urn:nbn:de:0030-drops-98707}, doi = {10.4230/OASIcs.ICLP.2018.4}, annote = {Keywords: Constraint Handling Rules, Linear Logic} }
Published in: OASIcs, Volume 64, Technical Communications of the 34th International Conference on Logic Programming (ICLP 2018)
Nada Sharaf, Slim Abdennadher, and Thom Frühwirth. CHR^vis: Syntax and Semantics. In Technical Communications of the 34th International Conference on Logic Programming (ICLP 2018). Open Access Series in Informatics (OASIcs), Volume 64, pp. 5:1-5:20, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2018)
@InProceedings{sharaf_et_al:OASIcs.ICLP.2018.5, author = {Sharaf, Nada and Abdennadher, Slim and Fr\"{u}hwirth, Thom}, title = {{CHR^vis: Syntax and Semantics}}, booktitle = {Technical Communications of the 34th International Conference on Logic Programming (ICLP 2018)}, pages = {5:1--5:20}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-090-3}, ISSN = {2190-6807}, year = {2018}, volume = {64}, editor = {Dal Palu', Alessandro and Tarau, Paul and Saeedloei, Neda and Fodor, Paul}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.ICLP.2018.5}, URN = {urn:nbn:de:0030-drops-98716}, doi = {10.4230/OASIcs.ICLP.2018.5}, annote = {Keywords: Constraint Handling Rules, Visualization, Animation} }
Published in: OASIcs, Volume 64, Technical Communications of the 34th International Conference on Logic Programming (ICLP 2018)
Joana Côrte-Real, Anton Dries, Inês Dutra, and Ricardo Rocha. Improving Candidate Quality of Probabilistic Logic Models. In Technical Communications of the 34th International Conference on Logic Programming (ICLP 2018). Open Access Series in Informatics (OASIcs), Volume 64, pp. 6:1-6:14, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2018)
@InProceedings{cortereal_et_al:OASIcs.ICLP.2018.6, author = {C\^{o}rte-Real, Joana and Dries, Anton and Dutra, In\^{e}s and Rocha, Ricardo}, title = {{Improving Candidate Quality of Probabilistic Logic Models}}, booktitle = {Technical Communications of the 34th International Conference on Logic Programming (ICLP 2018)}, pages = {6:1--6:14}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-090-3}, ISSN = {2190-6807}, year = {2018}, volume = {64}, editor = {Dal Palu', Alessandro and Tarau, Paul and Saeedloei, Neda and Fodor, Paul}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.ICLP.2018.6}, URN = {urn:nbn:de:0030-drops-98722}, doi = {10.4230/OASIcs.ICLP.2018.6}, annote = {Keywords: Relational Machine Learning, Probabilistic Inductive Logic Programming, Search Space Pruning, Model Quality, Experiments} }
Published in: OASIcs, Volume 64, Technical Communications of the 34th International Conference on Logic Programming (ICLP 2018)
Isabel Garcia-Contreras, José F. Morales, and Manuel V. Hermenegildo. Towards Incremental and Modular Context-Sensitive Analysis. In Technical Communications of the 34th International Conference on Logic Programming (ICLP 2018). Open Access Series in Informatics (OASIcs), Volume 64, pp. 7:1-7:2, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2018)
@InProceedings{garciacontreras_et_al:OASIcs.ICLP.2018.7, author = {Garcia-Contreras, Isabel and Morales, Jos\'{e} F. and Hermenegildo, Manuel V.}, title = {{Towards Incremental and Modular Context-Sensitive Analysis}}, booktitle = {Technical Communications of the 34th International Conference on Logic Programming (ICLP 2018)}, pages = {7:1--7:2}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-090-3}, ISSN = {2190-6807}, year = {2018}, volume = {64}, editor = {Dal Palu', Alessandro and Tarau, Paul and Saeedloei, Neda and Fodor, Paul}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.ICLP.2018.7}, URN = {urn:nbn:de:0030-drops-98735}, doi = {10.4230/OASIcs.ICLP.2018.7}, annote = {Keywords: Program Analysis, (Constraint) Logic Programming, Abstract Interpretation, Fixpoint Algorithms, Incremental Analysis, Modular Analysis} }
Published in: OASIcs, Volume 64, Technical Communications of the 34th International Conference on Logic Programming (ICLP 2018)
Federico Igne, Agostino Dovier, and Enrico Pontelli. MASP-Reduce: A Proposal for Distributed Computation of Stable Models. In Technical Communications of the 34th International Conference on Logic Programming (ICLP 2018). Open Access Series in Informatics (OASIcs), Volume 64, pp. 8:1-8:4, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2018)
@InProceedings{igne_et_al:OASIcs.ICLP.2018.8, author = {Igne, Federico and Dovier, Agostino and Pontelli, Enrico}, title = {{MASP-Reduce: A Proposal for Distributed Computation of Stable Models}}, booktitle = {Technical Communications of the 34th International Conference on Logic Programming (ICLP 2018)}, pages = {8:1--8:4}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-090-3}, ISSN = {2190-6807}, year = {2018}, volume = {64}, editor = {Dal Palu', Alessandro and Tarau, Paul and Saeedloei, Neda and Fodor, Paul}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.ICLP.2018.8}, URN = {urn:nbn:de:0030-drops-98749}, doi = {10.4230/OASIcs.ICLP.2018.8}, annote = {Keywords: ASP solving, Parallelism, Map-reduce} }
Published in: OASIcs, Volume 64, Technical Communications of the 34th International Conference on Logic Programming (ICLP 2018)
Carlo Zaniolo, Mohan Yang, Matteo Interlandi, Ariyam Das, Alexander Shkapsky, and Tyson Condie. Declarative Algorithms in Datalog with Extrema: Their Formal Semantics Simplified. In Technical Communications of the 34th International Conference on Logic Programming (ICLP 2018). Open Access Series in Informatics (OASIcs), Volume 64, pp. 9:1-9:3, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2018)
@InProceedings{zaniolo_et_al:OASIcs.ICLP.2018.9, author = {Zaniolo, Carlo and Yang, Mohan and Interlandi, Matteo and Das, Ariyam and Shkapsky, Alexander and Condie, Tyson}, title = {{Declarative Algorithms in Datalog with Extrema: Their Formal Semantics Simplified}}, booktitle = {Technical Communications of the 34th International Conference on Logic Programming (ICLP 2018)}, pages = {9:1--9:3}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-090-3}, ISSN = {2190-6807}, year = {2018}, volume = {64}, editor = {Dal Palu', Alessandro and Tarau, Paul and Saeedloei, Neda and Fodor, Paul}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.ICLP.2018.9}, URN = {urn:nbn:de:0030-drops-98758}, doi = {10.4230/OASIcs.ICLP.2018.9}, annote = {Keywords: Recursive Queries} }
Published in: OASIcs, Volume 64, Technical Communications of the 34th International Conference on Logic Programming (ICLP 2018)
Maximiliano Klemen, Nataliia Stulova, Pedro Lopez-Garcia, José F. Morales, and Manuel V. Hermenegildo. Towards Static Performance Guarantees for Programs with Run-Time Checks. In Technical Communications of the 34th International Conference on Logic Programming (ICLP 2018). Open Access Series in Informatics (OASIcs), Volume 64, pp. 10:1-10:2, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2018)
@InProceedings{klemen_et_al:OASIcs.ICLP.2018.10, author = {Klemen, Maximiliano and Stulova, Nataliia and Lopez-Garcia, Pedro and Morales, Jos\'{e} F. and Hermenegildo, Manuel V.}, title = {{Towards Static Performance Guarantees for Programs with Run-Time Checks}}, booktitle = {Technical Communications of the 34th International Conference on Logic Programming (ICLP 2018)}, pages = {10:1--10:2}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-090-3}, ISSN = {2190-6807}, year = {2018}, volume = {64}, editor = {Dal Palu', Alessandro and Tarau, Paul and Saeedloei, Neda and Fodor, Paul}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.ICLP.2018.10}, URN = {urn:nbn:de:0030-drops-98765}, doi = {10.4230/OASIcs.ICLP.2018.10}, annote = {Keywords: Run-time Checks, Assertions, Abstract Interpretation, Resource Usage Analysis} }
Feedback for Dagstuhl Publishing