Update by means of inference rules

DOI10.1007/3-540-59487-6_12MaRDI QIDQ5101448zbMATH OpenOpenAlexFDO

Authors Hudson Turner, Teodor C. Przymusinski

Publication date 30 August 2022

Published in Logic Programming and Nonmonotonic Reasoning (Search for Journal in Brave)

Full work available at URL http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.486.7131

Mathematics Subject Classification ID

Logic programming (68N17) Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Cites work

• A logic for default reasoning
• scientific article; zbMATH DE number 140388 (Why is no real title available?)
• scientific article; zbMATH DE number 140403 (Why is no real title available?)
• scientific article; zbMATH DE number 1761413 (Why is no real title available?)
• Revision programming

Cited in

(4)

• Revision programming
• Update-programms can update programs
• Update programs versus revision programs
• A brief history of updates of answer-set programs

This page was built for publication: Update by means of inference rules

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