Abstract is missing.
- Declarative Algorithms in Datalog with Extrema: Their Formal Semantics SimplifiedCarlo Zaniolo, Mohan Yang, Matteo Interlandi, Ariyam Das, Alexander Shkapsky, Tyson Condie. [doi]
- MASP-Reduce: A Proposal for Distributed Computation of Stable ModelsFederico Igne, Agostino Dovier, Enrico Pontelli. [doi]
- Speeding up Lazy-Grounding Answer Set SolvingRichard Taupe. [doi]
- A New Proof-Theoretical Linear Semantics for CHRIgor Stéphan. [doi]
- Proof-Relevant Resolution for Elaboration of Programming LanguagesFrantisek Farka. [doi]
- Explaining Actual Causation via Reasoning About Actions and ChangeEmily C. LeBlanc. [doi]
- Knowledge Authoring and Question Answering via Controlled Natural LanguageTiantian Gao. [doi]
- CHR^vis: Syntax and SemanticsNada Sharaf, Slim Abdennadher, Thom W. Frühwirth. [doi]
- Improving Candidate Quality of Probabilistic Logic ModelsJoana Côrte-Real, Anton Dries, Inês Dutra, Ricardo Rocha 0001. [doi]
- Natural Language Generation From Ontologies Using Grammatical FrameworkVan-Duc Nguyen. [doi]
- Cumulative Scoring-Based Induction of Default TheoriesFarhad Shakerin, Gopal Gupta. [doi]
- Introspecting Preferences in Answer Set ProgrammingZhizheng Zhang. [doi]
- Model Revision of Logical Regulatory Networks Using Logic-Based ToolsFilipe Gouveia, Inês Lynce, Pedro T. Monteiro. [doi]
- The Learning-Knowledge-Reasoning Paradigm for Natural Language Understanding and Question AnsweringArindam Mitra. [doi]
- SMT-Based Answer Set Solver CMODELS(DIFF) (System Description)Da Shen, Yuliya Lierler. [doi]
- Application of Logic-Based Methods to Machine Component DesignBram Aerts, Joost Vennekens. [doi]
- Front Matter, Table of Contents, Preface, Conference Organization [doi]
- Translating P-log, LPMLN, LPOD, and CR-Prolog2 into Standard Answer Set ProgramsZhun Yang. [doi]
- Learning Commonsense Knowledge Through Interactive DialogueBenjamin Wu, Alessandra Russo, Mark Law, Katsumi Inoue. [doi]
- Scalable Robotic Intra-Logistics with Answer Set ProgrammingPhilipp Obermeier. [doi]
- Epistemic Logic Programs with World View ConstraintsPatrick Thor Kahl, Anthony P. Leclerc. [doi]
- Explanations Generation For Web Service WorkflowVan-Duc Nguyen, Tran Cao Son, Enrico Pontelli. [doi]
- Probabilistic Action Language pBC+Yi Wang. [doi]
- Towards Static Performance Guarantees for Programs with Run-Time ChecksMaximiliano Klemen, Nataliia Stulova, Pedro López-García 0001, José F. Morales, Manuel V. Hermenegildo. [doi]
- Towards Incremental and Modular Context-Sensitive AnalysisIsabel Garcia-Contreras, José F. Morales, Manuel V. Hermenegildo. [doi]