Verifying Context-Dependent Reduction Relations for Knowledge Specifications

DOI10.1007/978-3-642-11819-7_5zbMath1200.68177OpenAlexW87958169MaRDI QIDQ4932615

Jan Treur, Alexei Sharpanskykh

Publication date: 6 October 2010

Published in: Communications in Computer and Information Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-11819-7_5

zbMATH Keywords

cognitive sciencereduction relationsautomated mapping of specifications

Mathematics Subject Classification ID

Knowledge representation (68T30) General topics in artificial intelligence (68T01)

This page was built for publication: Verifying Context-Dependent Reduction Relations for Knowledge Specifications