A Fixed Point Semantics for the ATMS

DOI10.1093/LOGCOM/3.2.115MaRDI QIDQ4276177zbMATH OpenOpenAlexFDO

Authors M. Cayrol, Olivier Palmade, Thomas Schiex

Publication date 20 April 1994

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/a41b9941e5034ee9566532e98590cd9f0e90c348

zbMATH Keywords

assumption based truthautomatic theorem provingfixed point theorymaintenance systempropositional logic

Mathematics Subject Classification ID

Recommendations

• A generic ATMS
• An assumption-based truth maintenance system dealing with non-ground justifications
• Fixed points in propositional nonmonotonic logic
• scientific article; zbMATH DE number 4106297
• Fixpoint semantics for logic programming a survey

Cited in

(2)

• scientific article; zbMATH DE number 4174346 (Why is no real title available?)
• scientific article; zbMATH DE number 124280 (Why is no real title available?)

This page was built for publication: A Fixed Point Semantics for the ATMS

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