9 results
Metric Temporal Equilibrium Logic over Timed Traces
-
- Journal:
- Theory and Practice of Logic Programming , First View
- Published online by Cambridge University Press:
- 18 September 2024, pp. 1-28
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
COMPLETE INTUITIONISTIC TEMPORAL LOGICS FOR TOPOLOGICAL DYNAMICS
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 87 / Issue 3 / September 2022
- Published online by Cambridge University Press:
- 04 February 2022, pp. 995-1022
- Print publication:
- September 2022
-
- Article
- Export citation
Linear-Time Temporal Answer Set Programming
-
- Journal:
- Theory and Practice of Logic Programming / Volume 23 / Issue 1 / January 2023
- Published online by Cambridge University Press:
- 27 December 2021, pp. 2-56
-
- Article
-
- You have access
- Open access
- Export citation
Exploring the Jungle of Intuitionistic Temporal Logics
-
- Journal:
- Theory and Practice of Logic Programming / Volume 21 / Issue 4 / July 2021
- Published online by Cambridge University Press:
- 22 April 2021, pp. 459-492
-
- Article
- Export citation
Towards Metric Temporal Answer Set Programming
-
- Journal:
- Theory and Practice of Logic Programming / Volume 20 / Issue 5 / September 2020
- Published online by Cambridge University Press:
- 21 September 2020, pp. 783-798
-
- Article
- Export citation
MtDNA allows the sensitive detection and haplotyping of the crayfish plague disease agent Aphanomyces astaci showing clues about its origin and migration
-
- Journal:
- Parasitology / Volume 145 / Issue 9 / August 2018
- Published online by Cambridge University Press:
- 26 February 2018, pp. 1210-1218
-
- Article
- Export citation
Temporal logic programs with variables*
-
- Journal:
- Theory and Practice of Logic Programming / Volume 17 / Issue 2 / March 2017
- Published online by Cambridge University Press:
- 11 November 2016, pp. 226-243
-
- Article
- Export citation
An infinitary encoding of temporal equilibrium logic*
-
- Journal:
- Theory and Practice of Logic Programming / Volume 15 / Issue 4-5 / July 2015
- Published online by Cambridge University Press:
- 03 September 2015, pp. 666-680
-
- Article
- Export citation
Contributors
-
-
- Book:
- The Behavioral and Cognitive Neurology of Stroke
- Published online:
- 05 March 2013
- Print publication:
- 28 February 2013, pp vii-x
-
- Chapter
- Export citation