Abductive logic programming agents with destructive databases
From MaRDI portal
Publication:656819
DOI10.1007/s10472-011-9253-yzbMath1230.68200OpenAlexW1993973926MaRDI QIDQ656819
Publication date: 13 January 2012
Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10472-011-9253-y
Logic in artificial intelligence (68T27) Logic programming (68N17) Agent technology and artificial intelligence (68T42)
Related Items
Reactive computing as model generation, Programming in logic without logic programming, Unnamed Item, Reactive Answer Set Programming
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A logic-based calculus of events
- From logic programming towards multi-agent systems
- An Agent Language with Destructive Assignment and Model-Theoretic Semantics
- The Semantics of Predicate Logic as a Programming Language
- The IFF proof procedure for abductive logic programming
- Declarative semantics for active rules
- Dynamic updates of non-monotonic knowledge bases
- Computational Logic and Human Thinking
- FLUX: A logic programming method for reasoning agents