Abductive logic programming agents with destructive databases
type: Item
instance of: scholarly article
title: Abductive logic programming agents with destructive databases
zbMATH Open document ID: 1230.68200
author: Robert Kowalski
author: Fariba Sadri
published in: Annals of Mathematics and Artificial Intelligence
publication date: 2012-01-13T00:00:00Z
Mathematics Subject Classification ID: 68T42
Mathematics Subject Classification ID: 68T27
Mathematics Subject Classification ID: 68N17
zbMATH DE Number: 5997540
zbMATH Keywords: abductive logic programming
zbMATH Keywords: agent languages
zbMATH Keywords: model-theoretic semantics
describes a project that uses: AgentSpeak
describes a project that uses: SATCHMO
describes a project that uses: METATEM
MaRDI profile type: Publication
full work available at URL: s10472-011-9253-y
OpenAlex ID: W1993973926
cites work: Dynamic updates of non-monotonic knowledge bases
cites work: The Semantics of Predicate Logic as a Programming Language
cites work: Q4518441
cites work: Declarative semantics for active rules
cites work: The IFF proof procedure for abductive logic programming
cites work: Q3624165
cites work: Q4051550
cites work: From logic programming towards multi-agent systems
cites work: Q4779807
cites work: FLUX: A logic programming method for reasoning agents
cites work: A logic-based calculus of events
cites work: An Agent Language with Destructive Assignment and Model-Theoretic Semantics
cites work: Computational Logic and Human Thinking
cites work: Q4028821
DOI: 10.1007/S10472-011-9253-Y
description: scientific article; zbMATH DE number 5997540