Abductive logic programming agents with destructive databases

DOI10.1007/S10472-011-9253-YMaRDI QIDQ656819zbMATH OpenOpenAlexFDO

Authors Robert Kowalski, Fariba Sadri

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 programmingagent languagesmodel-theoretic semantics

Mathematics Subject Classification ID

Logic programming (68N17) Logic in artificial intelligence (68T27) Agent technology and artificial intelligence (68T42)

Recommendations

• An agent language with destructive assignment and model-theoretic semantics
• scientific article; zbMATH DE number 1538055
• A declarative agent programming language based on action theories
• From logic programming towards multi-agent systems
• Teleo-Reactive Abductive Logic Programs

Cites work

• scientific article; zbMATH DE number 5547960 (Why is no real title available?)
• scientific article; zbMATH DE number 140411 (Why is no real title available?)
• scientific article; zbMATH DE number 3466489 (Why is no real title available?)
• scientific article; zbMATH DE number 1536572 (Why is no real title available?)
• scientific article; zbMATH DE number 1820675 (Why is no real title available?)
• A logic-based calculus of events
• An agent language with destructive assignment and model-theoretic semantics
• Computational logic and human thinking. How to be artificially intelligent
• Declarative semantics for active rules
• Dynamic updates of non-monotonic knowledge bases
• FLUX: A logic programming method for reasoning agents
• From logic programming towards multi-agent systems
• The IFF proof procedure for abductive logic programming
• The Semantics of Predicate Logic as a Programming Language

Cited in

(6)

• Computational Logic in Multi-Agent Systems
• Reactive computing as model generation
• An agent language with destructive assignment and model-theoretic semantics
• scientific article; zbMATH DE number 7455714 (Why is no real title available?)
• Programming in logic without logic programming
• Reactive Answer Set Programming

Describes a project that uses

Uses Software

• SATCHMO
• METATEM
• AgentSpeak

This page was built for publication: Abductive logic programming agents with destructive databases

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