Pages that link to "Item:Q4015949"
From MaRDI portal
The following pages link to Towards a unified theory of intensional logic programming (Q4015949):
Displayed 12 items.
- Game semantics for non-monotonic intensional logic programming (Q345702) (← links)
- Programming in metric temporal logic (Q1128978) (← links)
- Multimodal logic programming using equational and order-sorted logic (Q1199813) (← links)
- Multi-dimensional logic programming: theoretical foundations (Q1390957) (← links)
- MetateM: An introduction (Q1904643) (← links)
- Tractable reasoning using logic programs with intensional concepts (Q2055806) (← links)
- Temporal stratification tests for linear and branching-time deductive databases (Q2566298) (← links)
- 1993 Annual Meeting of the Australasian Association for Logic (Q4323055) (← links)
- Foundations of linear-time logic programming (Q4876388) (← links)
- A Connectionist Computational Model for Epistemic and Temporal Reasoning (Q5476690) (← links)
- Temporal disjunctive logic programming (Q5929097) (← links)
- Stratified negation in temporal logic programming and the cycle-sum test (Q5940935) (← links)