scientific article; zbMATH DE number 4128783
From MaRDI portal
Publication:4207881
zbMath0689.03003MaRDI QIDQ4207881
Publication date: 1989
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
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:
