An overview of temporal and modal logic programming
- 9 June 2005
- book chapter
- Published by Springer Nature
- p. 445-479
- https://doi.org/10.1007/bfb0014004
Abstract
No abstract availableKeywords
This publication has 47 references indexed in Scilit:
- Tim: The toulouse inference machine for non-classical logic programmingPublished by Springer Nature ,2005
- Nonclassical models for logic programsPublished by Springer Nature ,2005
- MOLOG: A modal PROLOGPublished by Springer Nature ,2005
- A Temporal extension of PrologThe Journal of Logic Programming, 1993
- Proving termination properties of prolog programs: A semantic approachThe Journal of Logic Programming, 1992
- Towards a unified theory of intensional logic programmingThe Journal of Logic Programming, 1992
- Paraconsistent logic programmingTheoretical Computer Science, 1989
- The power of temporal proofsTheoretical Computer Science, 1989
- A note on the complexity of the satisfiability of modal Horn clausesThe Journal of Logic Programming, 1987
- Formal semantics for time in databasesACM Transactions on Database Systems, 1983