Publication:3750100
From MaRDI portal
zbMath0609.68007MaRDI QIDQ3750100
No author found.
Publication date: 1985
68-06: Proceedings, conferences, collections, etc. pertaining to computer science
68T99: Artificial intelligence
68Txx: Artificial intelligence
Related Items
Computational Aspects of Quasi-Classical Entailment, Artificial nonmonotonic neural networks, Attributive concept descriptions with complements, Logic-based subsumption architecture, Unification theory, Defaults and relevance in model-based reasoning, An epistemic operator for description logics, Maintaining mental models of agents who have existential misconceptions, Principles of metareasoning, Semantic networks, The preference semantics family, Subsumption computed algebraically, Pattern associativity and the retrieval of semantic networks, The descriptive component of a hybrid knowledge representation language, The complexity of propositional closed world reasoning and circumscription, Limited reasoning in first-order knowledge bases, The complexity of concept languages, Defeasible inheritance on cyclic networks, EXPtime tableaux for ALC, A natural deduction system for discourse representation theory, Tractable reasoning via approximation, Computing the least common subsumer w.r.t. a background terminology, Mathematical applications of inductive logic programming, Semantic computations of truth based on associations already learned, Model-preference default theories, Some notes on fusion of uncertain information