On the expressiveness of temporal logic programming
From MaRDI portal
Recommendations
- On the expressive power of temporal logic
- Logical foundations for more expressive declarative temporal logic programming languages
- scientific article; zbMATH DE number 1927553
- scientific article; zbMATH DE number 4076583
- Towards Temporal Contextual Logic Programming
- scientific article; zbMATH DE number 4082943
- Temporal logic programming
- scientific article; zbMATH DE number 4119670
- Temporal contextual logic programming
- On the expressiveness of temporal equilibrium logic
Cited in
(15)- Towards Temporal Contextual Logic Programming
- Multi-dimensional logic programming: theoretical foundations
- Constraint-generating dependencies
- scientific article; zbMATH DE number 1407682 (Why is no real title available?)
- The delay and window size problems in rule-based stream reasoning
- Programming in metric temporal logic
- Temporal logic programs with variables
- Logical foundations for more expressive declarative temporal logic programming languages
- On the expressiveness of temporal equilibrium logic
- scientific article; zbMATH DE number 4076583 (Why is no real title available?)
- On temporal logic versus Datalog
- The Expressive Power of Temporal Logic of Actions
- scientific article; zbMATH DE number 1927553 (Why is no real title available?)
- Temporal logic can be more expressive
- Stratified negation in temporal logic programming and the cycle-sum test
This page was built for publication: On the expressiveness of temporal logic programming
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1892870)
