Regular Papers
Programming finite-domain constraint propagators in Action Rules
-
- Published online by Cambridge University Press:
- 02 August 2006, pp. 483-507
-
- Article
- Export citation
A three-valued semantics for logic programmers
-
- Published online by Cambridge University Press:
- 02 August 2006, pp. 509-538
-
- Article
- Export citation
Temporal phylogenetic networks and logic programming
-
- Published online by Cambridge University Press:
- 02 August 2006, pp. 539-558
-
- Article
- Export citation
Planning with preferences using logic programming
-
- Published online by Cambridge University Press:
- 02 August 2006, pp. 559-607
-
- Article
- Export citation