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 29
SLATE 2013, June 20-21, 2013, Porto, Portugal
Editors: José Paulo Leal, Ricardo Rocha, and Alberto Simões
Published in: OASIcs, Volume 81, First International Computer Programming Education Conference (ICPEC 2020)
Marílio Cardoso, António Vieira de Castro, Álvaro Rocha, Emanuel Silva, and Jorge Mendonça. Use of Automatic Code Assessment Tools in the Programming Teaching Process. In First International Computer Programming Education Conference (ICPEC 2020). Open Access Series in Informatics (OASIcs), Volume 81, pp. 4:1-4:10, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2020)
@InProceedings{cardoso_et_al:OASIcs.ICPEC.2020.4, author = {Cardoso, Mar{\'\i}lio and de Castro, Ant\'{o}nio Vieira and Rocha, \'{A}lvaro and Silva, Emanuel and Mendon\c{c}a, Jorge}, title = {{Use of Automatic Code Assessment Tools in the Programming Teaching Process}}, booktitle = {First International Computer Programming Education Conference (ICPEC 2020)}, pages = {4:1--4:10}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-153-5}, ISSN = {2190-6807}, year = {2020}, volume = {81}, editor = {Queir\'{o}s, Ricardo and Portela, Filipe and Pinto, M\'{a}rio and Sim\~{o}es, Alberto}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.ICPEC.2020.4}, URN = {urn:nbn:de:0030-drops-122913}, doi = {10.4230/OASIcs.ICPEC.2020.4}, annote = {Keywords: Teaching programming, APROG, Moodle, VPL, Mooshak, Automatic assessment} }
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-dev.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 58, Technical Communications of the 33rd International Conference on Logic Programming (ICLP 2017)
Technical Communications of the 33rd International Conference on Logic Programming (ICLP 2017). Open Access Series in Informatics (OASIcs), Volume 58, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2018)
@Proceedings{rocha_et_al:OASIcs.ICLP.2017, title = {{OASIcs, Volume 58, ICLP'17, Complete Volume}}, booktitle = {Technical Communications of the 33rd International Conference on Logic Programming (ICLP 2017)}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-058-3}, ISSN = {2190-6807}, year = {2018}, volume = {58}, editor = {Rocha, Ricardo and Son, Tran Cao and Mears, Christopher and Saeedloei, Neda}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.ICLP.2017}, URN = {urn:nbn:de:0030-drops-85407}, doi = {10.4230/OASIcs.ICLP.2017}, annote = {Keywords: Logic Programming, Software/Program Verification, Testing and Debugging, Programming Languages, Language Classifications} }
Published in: OASIcs, Volume 58, Technical Communications of the 33rd International Conference on Logic Programming (ICLP 2017)
Technical Communications of the 33rd International Conference on Logic Programming (ICLP 2017). Open Access Series in Informatics (OASIcs), Volume 58, pp. 0:i-0:xii, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2018)
@InProceedings{rocha_et_al:OASIcs.ICLP.2017.0, author = {Rocha, Ricardo and Son, Tran Cao and Mears, Christopher and Saeedloei, Neda}, title = {{Front Matter, Table of Contents, Preface, Conference Organization}}, booktitle = {Technical Communications of the 33rd International Conference on Logic Programming (ICLP 2017)}, pages = {0:i--0:xii}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-058-3}, ISSN = {2190-6807}, year = {2018}, volume = {58}, editor = {Rocha, Ricardo and Son, Tran Cao and Mears, Christopher and Saeedloei, Neda}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.ICLP.2017.0}, URN = {urn:nbn:de:0030-drops-84525}, doi = {10.4230/OASIcs.ICLP.2017.0}, annote = {Keywords: Front Matter, Table of Contents, Preface, Conference Organization} }
Published in: OASIcs, Volume 58, Technical Communications of the 33rd International Conference on Logic Programming (ICLP 2017)
Weronika T. Adrian, Marco Manna, Nicola Leone, Giovanni Amendola, and Marek Adrian. Entity set expansion from the Web via ASP. In Technical Communications of the 33rd International Conference on Logic Programming (ICLP 2017). Open Access Series in Informatics (OASIcs), Volume 58, pp. 1:1-1:5, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2018)
@InProceedings{adrian_et_al:OASIcs.ICLP.2017.1, author = {Adrian, Weronika T. and Manna, Marco and Leone, Nicola and Amendola, Giovanni and Adrian, Marek}, title = {{Entity set expansion from the Web via ASP}}, booktitle = {Technical Communications of the 33rd International Conference on Logic Programming (ICLP 2017)}, pages = {1:1--1:5}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-058-3}, ISSN = {2190-6807}, year = {2018}, volume = {58}, editor = {Rocha, Ricardo and Son, Tran Cao and Mears, Christopher and Saeedloei, Neda}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.ICLP.2017.1}, URN = {urn:nbn:de:0030-drops-84629}, doi = {10.4230/OASIcs.ICLP.2017.1}, annote = {Keywords: answer set programming, entity set expansion, information extraction, natural language processing, word sense disambiguation} }
Published in: OASIcs, Volume 58, Technical Communications of the 33rd International Conference on Logic Programming (ICLP 2017)
Mario Alviano. The Pyglaf Argumentation Reasoner. In Technical Communications of the 33rd International Conference on Logic Programming (ICLP 2017). Open Access Series in Informatics (OASIcs), Volume 58, pp. 2:1-2:3, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2018)
@InProceedings{alviano:OASIcs.ICLP.2017.2, author = {Alviano, Mario}, title = {{The Pyglaf Argumentation Reasoner}}, booktitle = {Technical Communications of the 33rd International Conference on Logic Programming (ICLP 2017)}, pages = {2:1--2:3}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-058-3}, ISSN = {2190-6807}, year = {2018}, volume = {58}, editor = {Rocha, Ricardo and Son, Tran Cao and Mears, Christopher and Saeedloei, Neda}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.ICLP.2017.2}, URN = {urn:nbn:de:0030-drops-84546}, doi = {10.4230/OASIcs.ICLP.2017.2}, annote = {Keywords: abstract argumentation frameworks, propositional circumscription, minimal model enumeration, incremental solving} }
Published in: OASIcs, Volume 58, Technical Communications of the 33rd International Conference on Logic Programming (ICLP 2017)
Giovanni Amendola, Nicola Leone, Marco Manna, and Pierfrancesco Veltri. Reasoning on anonymity in Datalog+/-. In Technical Communications of the 33rd International Conference on Logic Programming (ICLP 2017). Open Access Series in Informatics (OASIcs), Volume 58, pp. 3:1-3:5, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2018)
@InProceedings{amendola_et_al:OASIcs.ICLP.2017.3, author = {Amendola, Giovanni and Leone, Nicola and Manna, Marco and Veltri, Pierfrancesco}, title = {{Reasoning on anonymity in Datalog+/-}}, booktitle = {Technical Communications of the 33rd International Conference on Logic Programming (ICLP 2017)}, pages = {3:1--3:5}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-058-3}, ISSN = {2190-6807}, year = {2018}, volume = {58}, editor = {Rocha, Ricardo and Son, Tran Cao and Mears, Christopher and Saeedloei, Neda}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.ICLP.2017.3}, URN = {urn:nbn:de:0030-drops-84587}, doi = {10.4230/OASIcs.ICLP.2017.3}, annote = {Keywords: Datalog, query answering, Datalog+/-, ontologies, expressiveness} }
Published in: OASIcs, Volume 58, Technical Communications of the 33rd International Conference on Logic Programming (ICLP 2017)
Melisachew Wudage Chekol and Heiner Stuckenschmidt. Rule Based Temporal Inference. In Technical Communications of the 33rd International Conference on Logic Programming (ICLP 2017). Open Access Series in Informatics (OASIcs), Volume 58, pp. 4:1-4:14, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2018)
@InProceedings{chekol_et_al:OASIcs.ICLP.2017.4, author = {Chekol, Melisachew Wudage and Stuckenschmidt, Heiner}, title = {{Rule Based Temporal Inference}}, booktitle = {Technical Communications of the 33rd International Conference on Logic Programming (ICLP 2017)}, pages = {4:1--4:14}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-058-3}, ISSN = {2190-6807}, year = {2018}, volume = {58}, editor = {Rocha, Ricardo and Son, Tran Cao and Mears, Christopher and Saeedloei, Neda}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.ICLP.2017.4}, URN = {urn:nbn:de:0030-drops-84612}, doi = {10.4230/OASIcs.ICLP.2017.4}, annote = {Keywords: temporal inference, temporal knowledge graphs, probabilistic temporal reasoning} }
Published in: OASIcs, Volume 58, Technical Communications of the 33rd International Conference on Logic Programming (ICLP 2017)
Michael Codish, Michael Frank, Amit Metodi, and Morad Muslimany. Logic Programming with Max-Clique and its Application to Graph Coloring (Tool Description). In Technical Communications of the 33rd International Conference on Logic Programming (ICLP 2017). Open Access Series in Informatics (OASIcs), Volume 58, pp. 5:1-5:18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2018)
@InProceedings{codish_et_al:OASIcs.ICLP.2017.5, author = {Codish, Michael and Frank, Michael and Metodi, Amit and Muslimany, Morad}, title = {{Logic Programming with Max-Clique and its Application to Graph Coloring}}, booktitle = {Technical Communications of the 33rd International Conference on Logic Programming (ICLP 2017)}, pages = {5:1--5:18}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-058-3}, ISSN = {2190-6807}, year = {2018}, volume = {58}, editor = {Rocha, Ricardo and Son, Tran Cao and Mears, Christopher and Saeedloei, Neda}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.ICLP.2017.5}, URN = {urn:nbn:de:0030-drops-84559}, doi = {10.4230/OASIcs.ICLP.2017.5}, annote = {Keywords: Logic Programming, Constraints, Maximum Clique} }
Published in: OASIcs, Volume 58, Technical Communications of the 33rd International Conference on Logic Programming (ICLP 2017)
Michael Hanus. Semantic Versioning Checking in a Declarative Package Manager. In Technical Communications of the 33rd International Conference on Logic Programming (ICLP 2017). Open Access Series in Informatics (OASIcs), Volume 58, pp. 6:1-6:16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2018)
@InProceedings{hanus:OASIcs.ICLP.2017.6, author = {Hanus, Michael}, title = {{Semantic Versioning Checking in a Declarative Package Manager}}, booktitle = {Technical Communications of the 33rd International Conference on Logic Programming (ICLP 2017)}, pages = {6:1--6:16}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-058-3}, ISSN = {2190-6807}, year = {2018}, volume = {58}, editor = {Rocha, Ricardo and Son, Tran Cao and Mears, Christopher and Saeedloei, Neda}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.ICLP.2017.6}, URN = {urn:nbn:de:0030-drops-84568}, doi = {10.4230/OASIcs.ICLP.2017.6}, annote = {Keywords: functional logic programming, semantic versioning, program testing} }
Published in: OASIcs, Volume 58, Technical Communications of the 33rd International Conference on Logic Programming (ICLP 2017)
Daniela Inclezan, Qinglin Zhang, Marcello Balduccini, and Ankush Israney. Understanding Restaurant Stories Using an ASP Theory of Intentions. In Technical Communications of the 33rd International Conference on Logic Programming (ICLP 2017). Open Access Series in Informatics (OASIcs), Volume 58, pp. 7:1-7:4, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2018)
@InProceedings{inclezan_et_al:OASIcs.ICLP.2017.7, author = {Inclezan, Daniela and Zhang, Qinglin and Balduccini, Marcello and Israney, Ankush}, title = {{Understanding Restaurant Stories Using an ASP Theory of Intentions}}, booktitle = {Technical Communications of the 33rd International Conference on Logic Programming (ICLP 2017)}, pages = {7:1--7:4}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-058-3}, ISSN = {2190-6807}, year = {2018}, volume = {58}, editor = {Rocha, Ricardo and Son, Tran Cao and Mears, Christopher and Saeedloei, Neda}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.ICLP.2017.7}, URN = {urn:nbn:de:0030-drops-84638}, doi = {10.4230/OASIcs.ICLP.2017.7}, annote = {Keywords: answer set programming, story understanding, theory of intentions} }
Published in: OASIcs, Volume 58, Technical Communications of the 33rd International Conference on Logic Programming (ICLP 2017)
Rolf Schwitter. Learning Effect Axioms via Probabilistic Logic Programming. In Technical Communications of the 33rd International Conference on Logic Programming (ICLP 2017). Open Access Series in Informatics (OASIcs), Volume 58, pp. 8:1-8:15, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2018)
@InProceedings{schwitter:OASIcs.ICLP.2017.8, author = {Schwitter, Rolf}, title = {{Learning Effect Axioms via Probabilistic Logic Programming}}, booktitle = {Technical Communications of the 33rd International Conference on Logic Programming (ICLP 2017)}, pages = {8:1--8:15}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-058-3}, ISSN = {2190-6807}, year = {2018}, volume = {58}, editor = {Rocha, Ricardo and Son, Tran Cao and Mears, Christopher and Saeedloei, Neda}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.ICLP.2017.8}, URN = {urn:nbn:de:0030-drops-84570}, doi = {10.4230/OASIcs.ICLP.2017.8}, annote = {Keywords: Effect Axioms, Event Calculus, Event Recognition, Probabilistic Logic Programming, Reasoning under Uncertainty} }
Published in: OASIcs, Volume 58, Technical Communications of the 33rd International Conference on Logic Programming (ICLP 2017)
Nataliia Stulova, Jose F. Morales, and Manuel V. Hermenegildo. Towards Run-time Checks Simplification via Term Hiding. In Technical Communications of the 33rd International Conference on Logic Programming (ICLP 2017). Open Access Series in Informatics (OASIcs), Volume 58, pp. 9:1-9:3, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2018)
@InProceedings{stulova_et_al:OASIcs.ICLP.2017.9, author = {Stulova, Nataliia and Morales, Jose F. and Hermenegildo, Manuel V.}, title = {{Towards Run-time Checks Simplification via Term Hiding}}, booktitle = {Technical Communications of the 33rd International Conference on Logic Programming (ICLP 2017)}, pages = {9:1--9:3}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-058-3}, ISSN = {2190-6807}, year = {2018}, volume = {58}, editor = {Rocha, Ricardo and Son, Tran Cao and Mears, Christopher and Saeedloei, Neda}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.ICLP.2017.9}, URN = {urn:nbn:de:0030-drops-84601}, doi = {10.4230/OASIcs.ICLP.2017.9}, annote = {Keywords: Module Systems, Implementation, Run-time Checking, Assertion-based Debugging and Validation, Static Analysis} }
Feedback for Dagstuhl Publishing