A logical framework for view updating in indefinite databases
From MaRDI portal
Publication:5865558
DOI10.1093/jigpal/jzz003zbMath1494.68077OpenAlexW2917358715MaRDI QIDQ5865558
Miroslaw Truszczynski, Irina Trubitsyna, Ester Zumpano, Luciano Caroprese
Publication date: 9 June 2022
Published in: Logic Journal of the IGPL (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1093/jigpal/jzz003