ICLP (Technical Communications)

Keyphrases

Publications

2018

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

volume 64, 2018

Technical Communications of the 34th International Conference on Logic Programming, ICLP 2018, July 14-17, 2018, Oxford, United Kingdom ICLP (Technical Communications) 64 (2018)

volume 58, 2018

Technical Communications of the 33rd International Conference on Logic Programming, ICLP 2017, August 28 to September 1, 2017, Melbourne, Australia ICLP (Technical Communications) 58 (2018)

2017

2016

volume 52, 2016

Technical Communications of the 32nd International Conference on Logic Programming, ICLP 2016 TCs, October 16-21, 2016, New York City, USA ICLP (Technical Communications) 52 (2016)