Pages that link to "Item:Q679329"
From MaRDI portal
The following pages link to Temporal annotated constraint logic programming (Q679329):
Displaying 13 items.
- Dealing with multiple granularity of time in temporal logic programming (Q679341) (← links)
- Extending constraint logic programming for temporal reasoning (Q1383361) (← links)
- Order-sorted model theory for temporal executable specifications (Q1391744) (← links)
- MetateM: An introduction (Q1904643) (← links)
- Linear time-dependent constraints programming with MSVL (Q2015809) (← links)
- Semantics for temporal annotated constraint logic programming (Q2701986) (← links)
- Two semantics for temporal annotated constraint logic programming (Q2758301) (← links)
- Integrating Temporal Extensions of Answer Set Programming (Q2851228) (← links)
- Temporal contextual logic programming (Q2873801) (← links)
- Object-oriented constraint logic programming for timetable planning (Q4363405) (← links)
- Knowledge representation with multiple logical theories and time (Q4421284) (← links)
- (Q4733399) (← links)
- Towards Temporal Contextual Logic Programming (Q5449626) (← links)