OASIcs, Volume 64, ICLP 2018

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