FLUX: A logic programming method for reasoning agents
From MaRDI portal
Publication:5696596
DOI10.1017/S1471068405002358zbMATH Open1105.68333OpenAlexW2101757655MaRDI QIDQ5696596FDOQ5696596
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
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
Learning and adaptive systems in artificial intelligence (68T05) Logic programming (68N17) Artificial intelligence for robotics (68T40)
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
- Multi-Agent FLUX for the Gold Mining Domain (System Description)
- 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
- ALPprolog - a new logic programming method for dynamic domains
Uses Software
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)
