scientific article

From MaRDI portal

Publication:2751057

Jump to:navigation, search

zbMath0979.03029MaRDI QIDQ2751057

Gerhard Schurz

Publication date: 26 February 2002

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

zbMATH Keywords

decidability nonmonotonic reasoning knowledge base \(n\)-completeness axiomatization defeasible reasoning negation by default defeasible logic semantical completeness procedural negation syntactic representation

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic in artificial intelligence (68T27)

Related Items (1)

Patterns of abduction

This page was built for publication:

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