Pages that link to "Item:Q1805046"
From MaRDI portal
The following pages link to Executable modal and temporal logics. IJCAI '93 Workshop, Chambery, France, August 28, 1993. Proceedings (Q1805046):
Displayed 5 items.
- Programming in metric temporal logic (Q1128978) (← links)
- MetateM: An introduction (Q1904643) (← links)
- Knowledge representation with multiple logical theories and time (Q4421284) (← links)
- A compositional reasoning system for executing nonmonotonic theories of reasoning (Q4422635) (← links)
- Temporal agent programs (Q5940961) (← links)