A Generalisation of AGM Contraction and Revision to Fragments of First-Order Logic

DOI10.1613/jair.1.11337OpenAlexW2911930742WikidataQ130857655 ScholiaQ130857655MaRDI QIDQ4621489

Kewen Wang, James P. Delgrande, Zhiqiang Zhuang, Zhe Wang

Publication date: 12 February 2019

Published in: Journal of Artificial Intelligence Research (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1613/jair.1.11337

Mathematics Subject Classification ID

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

This page was built for publication: A Generalisation of AGM Contraction and Revision to Fragments of First-Order Logic