An Agent Language with Destructive Assignment and Model-Theoretic Semantics

DOI10.1007/978-3-642-14977-1_16zbMath1286.68417OpenAlexW1823509325MaRDI QIDQ3582743

Robert Kowalski, Fariba Sadri

Publication date: 24 August 2010

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-14977-1_16

zbMATH Keywords

abductive logic programmingmodel-theoretic semanticsagent languages

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Semantics in the theory of computing (68Q55) Agent technology and artificial intelligence (68T42)

Related Items (5)

Reactive computing as model generation ⋮ Programming in logic without logic programming ⋮ An event calculus production rule system for reasoning in dynamic and uncertain domains ⋮ Formalizing Kant's rules. A logic of conditional imperatives and permissives ⋮ Abductive logic programming agents with destructive databases

Uses Software

• METATEM

This page was built for publication: An Agent Language with Destructive Assignment and Model-Theoretic Semantics