HTML Export for ICLP 2018

Copy to Clipboard Download

<h2>OASIcs, Volume 64, ICLP 2018</h2>
<ul>
<li>
    <span class="authors">Alessandro Dal Palu&#039;, Paul Tarau, Neda Saeedloei, and Paul Fodor</span>
    <span class="title">OASIcs, Volume 64, ICLP&#039;18, Complete Volume</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.ICLP.2018">10.4230/OASIcs.ICLP.2018</a>
</li>
<li>
    <span class="authors">Alessandro Dal Palu&#039;, Paul Tarau, Neda Saeedloei, and Paul Fodor</span>
    <span class="title">Front Matter, Table of Contents, Preface, Conference Organization</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.ICLP.2018.0">10.4230/OASIcs.ICLP.2018.0</a>
</li>
<li>
    <span class="authors">Patrick Thor Kahl and Anthony P. Leclerc</span>
    <span class="title">Epistemic Logic Programs with World View Constraints</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.ICLP.2018.1">10.4230/OASIcs.ICLP.2018.1</a>
</li>
<li>
    <span class="authors">Farhad Shakerin and Gopal Gupta</span>
    <span class="title">Cumulative Scoring-Based Induction of Default Theories</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.ICLP.2018.2">10.4230/OASIcs.ICLP.2018.2</a>
</li>
<li>
    <span class="authors">Zhizheng Zhang</span>
    <span class="title">Introspecting Preferences in Answer Set Programming</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.ICLP.2018.3">10.4230/OASIcs.ICLP.2018.3</a>
</li>
<li>
    <span class="authors">Igor Stéphan</span>
    <span class="title">A New Proof-Theoretical Linear Semantics for CHR</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.ICLP.2018.4">10.4230/OASIcs.ICLP.2018.4</a>
</li>
<li>
    <span class="authors">Nada Sharaf, Slim Abdennadher, and Thom Frühwirth</span>
    <span class="title">CHR^vis: Syntax and Semantics</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.ICLP.2018.5">10.4230/OASIcs.ICLP.2018.5</a>
</li>
<li>
    <span class="authors">Joana Côrte-Real, Anton Dries, Inês Dutra, and Ricardo Rocha</span>
    <span class="title">Improving Candidate Quality of Probabilistic Logic Models</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.ICLP.2018.6">10.4230/OASIcs.ICLP.2018.6</a>
</li>
<li>
    <span class="authors">Isabel Garcia-Contreras, José F. Morales, and Manuel V. Hermenegildo</span>
    <span class="title">Towards Incremental and Modular Context-Sensitive Analysis</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.ICLP.2018.7">10.4230/OASIcs.ICLP.2018.7</a>
</li>
<li>
    <span class="authors">Federico Igne, Agostino Dovier, and Enrico Pontelli</span>
    <span class="title">MASP-Reduce: A Proposal for Distributed Computation of Stable Models</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.ICLP.2018.8">10.4230/OASIcs.ICLP.2018.8</a>
</li>
<li>
    <span class="authors">Carlo Zaniolo, Mohan Yang, Matteo Interlandi, Ariyam Das, Alexander Shkapsky, and Tyson Condie</span>
    <span class="title">Declarative Algorithms in Datalog with Extrema: Their Formal Semantics Simplified</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.ICLP.2018.9">10.4230/OASIcs.ICLP.2018.9</a>
</li>
<li>
    <span class="authors">Maximiliano Klemen, Nataliia Stulova, Pedro Lopez-Garcia, José F. Morales, and Manuel V. Hermenegildo</span>
    <span class="title">Towards Static Performance Guarantees for Programs with Run-Time Checks</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.ICLP.2018.10">10.4230/OASIcs.ICLP.2018.10</a>
</li>
<li>
    <span class="authors">Da Shen and Yuliya Lierler</span>
    <span class="title">SMT-Based Answer Set Solver CMODELS(DIFF) (System Description)</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.ICLP.2018.11">10.4230/OASIcs.ICLP.2018.11</a>
</li>
<li>
    <span class="authors">Benjamin Wu, Alessandra Russo, Mark Law, and Katsumi Inoue</span>
    <span class="title">Learning Commonsense Knowledge Through Interactive Dialogue</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.ICLP.2018.12">10.4230/OASIcs.ICLP.2018.12</a>
</li>
<li>
    <span class="authors">Bram Aerts and Joost Vennekens</span>
    <span class="title">Application of Logic-Based Methods to Machine Component Design</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.ICLP.2018.13">10.4230/OASIcs.ICLP.2018.13</a>
</li>
<li>
    <span class="authors">Van Duc Nguyen, Son Cao Tran, and Enrico Pontelli</span>
    <span class="title">Explanations Generation For Web Service Workflow</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.ICLP.2018.14">10.4230/OASIcs.ICLP.2018.14</a>
</li>
<li>
    <span class="authors">Yi Wang</span>
    <span class="title">Probabilistic Action Language pBC+</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.ICLP.2018.15">10.4230/OASIcs.ICLP.2018.15</a>
</li>
<li>
    <span class="authors">Emily C. LeBlanc</span>
    <span class="title">Explaining Actual Causation via Reasoning About Actions and Change</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.ICLP.2018.16">10.4230/OASIcs.ICLP.2018.16</a>
</li>
<li>
    <span class="authors">Zhun Yang</span>
    <span class="title">Translating P-log, LPMLN, LPOD, and CR-Prolog2 into Standard Answer Set Programs</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.ICLP.2018.17">10.4230/OASIcs.ICLP.2018.17</a>
</li>
<li>
    <span class="authors">Frantisek Farka</span>
    <span class="title">Proof-Relevant Resolution for Elaboration of Programming Languages</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.ICLP.2018.18">10.4230/OASIcs.ICLP.2018.18</a>
</li>
<li>
    <span class="authors">Arindam Mitra</span>
    <span class="title">The Learning-Knowledge-Reasoning Paradigm for Natural Language Understanding and Question Answering</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.ICLP.2018.19">10.4230/OASIcs.ICLP.2018.19</a>
</li>
<li>
    <span class="authors">Richard Taupe</span>
    <span class="title">Speeding up Lazy-Grounding Answer Set Solving</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.ICLP.2018.20">10.4230/OASIcs.ICLP.2018.20</a>
</li>
<li>
    <span class="authors">Tiantian Gao</span>
    <span class="title">Knowledge Authoring and Question Answering via Controlled Natural Language</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.ICLP.2018.21">10.4230/OASIcs.ICLP.2018.21</a>
</li>
<li>
    <span class="authors">Van Duc Nguyen</span>
    <span class="title">Natural Language Generation From Ontologies Using Grammatical Framework</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.ICLP.2018.22">10.4230/OASIcs.ICLP.2018.22</a>
</li>
<li>
    <span class="authors">Filipe Gouveia, Inês Lynce, and Pedro T. Monteiro</span>
    <span class="title">Model Revision of Logical Regulatory Networks Using Logic-Based Tools</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.ICLP.2018.23">10.4230/OASIcs.ICLP.2018.23</a>
</li>
<li>
    <span class="authors">Philipp Obermeier</span>
    <span class="title">Scalable Robotic Intra-Logistics with Answer Set Programming</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.ICLP.2018.24">10.4230/OASIcs.ICLP.2018.24</a>
</li>
</ul>

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