Revision by communication
From MaRDI portal
Publication:5101450
DOI10.1007/3-540-59487-6_14zbMath1496.68328OpenAlexW1501726193MaRDI QIDQ5101450
Cees Witteveen, Wiebe van der Hoek
Publication date: 30 August 2022
Published in: Logic Programming and Nonmonotonic Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/3-540-59487-6_14
Logic in artificial intelligence (68T27) Semantics in the theory of computing (68Q55) Logic programming (68N17)
Related Items (2)
Cites Work
This page was built for publication: Revision by communication