FLUX: A logic programming method for reasoning agents
From MaRDI portal
Publication:5696596
DOI10.1017/S1471068405002358zbMath1105.68333OpenAlexW2101757655MaRDI QIDQ5696596
Publication date: 18 October 2005
Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1017/s1471068405002358
Learning and adaptive systems in artificial intelligence (68T05) Logic programming (68N17) Artificial intelligence for robotics (68T40)
Related Items (14)
Reactive computing as model generation ⋮ General game playing with stochastic CSP ⋮ A logical theory of localization ⋮ A history based approximate epistemic action theory for efficient postdictive reasoning ⋮ Proof systems for planning under 0-approximation semantics ⋮ Programming in logic without logic programming ⋮ Abductive logic programming agents with destructive databases ⋮ John McCarthy's legacy ⋮ A unifying action calculus ⋮ First-order logical filtering ⋮ Practical reasoning about knowledge states for open world planning with sensing ⋮ Putting ABox Updates into Action ⋮ A Declarative Agent Programming Language Based on Action Theories ⋮ A paraconsistent approach to actions in informationally complex environments
Uses Software
This page was built for publication: FLUX: A logic programming method for reasoning agents