12 results
Interactive Model Expansion in an Observable Environment
-
- Journal:
- Theory and Practice of Logic Programming / Volume 23 / Issue 4 / July 2023
- Published online by Cambridge University Press:
- 08 August 2023, pp. 648-663
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Non-deterministic Approximation Operators: Ultimate Operators, Semi-equilibrium Semantics, and Aggregates
-
- Journal:
- Theory and Practice of Logic Programming / Volume 23 / Issue 4 / July 2023
- Published online by Cambridge University Press:
- 11 July 2023, pp. 632-647
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Distributed Subweb Specifications for Traversing the Web
-
- Journal:
- Theory and Practice of Logic Programming / Volume 24 / Issue 2 / March 2024
- Published online by Cambridge University Press:
- 25 April 2023, pp. 394-420
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
On Nested Justification Systems
-
- Journal:
- Theory and Practice of Logic Programming / Volume 22 / Issue 5 / September 2022
- Published online by Cambridge University Press:
- 11 July 2022, pp. 641-657
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Exploiting Game Theory for Analysing Justifications
-
- Journal:
- Theory and Practice of Logic Programming / Volume 20 / Issue 6 / November 2020
- Published online by Cambridge University Press:
- 22 September 2020, pp. 880-894
-
- Article
- Export citation
Stable-unstable semantics: Beyond NP with normal logic programs
-
- Journal:
- Theory and Practice of Logic Programming / Volume 16 / Issue 5-6 / September 2016
- Published online by Cambridge University Press:
- 14 October 2016, pp. 570-586
-
- Article
-
- You have access
- Export citation
On local domain symmetry for model expansion
-
- Journal:
- Theory and Practice of Logic Programming / Volume 16 / Issue 5-6 / September 2016
- Published online by Cambridge University Press:
- 14 October 2016, pp. 636-652
-
- Article
- Export citation
Knowledge compilation of logic programs using approximation fixpoint theory
-
- Journal:
- Theory and Practice of Logic Programming / Volume 15 / Issue 4-5 / July 2015
- Published online by Cambridge University Press:
- 03 September 2015, pp. 464-480
-
- Article
- Export citation
Simulating Dynamic Systems Using Linear Time Calculus Theories
-
- Journal:
- Theory and Practice of Logic Programming / Volume 14 / Issue 4-5 / July 2014
- Published online by Cambridge University Press:
- 21 July 2014, pp. 477-492
-
- Article
- Export citation
Predicate logic as a modeling language: modeling and solving some machine learning and data mining problems with IDP3
-
- Journal:
- Theory and Practice of Logic Programming / Volume 15 / Issue 6 / November 2015
- Published online by Cambridge University Press:
- 14 May 2014, pp. 783-817
-
- Article
-
- You have access
- Export citation
Grinding and Mixed Silicon Copper CMP of Stacked Patterned Wafers for 3D Integration
-
- Journal:
- MRS Online Proceedings Library Archive / Volume 970 / 2006
- Published online by Cambridge University Press:
- 26 February 2011, 0970-Y06-03
- Print publication:
- 2006
-
- Article
- Export citation
Regional right and left ventricular function after the Senning operation: an ultrasonic study of strain rate and strain
-
- Journal:
- Cardiology in the Young / Volume 14 / Issue 3 / June 2004
- Published online by Cambridge University Press:
- 21 January 2005, pp. 255-264
-
- Article
- Export citation