Characterization Theorems for Revision of Logic Programs
From MaRDI portal
Publication:2851279
DOI10.1007/978-3-642-40564-8_48zbMath1407.68477OpenAlexW271695863MaRDI QIDQ2851279
Katsumi Inoue, Nicolas Schwind
Publication date: 10 October 2013
Published in: Logic Programming and Nonmonotonic Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-40564-8_48
Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Knowledge representation (68T30) Logic programming (68N17)
Related Items (1)
This page was built for publication: Characterization Theorems for Revision of Logic Programs