scientific article; zbMATH DE number 408781

zbMath0819.68123MaRDI QIDQ4202924

Victor W. Marek, Miroslaw Truszczynski

Publication date: 6 September 1993

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

zbMATH Keywords

default theoryrepresentation theory for default logic

Mathematics Subject Classification ID

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

Related Items

Operational concepts of nonmonotonic logics. I: Default logic, Defaults as restrictions on classical Hilbert-style proofs, New proofs in default logic theory, The place of logic in reasoning, From answer set logic programming to circumscription via logic of GK, Prolog technology for default reasoning: proof theory and compilation techniques