Characterization Theorems for Revision of Logic Programs

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

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Knowledge representation (68T30) Logic programming (68N17)

Related Items (1)

Characterization of logic program revision as an extension of propositional revision

This page was built for publication: Characterization Theorems for Revision of Logic Programs