FLUX: A logic programming method for reasoning agents
From MaRDI portal
Publication:5696596
DOI10.1017/S1471068405002358zbMath1105.68333MaRDI 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
68T05: Learning and adaptive systems in artificial intelligence
68N17: Logic programming
68T40: Artificial intelligence for robotics
Related Items
Programming in logic without logic programming, Reactive computing as model generation, General game playing with stochastic CSP, A logical theory of localization, John McCarthy's legacy, A unifying action calculus, First-order logical filtering, Abductive logic programming agents with destructive databases, A history based approximate epistemic action theory for efficient postdictive reasoning, Proof systems for planning under 0-approximation semantics, A paraconsistent approach to actions in informationally complex environments, 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
Uses Software