Pages that link to "Item:Q1892870"
From MaRDI portal
The following pages link to On the expressiveness of temporal logic programming (Q1892870):
Displaying 15 items.
- Programming in metric temporal logic (Q1128978) (← links)
- Querying datalog programs with temporal logic (Q1323325) (← links)
- Expressibility of output equals input. Negative and positive results (Q1323378) (← links)
- Multi-dimensional logic programming: theoretical foundations (Q1390957) (← links)
- On temporal logic versus Datalog (Q1401358) (← links)
- Constraint-generating dependencies (Q1807678) (← links)
- The delay and window size problems in rule-based stream reasoning (Q2124457) (← links)
- On the Expressiveness of Temporal Equilibrium Logic (Q2835869) (← links)
- Logical foundations for more expressive declarative temporal logic programming languages (Q2946717) (← links)
- (Q3806791) (← links)
- Temporal logic programs with variables (Q4593085) (← links)
- The Expressive Power of Temporal Logic of Actions (Q4779589) (← links)
- (Q4940937) (← links)
- Towards Temporal Contextual Logic Programming (Q5449626) (← links)
- Stratified negation in temporal logic programming and the cycle-sum test (Q5940935) (← links)