Pages that link to "Item:Q3582743"
From MaRDI portal
The following pages link to An Agent Language with Destructive Assignment and Model-Theoretic Semantics (Q3582743):
Displaying 5 items.
- Reactive computing as model generation (Q264957) (← links)
- Abductive logic programming agents with destructive databases (Q656819) (← links)
- Formalizing Kant's rules. A logic of conditional imperatives and permissives (Q2194110) (← links)
- Programming in logic without logic programming (Q4593027) (← links)
- An event calculus production rule system for reasoning in dynamic and uncertain domains (Q4593031) (← links)