scientific article
From MaRDI portal
Publication:3493327
zbMath0709.68103MaRDI QIDQ3493327
Publication date: 1989
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)
Related Items (13)
Reasoning with power defaults ⋮ On Stein's paper: Resolving ambiguity in nonmonotonic inheritance hierarchies ⋮ Model-preference default theories ⋮ Limited reasoning in first-order knowledge bases with full introspection ⋮ Seminormal stratified default theories ⋮ Well-founded and stationary models of logic programs ⋮ Two simple characterizations of well-founded semantics ⋮ Networked bubble propagation: a polynomial-time hypothetical reasoning method for computing near-optimal solutions ⋮ Reasoning with stratified default theories ⋮ Dynamic reasoning with qualified syllogisms ⋮ Connections between default reasoning and partial constraint satisfaction ⋮ The complexity of path-based defeasible inheritance ⋮ Inheritance comes of age: applying nonmonotonic techniques to problems in industry
This page was built for publication:
