scientific article

From MaRDI portal

Revision as of 01:33, 6 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:4012237

Jump to:navigation, search

zbMath0742.68053MaRDI QIDQ4012237

No author found.

Publication date: 27 September 1992

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

zbMATH Keywords

default reasoning circumsciption database answering processes

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Related Items (4)

Embedding circumscriptive theories in general disjunctive programs ⋮ Linear resolution for consequence finding ⋮ Conservative query normalization on parallel circumscription ⋮ Compiling a default reasoning system into Prolog

This page was built for publication:

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