Pages that link to "Item:Q264957"
From MaRDI portal
The following pages link to Reactive computing as model generation (Q264957):
Displaying 9 items.
- Abductive inference method in problems of explaining the observed (Q1995395) (← links)
- Learning explanations for biological feedback with delays using an event calculus (Q2102315) (← links)
- Translation of interactive Datalog programs for microcontrollers to finite state machines (Q2119115) (← links)
- Abductive reasoning in explanation problems of an observed effect (Q2243780) (← links)
- Programming in logic without logic programming (Q4593027) (← links)
- An event calculus production rule system for reasoning in dynamic and uncertain domains (Q4593031) (← links)
- Using SWISH to Realize Interactive Web-based Tutorials for Logic-based Languages (Q5197752) (← links)
- Reactive Answer Set Programming (Q6063885) (← links)
- Fifty Years of Prolog and Beyond (Q6063890) (← links)
