Abductive logic programming agents with destructive databases

DOI10.1007/s10472-011-9253-yzbMath1230.68200OpenAlexW1993973926MaRDI QIDQ656819

Fariba Sadri, Robert Kowalski

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

zbMATH Keywords

abductive logic programmingmodel-theoretic semanticsagent languages

Mathematics Subject Classification ID

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

• AgentSpeak
• METATEM
• SATCHMO

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