Erratum to: A four valued semantics for terminological logics

DOI10.1016/0004-3702(89)90019-2zbMath0675.03015OpenAlexW4250119318MaRDI QIDQ1121868

Peter F. Patel-Schneider

Publication date: 1989

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

Full work available at URL: https://doi.org/10.1016/0004-3702(89)90019-2

zbMATH Keywords

algorithmformal semanticsframessubsumptionterminological logicsinconsistent knowledge

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic of natural languages (03B65) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Natural language processing (68T50)

Related Items (1)

The KL-ONE family

This page was built for publication: Erratum to: A four valued semantics for terminological logics