Pages that link to "Item:Q5696596"
From MaRDI portal
The following pages link to FLUX: A logic programming method for reasoning agents (Q5696596):
Displaying 14 items.
- Reactive computing as model generation (Q264957) (← links)
- General game playing with stochastic CSP (Q265712) (← links)
- A logical theory of localization (Q310092) (← links)
- John McCarthy's legacy (Q543573) (← links)
- A unifying action calculus (Q543584) (← links)
- First-order logical filtering (Q543591) (← links)
- Abductive logic programming agents with destructive databases (Q656819) (← links)
- A history based approximate epistemic action theory for efficient postdictive reasoning (Q893597) (← links)
- Proof systems for planning under 0-approximation semantics (Q893736) (← links)
- A paraconsistent approach to actions in informationally complex environments (Q2330540) (← links)
- Practical reasoning about knowledge states for open world planning with sensing (Q3647290) (← links)
- Putting ABox Updates into Action (Q3655202) (← links)
- A Declarative Agent Programming Language Based on Action Theories (Q3655203) (← links)
- Programming in logic without logic programming (Q4593027) (← links)