The following pages link to (Q4342504):
Displaying 12 items.
- Quantum computing as a particular case of computing with tensors (Q1979850) (← links)
- HR-SQL: extending SQL with hypothetical reasoning and improved recursion for current database systems (Q2304532) (← links)
- An extended constraint deductive database: theory and implementation (Q2436517) (← links)
- A logic-based model of intention formation and action for multi-agent subcontracting (Q2457680) (← links)
- Temporal stratification tests for linear and branching-time deductive databases (Q2566298) (← links)
- Semantic data modeling of spatiotemporal database applications (Q2747978) (← links)
- Fixpoint semantics and optimization of recursive Datalog programs with aggregates (Q4592728) (← links)
- Probabilistic behaviours of reactive agents (Q4923528) (← links)
- A declarative extension of horn clauses, and its significance for datalog and its applications (Q5398299) (← links)
- A New Proposal for Debugging Datalog Programs (Q5403479) (← links)
- Formalizing a Constraint Deductive Database Language Based on Hereditary Harrop Formulas with Negation (Q5458443) (← links)
- Temporal agent programs (Q5940961) (← links)