scientific article
From MaRDI portal
Publication:4028783
zbMath0760.03008MaRDI QIDQ4028783
W. Ken Jackson, James P. Delgrande
Publication date: 28 March 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (10)
Alternative approaches to default logic ⋮ Defaults as restrictions on classical Hilbert-style proofs ⋮ Default reasoning by deductive planning ⋮ Priorities on defaults with prerequisites, and their application in treating specificity in terminological default logic ⋮ A new methodology for query answering in default logics via structure-oriented theorem proving ⋮ Modular specifications with supernormal defaults ⋮ Reasoning by cases in Default Logic ⋮ On prediction in Theorist ⋮ Characterizations and algorithms of extensions for CADL and QDL ⋮ On cumulative default logics
This page was built for publication:
