The following pages link to (Q4004424):
Displaying 13 items.
- Programming in temporal-nonmonotonic reasoning (Q1181723) (← links)
- Nonclassical logics and information processing. International Workshop, Berlin, Germany, November 9-10, 1990. Proceedings (Q1202198) (← links)
- Order-sorted model theory for temporal executable specifications (Q1391744) (← links)
- Semantics of temporal classes (Q1854386) (← links)
- Modality and interrupts (Q1891265) (← links)
- Tractable reasoning using logic programs with intensional concepts (Q2055806) (← links)
- Intensional programming I. Based on the papers at ISLIP '95, Macquarie Univ., Sydney, NSW, Australia 3--5, 1995 (Q2742788) (← links)
- Intensional logic in context (Q2758292) (← links)
- On the computational complexity of stratified negation in linear-time temporal logic programming (Q2758303) (← links)
- (Q3313846) (← links)
- Extending Temporal Logic Programming with Choice Predicates Non-determinism (Q4323007) (← links)
- Foundations of linear-time logic programming (Q4876388) (← links)
- (Q5365502) (← links)