Publication:4009138

From MaRDI portal

Jump to:navigation, search

zbMath0752.03012MaRDI QIDQ4009138

Anna Gomolińska

Publication date: 27 September 1992

zbMATH Keywords

autoepistemic logic; Kripke semantics; knowledge base

Mathematics Subject Classification ID

03B60: Other nonclassical logic

68T27: Logic in artificial intelligence

68T30: Knowledge representation

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4009138&oldid=17708221"