Pages that link to "Item:Q5929097"
From MaRDI portal
The following pages link to Temporal disjunctive logic programming (Q5929097):
Displaying 5 items.
- Semantics for possibilistic disjunctive programs (Q2845121) (← links)
- A PROOF PROCEDURE FOR TEMPORAL LOGIC PROGRAMMING (Q3022009) (← links)
- Temporal logic programs with variables (Q4593085) (← links)
- Towards Temporal Contextual Logic Programming (Q5449626) (← links)
- Temporal disjunctive logic programming (Q5929097) (← links)