Publication:3493327
From MaRDI portal
zbMath0709.68103MaRDI QIDQ3493327
Publication date: 1989
68T35: Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence
03B47: Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics)
Related Items
The complexity of path-based defeasible inheritance, Inheritance comes of age: applying nonmonotonic techniques to problems in industry, On Stein's paper: Resolving ambiguity in nonmonotonic inheritance hierarchies, Seminormal stratified default theories, Networked bubble propagation: a polynomial-time hypothetical reasoning method for computing near-optimal solutions, Dynamic reasoning with qualified syllogisms, Reasoning with power defaults, Well-founded and stationary models of logic programs, Connections between default reasoning and partial constraint satisfaction, Model-preference default theories