Update by means of inference rules
From MaRDI portal
Publication:5101448
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
Related Items (1)
Cites Work
This page was built for publication: Update by means of inference rules