scientific article; zbMATH DE number 1218288

From MaRDI portal

Publication:4216774

Jump to:navigation, search

zbMath0911.03013MaRDI QIDQ4216774

Tomi Janhunen

Publication date: 3 November 1998

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

computational complexity autoepistemic logic default logic semantics nonmonotonic reasoning logic programming cumulativity circumscription consistency-based diagnosis

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Other nonclassical logic (03B60) Logic in artificial intelligence (68T27) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Logic in computer science (03B70) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Logic programming (68N17)

Related Items (1)

Evaluating the effect of semi-normality on the expressiveness of defaults

This page was built for publication:

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