scientific article; zbMATH DE number 4128783

From MaRDI portal

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

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

Publication:4207881

Jump to:navigation, search

zbMath0689.03003MaRDI QIDQ4207881

Publication date: 1989

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

zbMATH Keywords

closed world assumption Prolog negation as failure

Mathematics Subject Classification ID

Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).

Related Items (7)

A theory of truth that prefers falsehood ⋮ Default reasoning using classical logic ⋮ An incremental algorithm for generating all minimal models ⋮ Thirteen Definitions of a Stable Model ⋮ Twelve Definitions of a Stable Model ⋮ Fixpoint semantics for logic programming a survey ⋮ Yet some more complexity results for default logic

This page was built for publication:

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

Pages with script errors