scientific article; zbMATH DE number 4119669
From MaRDI portal
Publication:4733441
Recommendations
Cited in
(24)- Programming in metric temporal logic
- Abstract minimality and circumscription
- The computational complexity of satisfiability of temporal Horn formulas in propositional linear-time temporal logic
- Time-extraction for temporal logic -- logic programming and local process time
- Temporal logic CTL \(+\) Prolog
- Modality and interrupts
- On temporal logic S4Dbr
- Extensions of the branching-time logic programming language CACTUS
- A PROOF PROCEDURE FOR TEMPORAL LOGIC PROGRAMMING
- scientific article; zbMATH DE number 4081517 (Why is no real title available?)
- scientific article; zbMATH DE number 65739 (Why is no real title available?)
- A Temporal extension of Prolog
- Calendar Logic
- Extending Temporal Logic Programming with Choice Predicates Non-determinism
- scientific article; zbMATH DE number 1522996 (Why is no real title available?)
- scientific article; zbMATH DE number 1536571 (Why is no real title available?)
- An infinitary encoding of temporal equilibrium logic
- scientific article; zbMATH DE number 4119672 (Why is no real title available?)
- Foundations of linear-time logic programming
- Model Theoretic Syntax and Parsing
- Multi-modal logic programming using equational and order-sorted logic
- Temporal logic programming
- Temporal disjunctive logic programming
- Dense time logic programming
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4733441)
