![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
34th ICLP 2018: Oxford, UK
- Alessandro Dal Palù, Paul Tarau, Neda Saeedloei, Paul Fodor:
Technical Communications of the 34th International Conference on Logic Programming, ICLP 2018, July 14-17, 2018, Oxford, United Kingdom. OASIcs 64, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2018, ISBN 978-3-95977-090-3 - Front Matter, Table of Contents, Preface, Conference Organization. 0:i-0:xi
- Patrick Thor Kahl, Anthony P. Leclerc:
Epistemic Logic Programs with World View Constraints. 1:1-1:17 - Farhad Shakerin, Gopal Gupta:
Cumulative Scoring-Based Induction of Default Theories. 2:1-2:15 - Zhizheng Zhang:
Introspecting Preferences in Answer Set Programming. 3:1-3:13 - Igor Stéphan:
A New Proof-Theoretical Linear Semantics for CHR. 4:1-4:17 - Nada Sharaf, Slim Abdennadher, Thom W. Frühwirth:
CHR^vis: Syntax and Semantics. 5:1-5:20 - Joana Côrte-Real, Anton Dries, Inês Dutra
, Ricardo Rocha
:
Improving Candidate Quality of Probabilistic Logic Models. 6:1-6:14 - Isabel Garcia-Contreras
, José F. Morales, Manuel V. Hermenegildo:
Towards Incremental and Modular Context-Sensitive Analysis. 7:1-7:2 - Federico Igne, Agostino Dovier, Enrico Pontelli
:
MASP-Reduce: A Proposal for Distributed Computation of Stable Models. 8:1-8:4 - Carlo Zaniolo, Mohan Yang, Matteo Interlandi, Ariyam Das, Alexander Shkapsky, Tyson Condie:
Declarative Algorithms in Datalog with Extrema: Their Formal Semantics Simplified. 9:1-9:3 - 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. 10:1-10:2 - Da Shen, Yuliya Lierler:
SMT-Based Answer Set Solver CMODELS(DIFF) (System Description). 11:1-11:15 - Benjamin Wu, Alessandra Russo
, Mark Law, Katsumi Inoue
:
Learning Commonsense Knowledge Through Interactive Dialogue. 12:1-12:19 - Bram Aerts, Joost Vennekens
:
Application of Logic-Based Methods to Machine Component Design. 13:1-13:15 - Van Duc Nguyen, Tran Cao Son, Enrico Pontelli
:
Explanations Generation For Web Service Workflow. 14:1-14:3 - Yi Wang:
Probabilistic Action Language pBC+. 15:1-15:12 - Emily C. LeBlanc:
Explaining Actual Causation via Reasoning About Actions and Change. 16:1-16:11 - Zhun Yang:
Translating P-log, LPMLN, LPOD, and CR-Prolog2 into Standard Answer Set Programs. 17:1-17:11 - Frantisek Farka:
Proof-Relevant Resolution for Elaboration of Programming Languages. 18:1-18:9 - Arindam Mitra:
The Learning-Knowledge-Reasoning Paradigm for Natural Language Understanding and Question Answering. 19:1-19:6 - Richard Taupe
:
Speeding up Lazy-Grounding Answer Set Solving. 20:1-20:9 - Tiantian Gao:
Knowledge Authoring and Question Answering via Controlled Natural Language. 21:1-21:8 - Van Duc Nguyen:
Natural Language Generation From Ontologies Using Grammatical Framework. 22:1-22:7 - Filipe Gouveia
, Inês Lynce, Pedro T. Monteiro
:
Model Revision of Logical Regulatory Networks Using Logic-Based Tools. 23:1-23:10 - Philipp Obermeier:
Scalable Robotic Intra-Logistics with Answer Set Programming. 24:1-24:5
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.