scientific article

zbMATH Open0609.68007MaRDI QIDQ3750100FDOQ3750100

Author name not available (Why is that?)

Publication date: 1985

Title of this publication is not available (Why is that?)

Mathematics Subject Classification ID

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

Cited In (37)

• Principles of metareasoning
• Pattern associativity and the retrieval of semantic networks
• Some notes on fusion of uncertain information
• Defeasible inheritance on cyclic networks
• Synergies between machine learning and reasoning -- an introduction by the Kay R. Amel group
• Mathematical applications of inductive logic programming
• A natural deduction system for discourse representation theory
• Description Logics
• The complexity of concept languages
• Limited reasoning in first-order knowledge bases
• Artificial nonmonotonic neural networks
• Semantic computations of truth based on associations already learned
• Attributive concept descriptions with complements
• Editorial: Towards a science of integrated AI and robotics
• Qualitative reasoning
• EXPtime tableaux for ALC
• Reasoning with Forest Logic Programs and f-hybrid knowledge bases
• Towards Contingent World Descriptions in Description Logics
• Unification theory
• Tractable reasoning via approximation
• Title not available (Why is that?)
• Defaults and relevance in model-based reasoning
• Conservation principles and action schemes in the synthesis of geometric concepts
• Title not available (Why is that?)
• Title not available (Why is that?)
• Ontologies and Databases: The DL-Lite Approach
• Computing the least common subsumer w.r.t. a background terminology
• An epistemic operator for description logics
• Maintaining mental models of agents who have existential misconceptions
• Computational Aspects of Quasi-Classical Entailment
• The preference semantics family
• Semantic networks
• Subsumption computed algebraically
• The descriptive component of a hybrid knowledge representation language
• Model-preference default theories
• The complexity of propositional closed world reasoning and circumscription
• Logic-based subsumption architecture

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3750100)