11 results
Epistemic Logic Programs: A Study of Some Properties
-
- Journal:
- Theory and Practice of Logic Programming / Volume 24 / Issue 3 / May 2024
- Published online by Cambridge University Press:
- 05 February 2024, pp. 482-504
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Parallel Logic Programming: A Sequel
-
- Journal:
- Theory and Practice of Logic Programming / Volume 22 / Issue 6 / November 2022
- Published online by Cambridge University Press:
- 28 March 2022, pp. 905-973
-
- Article
- Export citation
Introduction to the 37th International Conference on Logic Programming Special Issue II
-
- Journal:
- Theory and Practice of Logic Programming / Volume 21 / Issue 6 / November 2021
- Published online by Cambridge University Press:
- 23 November 2021, pp. 698-699
-
- Article
-
- You have access
- Export citation
Introduction to the 37th International Conference on Logic Programming Special Issue I
-
- Journal:
- Theory and Practice of Logic Programming / Volume 21 / Issue 5 / September 2021
- Published online by Cambridge University Press:
- 05 November 2021, pp. 521-526
-
- Article
-
- You have access
- Export citation
Introduction to the 35th International Conference on Logic Programming Special Issue
-
- Journal:
- Theory and Practice of Logic Programming / Volume 19 / Issue 5-6 / September 2019
- Published online by Cambridge University Press:
- 20 September 2019, pp. 630-635
-
- Article
-
- You have access
- Export citation
Query answering in resource-based answer set semantics*
-
- Journal:
- Theory and Practice of Logic Programming / Volume 16 / Issue 5-6 / September 2016
- Published online by Cambridge University Press:
- 14 October 2016, pp. 619-635
-
- Article
- Export citation
Autonomous agents coordination: Action languages meet CLP($\mathcal {FD}$) and Linda*
-
- Journal:
- Theory and Practice of Logic Programming / Volume 13 / Issue 2 / March 2013
- Published online by Cambridge University Press:
- 24 September 2012, pp. 149-173
-
- Article
- Export citation
A graphical representation of relational formulae with complementation∗
-
- Journal:
- RAIRO - Theoretical Informatics and Applications / Volume 46 / Issue 2 / April 2012
- Published online by Cambridge University Press:
- 27 February 2012, pp. 261-289
- Print publication:
- April 2012
-
- Article
- Export citation
Multivalued action languages with constraints in CLP(FD)1
-
- Journal:
- Theory and Practice of Logic Programming / Volume 10 / Issue 2 / March 2010
- Published online by Cambridge University Press:
- 18 February 2010, pp. 167-235
-
- Article
- Export citation
Comparative uncertainty: theory and automation
-
- Journal:
- Mathematical Structures in Computer Science / Volume 18 / Issue 1 / February 2008
- Published online by Cambridge University Press:
- 01 February 2008, pp. 57-79
-
- Article
- Export citation
The axiom of elementary sets on the edge of Peircean expressibility
-
- Journal:
- The Journal of Symbolic Logic / Volume 70 / Issue 3 / September 2005
- Published online by Cambridge University Press:
- 12 March 2014, pp. 953-968
- Print publication:
- September 2005
-
- Article
- Export citation