scientific article; zbMATH DE number 500200

From MaRDI portal

Publication:4278739

Jump to:navigation, search

zbMath0840.03020MaRDI QIDQ4278739

Ilkka Niemelä

Publication date: 1 February 1994

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

zbMATH Keywords

computational complexity decision problems autoepistemic logic nonmonotonic reasoning automated theorem proving autoepistemic reasoning

Mathematics Subject Classification ID

Other nonclassical logic (03B60)

Related Items (2)

Unnamed Item ⋮ 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:4278739&oldid=18199556"