A methodology for iterated theory change

DOI10.1007/3-540-61313-7_73zbMath1419.68115MaRDI QIDQ4632297

Dov M. Gabbay, Odinaldo Rodrigues

Publication date: 29 April 2019

Published in: Practical Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-61313-7_73

Mathematics Subject Classification ID

68T27: Logic in artificial intelligence

03B42: Logics of knowledge and belief (including belief change)

68T30: Knowledge representation