Abductive logic programming agents with destructive databases

DOI10.1007/S10472-011-9253-YzbMATH Open1230.68200OpenAlexW1993973926MaRDI QIDQ656819FDOQ656819

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

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

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• From logic programming towards multi-agent systems
• An agent language with destructive assignment and model-theoretic semantics
• Title not available (Why is that?)
• Title not available (Why is that?)
• A logic-based calculus of events
• FLUX: A logic programming method for reasoning agents
• Title not available (Why is that?)
• The Semantics of Predicate Logic as a Programming Language
• Dynamic updates of non-monotonic knowledge bases
• The IFF proof procedure for abductive logic programming
• Declarative semantics for active rules
• Computational logic and human thinking. How to be artificially intelligent

Cited In (6)

• Reactive computing as model generation
• An agent language with destructive assignment and model-theoretic semantics
• Title not available (Why is that?)
• Programming in logic without logic programming
• Reactive Answer Set Programming
• Computational Logic in Multi-Agent Systems

Uses Software

• AgentSpeak
• METATEM
• SATCHMO

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)