scientific article; zbMATH DE number 408775
From MaRDI portal
Publication:4202917
zbMath0819.68121MaRDI QIDQ4202917
Publication date: 6 September 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in artificial intelligence (68T27) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Semantics in the theory of computing (68Q55) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)
Related Items (6)
Variable priorities and exclusionary reasons in input/output logic ⋮ 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 ⋮ CONCILIATORY REASONING, SELF-DEFEAT, AND ABSTRACT ARGUMENTATION ⋮ Prolog technology for default reasoning: proof theory and compilation techniques
This page was built for publication:
