FLUX: A logic programming method for reasoning agents

DOI10.1017/S1471068405002358MaRDI QIDQ5696596zbMATH OpenOpenAlexFDO

Authors Michael Thielscher

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

zbMATH Keywords

cognitive robotics

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Logic programming (68N17) Artificial intelligence for robotics (68T40)

Recommendations

• scientific article; zbMATH DE number 1929205
• scientific article; zbMATH DE number 2087695
• scientific article; zbMATH DE number 1931644
• Agent-oriented probabilistic logic programming
• Reasoning about agent programs using ATL-like logics
• From logic programming towards multi-agent systems
• scientific article; zbMATH DE number 1630005
• Programming rational agents in a modal action logic
• Dynamic logic for reasoning about actions and agents
• A sequent calculus for propositional dynamic logic for agents

Cited in

(18)

• Reactive computing as model generation
• General game playing with stochastic CSP
• A paraconsistent approach to actions in informationally complex environments
• First-order logical filtering
• John McCarthy's legacy
• Abductive logic programming agents with destructive databases
• Practical reasoning about knowledge states for open world planning with sensing
• A unifying action calculus
• Logic-based agents and the frame problem: a case for progression
• A logical theory of localization
• A declarative agent programming language based on action theories
• Putting ABox updates into action
• Handling Implication and Universal Quantification Constraints in FLUX
• A history based approximate epistemic action theory for efficient postdictive reasoning
• Proof systems for planning under 0-approximation semantics
• Multi-Agent FLUX for the Gold Mining Domain (System Description)
• Programming in logic without logic programming
• ALPprolog - a new logic programming method for dynamic domains

Describes a project that uses

Uses Software

• GOLOG

This page was built for publication: FLUX: A logic programming method for reasoning agents

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5696596)