scientific article

zbMath0609.68007MaRDI QIDQ3750100

No author found.

Publication date: 1985

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Artificial intelligence (68T99) Artificial intelligence (68Txx)

Related Items

The complexity of propositional closed world reasoning and circumscription ⋮ Some notes on fusion of uncertain information ⋮ Computing the least common subsumer w.r.t. a background terminology ⋮ Limited reasoning in first-order knowledge bases ⋮ Reasoning with Forest Logic Programs and f-hybrid knowledge bases ⋮ Model-preference default theories ⋮ The complexity of concept languages ⋮ Editorial: Towards a science of integrated AI and robotics ⋮ Unification theory ⋮ Defaults and relevance in model-based reasoning ⋮ An epistemic operator for description logics ⋮ Defeasible inheritance on cyclic networks ⋮ Mathematical applications of inductive logic programming ⋮ Unnamed Item ⋮ 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 ⋮ Artificial nonmonotonic neural networks ⋮ A natural deduction system for discourse representation theory ⋮ Computational Aspects of Quasi-Classical Entailment ⋮ Attributive concept descriptions with complements ⋮ Description Logics ⋮ Ontologies and Databases: The DL-Lite Approach ⋮ Conservation principles and action schemes in the synthesis of geometric concepts ⋮ Semantic computations of truth based on associations already learned ⋮ Towards Contingent World Descriptions in Description Logics ⋮ EXPtime tableaux for ALC ⋮ Tractable reasoning via approximation ⋮ Logic-based subsumption architecture