29th International Conference on Logic Programming
Regular Papers
Probabilistic legal reasoning in CHRiSM
-
- Published online by Cambridge University Press:
- 25 September 2013, pp. 769-781
-
- Article
- Export citation
Answer set programming as a modeling language for course timetabling
-
- Published online by Cambridge University Press:
- 25 September 2013, pp. 783-798
-
- Article
- Export citation
BigYAP: Exo-compilation meets UDI
-
- Published online by Cambridge University Press:
- 25 September 2013, pp. 799-813
-
- Article
- Export citation
A declarative approach to distributed computing: Specification, execution and analysis
-
- Published online by Cambridge University Press:
- 25 September 2013, pp. 815-830
-
- Article
- Export citation
Finding optimal plans for multiple teams of robots through a mediator: A logic-based approach
-
- Published online by Cambridge University Press:
- 25 September 2013, pp. 831-846
-
- Article
- Export citation
Compact serialization of Prolog terms (with catalan skeletons, cantor tupling and Gödel numberings)
-
- Published online by Cambridge University Press:
- 25 September 2013, pp. 847-861
-
- Article
- Export citation
On the stable model semantics for intensional functions
-
- Published online by Cambridge University Press:
- 25 September 2013, pp. 863-876
-
- Article
- Export citation
Combining decidability paradigms for existential rules
-
- Published online by Cambridge University Press:
- 25 September 2013, pp. 877-892
-
- Article
- Export citation
Front Cover (OFC, IFC) and matter
TLP volume 13 issue 4-5 Cover and Front matter
-
- Published online by Cambridge University Press:
- 25 September 2013, pp. f1-f2
-
- Article
-
- You have access
- Export citation
Back Cover (IBC, OBC) and matter
TLP volume 13 issue 4-5 Cover and Back matter
-
- Published online by Cambridge University Press:
- 25 September 2013, pp. b1-b3
-
- Article
-
- You have access
- Export citation