Update by means of inference rules

DOI10.1007/3-540-59487-6_12zbMath1496.68337OpenAlexW1499674830MaRDI QIDQ5101448

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 in artificial intelligence (68T27) Knowledge representation (68T30) Logic programming (68N17)

Related Items (1)

Revision programming

Cites Work

• A logic for default reasoning
• Revision programming
• Unnamed Item
• Unnamed Item
• Unnamed Item

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