ICLP 2018 July 14​-​17, 2018 - Oxford, United Kingdom

Technical Communications of the 34th International Conference on Logic Programming (ICLP 2018)



Alessandro Dal Palu' and Paul Tarau and Neda Saeedloei and Paul Fodor (Eds.)
ISBN 978-3-95977-090-3, OASICS Vol. 64 ISSN 2190-6807
Additional Information
License
Conference Website
Complete volume (PDF, 11 MB)
Search Publication Server


Authors
  • Abdennadher, Slim
  • Aerts, Bram
  • Côrte-Real, Joana
  • Condie, Tyson
  • Dal Palu', Alessandro
  • Das, Ariyam
  • Dovier, Agostino
  • Dries, Anton
  • Dutra, Inês
  • Farka, Frantisek
  • Fodor, Paul
  • Frühwirth, Thom
  • Gao, Tiantian
  • Garcia-Contreras, Isabel
  • Gouveia, Filipe
  • Gupta, Gopal
  • Hermenegildo, Manuel V.
  • Igne, Federico
  • Inoue, Katsumi
  • Interlandi, Matteo
  • Kahl, Patrick Thor
  • Klemen, Maximiliano
  • Law, Mark
  • LeBlanc, Emily C.
  • Leclerc, Anthony P.
  • Lierler, Yuliya
  • Lopez-Garcia, Pedro
  • Lynce, Inês
  • Mitra, Arindam
  • Monteiro, Pedro T.
  • Morales, José F.
  • Nguyen, Van Duc
  • Obermeier, Philipp
  • Pontelli, Enrico
  • Rocha, Ricardo
  • Russo, Alessandra
  • Saeedloei, Neda
  • Shakerin, Farhad
  • Sharaf, Nada
  • Shen, Da
  • Shkapsky, Alexander
  • Stéphan, Igor
  • Stulova, Nataliia
  • Tarau, Paul
  • Taupe, Richard
  • Tran, Son Cao
  • Vennekens, Joost
  • Wang, Yi
  • Wu, Benjamin
  • Yang, Mohan
  • Yang, Zhun
  • Zaniolo, Carlo
  • Zhang, Zhizheng

  •   
    Front Matter, Table of Contents, Preface, Conference Organization
    Authors: Dal Palu', Alessandro ; Tarau, Paul ; Saeedloei, Neda ; Fodor, Paul

    Abstract | Document (370 KB) | BibTeX

    Epistemic Logic Programs with World View Constraints
    Authors: Kahl, Patrick Thor ; Leclerc, Anthony P.

    Abstract | Document (671 KB) | BibTeX

    Cumulative Scoring-Based Induction of Default Theories
    Authors: Shakerin, Farhad ; Gupta, Gopal

    Abstract | Document (478 KB) | BibTeX

    Introspecting Preferences in Answer Set Programming
    Authors: Zhang, Zhizheng

    Abstract | Document (457 KB) | BibTeX

    A New Proof-Theoretical Linear Semantics for CHR
    Authors: Stéphan, Igor

    Abstract | Document (508 KB) | BibTeX

    CHR^vis: Syntax and Semantics
    Authors: Sharaf, Nada ; Abdennadher, Slim ; Frühwirth, Thom

    Abstract | Document (696 KB) | BibTeX

    Improving Candidate Quality of Probabilistic Logic Models
    Authors: Côrte-Real, Joana ; Dries, Anton ; Dutra, Inês ; Rocha, Ricardo

    Abstract | Document (492 KB) | BibTeX

    Towards Incremental and Modular Context-Sensitive Analysis
    Authors: Garcia-Contreras, Isabel ; Morales, José F. ; Hermenegildo, Manuel V.

    Abstract | Document (210 KB) | BibTeX

    MASP-Reduce: A Proposal for Distributed Computation of Stable Models
    Authors: Igne, Federico ; Dovier, Agostino ; Pontelli, Enrico

    Abstract | Document (265 KB) | BibTeX

    Declarative Algorithms in Datalog with Extrema: Their Formal Semantics Simplified
    Authors: Zaniolo, Carlo ; Yang, Mohan ; Interlandi, Matteo ; Das, Ariyam ; Shkapsky, Alexander ; Condie, Tyson

    Abstract | Document (301 KB) | BibTeX

    Towards Static Performance Guarantees for Programs with Run-Time Checks
    Authors: Klemen, Maximiliano ; Stulova, Nataliia ; Lopez-Garcia, Pedro ; Morales, José F. ; Hermenegildo, Manuel V.

    Abstract | Document (214 KB) | BibTeX

    SMT-Based Answer Set Solver CMODELS(DIFF) (System Description)
    Authors: Shen, Da ; Lierler, Yuliya

    Abstract | Document (876 KB) | BibTeX

    Learning Commonsense Knowledge Through Interactive Dialogue
    Authors: Wu, Benjamin ; Russo, Alessandra ; Law, Mark ; Inoue, Katsumi

    Abstract | Document (484 KB) | BibTeX

    Application of Logic-Based Methods to Machine Component Design
    Authors: Aerts, Bram ; Vennekens, Joost

    Abstract | Document (399 KB) | BibTeX

    Explanations Generation For Web Service Workflow
    Authors: Nguyen, Van Duc ; Tran, Son Cao ; Pontelli, Enrico

    Abstract | Document (307 KB) | BibTeX

    Probabilistic Action Language pBC+
    Authors: Wang, Yi

    Abstract | Document (495 KB) | BibTeX

    Explaining Actual Causation via Reasoning About Actions and Change
    Authors: LeBlanc, Emily C.

    Abstract | Document (388 KB) | BibTeX

    Translating P-log, LPMLN, LPOD, and CR-Prolog2 into Standard Answer Set Programs
    Authors: Yang, Zhun

    Abstract | Document (518 KB) | BibTeX

    Proof-Relevant Resolution for Elaboration of Programming Languages
    Authors: Farka, Frantisek

    Abstract | Document (491 KB) | BibTeX

    The Learning-Knowledge-Reasoning Paradigm for Natural Language Understanding and Question Answering
    Authors: Mitra, Arindam

    Abstract | Document (748 KB) | BibTeX

    Speeding up Lazy-Grounding Answer Set Solving
    Authors: Taupe, Richard

    Abstract | Document (379 KB) | BibTeX

    Knowledge Authoring and Question Answering via Controlled Natural Language
    Authors: Gao, Tiantian

    Abstract | Document (384 KB) | BibTeX

    Natural Language Generation From Ontologies Using Grammatical Framework
    Authors: Nguyen, Van Duc

    Abstract | Document (338 KB) | BibTeX

    Model Revision of Logical Regulatory Networks Using Logic-Based Tools
    Authors: Gouveia, Filipe ; Lynce, Inês ; Monteiro, Pedro T.

    Abstract | Document (370 KB) | BibTeX

    Scalable Robotic Intra-Logistics with Answer Set Programming
    Authors: Obermeier, Philipp

    Abstract | Document (1,251 KB) | BibTeX

      




    DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI