32nd International Conference on Logic Programming
Introduction
Introduction to the 32nd International Conference on Logic Programming Special Issue
-
- Published online by Cambridge University Press:
- 14 October 2016, pp. 509-514
-
- Article
- Export citation
Regular Papers
Assertion-based analysis via slicing with ABETS* (system description)
-
- Published online by Cambridge University Press:
- 14 October 2016, pp. 515-532
-
- Article
- Export citation
Anytime answer set optimization via unsatisfiable core shrinking
-
- Published online by Cambridge University Press:
- 14 October 2016, pp. 533-551
-
- Article
- Export citation
The power of non-ground rules in Answer Set Programming
-
- Published online by Cambridge University Press:
- 14 October 2016, pp. 552-569
-
- Article
- Export citation
Stable-unstable semantics: Beyond NP with normal logic programs
-
- Published online by Cambridge University Press:
- 14 October 2016, pp. 570-586
-
- Article
-
- You have access
- Export citation
Justifications for programs with disjunctive and causal-choice rules*
-
- Published online by Cambridge University Press:
- 14 October 2016, pp. 587-603
-
- Article
- Export citation
A Physician Advisory System for Chronic Heart Failure management based on knowledge patterns
-
- Published online by Cambridge University Press:
- 14 October 2016, pp. 604-618
-
- Article
- Export citation
Query answering in resource-based answer set semantics*
-
- Published online by Cambridge University Press:
- 14 October 2016, pp. 619-635
-
- Article
- Export citation
On local domain symmetry for model expansion
-
- Published online by Cambridge University Press:
- 14 October 2016, pp. 636-652
-
- Article
- Export citation
Combining Answer Set Programming and domain heuristics for solving hard industrial problems (Application Paper)
-
- Published online by Cambridge University Press:
- 14 October 2016, pp. 653-669
-
- Article
- Export citation
Deriving conclusions from non-monotonic cause-effect relations*
-
- Published online by Cambridge University Press:
- 14 October 2016, pp. 670-687
-
- Article
- Export citation
Logic Programming with Graph Automorphism: Integrating nauty with Prolog (Tool Description)*
-
- Published online by Cambridge University Press:
- 14 October 2016, pp. 688-702
-
- Article
- Export citation
Paraconsistency and word puzzles
-
- Published online by Cambridge University Press:
- 14 October 2016, pp. 703-720
-
- Article
- Export citation
Semantic code browsing*
-
- Published online by Cambridge University Press:
- 14 October 2016, pp. 721-737
-
- Article
- Export citation
ASP for minimal entailment in a rational extension of SROEL
-
- Published online by Cambridge University Press:
- 14 October 2016, pp. 738-754
-
- Article
- Export citation
First-order modular logic programs and their conservative extensions
-
- Published online by Cambridge University Press:
- 14 October 2016, pp. 755-770
-
- Article
- Export citation
Stable models for infinitary formulas with extensional atoms
-
- Published online by Cambridge University Press:
- 14 October 2016, pp. 771-786
-
- Article
- Export citation
Proving infinitary formulas
-
- Published online by Cambridge University Press:
- 14 October 2016, pp. 787-799
-
- Article
- Export citation
CoreALMlib: An $\mathscr{ALM}$ library translated from the Component Library
-
- Published online by Cambridge University Press:
- 14 October 2016, pp. 800-816
-
- Article
- Export citation
Online learning of event definitions
-
- Published online by Cambridge University Press:
- 14 October 2016, pp. 817-833
-
- Article
- Export citation