Three Methods for Revising Hybrid Knowledge Bases

DOI10.1007/978-3-319-61252-2_4zbMath1490.68214DBLPconf/ruleml/BinnewiesZW17OpenAlexW2625380761WikidataQ62045644 ScholiaQ62045644MaRDI QIDQ5086205

Zhiqiang Zhuang, Sebastian Binnewies, Kewen Wang

Publication date: 1 July 2022

Published in: Rules and Reasoning (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/10072/346471

zbMATH Keywords

belief revisionlogic programshybrid knowledge basesontologiessemantic webhere-and-there logic

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30) Logic programming (68N17)

This page was built for publication: Three Methods for Revising Hybrid Knowledge Bases