26th International Conference on Logic Programming
Introduction
Introduction to the 26th international conference on logic programming special issue
-
- Published online by Cambridge University Press:
- 09 July 2010, pp. 361-364
-
- Article
- Export citation
Regular Papers
Automated termination analysis for logic programs with cut*
-
- Published online by Cambridge University Press:
- 09 July 2010, pp. 365-381
-
- Article
- Export citation
Transformations of logic programs on infinite lists
-
- Published online by Cambridge University Press:
- 09 July 2010, pp. 383-399
-
- Article
- Export citation
Swapping evaluation: A memory-scalable solution for answer-on-demand tabling*
-
- Published online by Cambridge University Press:
- 09 July 2010, pp. 401-416
-
- Article
- Export citation
Threads and or-parallelism unified
-
- Published online by Cambridge University Press:
- 09 July 2010, pp. 417-432
-
- Article
- Export citation
CHR(PRISM)-based probabilistic logic learning
-
- Published online by Cambridge University Press:
- 09 July 2010, pp. 433-447
-
- Article
- Export citation
Inference with constrained hidden Markov models in PRISM
-
- Published online by Cambridge University Press:
- 09 July 2010, pp. 449-464
-
- Article
- Export citation
A translational approach to constraint answer set solving
-
- Published online by Cambridge University Press:
- 09 July 2010, pp. 465-480
-
- Article
- Export citation
A decidable subclass of finitary programs
-
- Published online by Cambridge University Press:
- 09 July 2010, pp. 481-496
-
- Article
- Export citation
Disjunctive ASP with functions: Decidable queries and effective computation*
-
- Published online by Cambridge University Press:
- 09 July 2010, pp. 497-512
-
- Article
- Export citation
Catching the Ouroboros: On debugging non-ground answer-set programs
-
- Published online by Cambridge University Press:
- 09 July 2010, pp. 513-529
-
- Article
- Export citation
Loop formulas for description logic programs
-
- Published online by Cambridge University Press:
- 09 July 2010, pp. 531-545
-
- Article
- Export citation
Towards closed world reasoning in dynamic open worlds
-
- Published online by Cambridge University Press:
- 09 July 2010, pp. 547-563
-
- Article
- Export citation
A program-level approach to revising logic programs under the answer set semantics
-
- Published online by Cambridge University Press:
- 09 July 2010, pp. 565-580
-
- Article
- Export citation
FO(FD): Extending classical logic with rule-based fixpoint definitions
-
- Published online by Cambridge University Press:
- 09 July 2010, pp. 581-596
-
- Article
- Export citation
A complete and terminating execution model for Constraint Handling Rules
-
- Published online by Cambridge University Press:
- 09 July 2010, pp. 597-610
-
- Article
- Export citation
Decidability properties for fragments of CHR
-
- Published online by Cambridge University Press:
- 09 July 2010, pp. 611-626
-
- Article
- Export citation
A declarative semantics for CLP with qualification and proximity*
-
- Published online by Cambridge University Press:
- 09 July 2010, pp. 627-642
-
- Article
- Export citation
Logic–based decision support for strategic environmental assessment
-
- Published online by Cambridge University Press:
- 09 July 2010, pp. 643-658
-
- Article
- Export citation
Test case generation for object-oriented imperative languages in CLP*
-
- Published online by Cambridge University Press:
- 09 July 2010, pp. 659-674
-
- Article
- Export citation