A fixpoint characterization of abductive logic programs

DOI10.1016/0743-1066(95)00119-0zbMath0874.68051OpenAlexW2067679576MaRDI QIDQ3129498

Katsumi Inoue, Chiaki Sakama

Publication date: 27 April 1997

Published in: The Journal of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0743-1066(95)00119-0

zbMATH Keywords

fixpoint semanticsabductive logic programs

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (7)

Oscillating Behavior of Logic Programs ⋮ Disjunctive stable models: Unfounded sets, fixpoint semantics, and computation ⋮ Brave induction: a logical framework for learning from incomplete information ⋮ Brave Induction ⋮ A Transformation-Based Approach to View Updating in Stratifiable Deductive Databases ⋮ The Seventh Answer Set Programming Competition: Design and Results ⋮ Prioritized logic programming and its application to commonsense reasoning

Uses Software

• SATCHMO

This page was built for publication: A fixpoint characterization of abductive logic programs