scientific article; zbMATH DE number 3986613
From MaRDI portal
Publication:3750100
Cited in
(42)- Principles of metareasoning
- Pattern associativity and the retrieval of semantic networks
- Some notes on fusion of uncertain information
- Defeasible inheritance on cyclic networks
- Mathematical applications of inductive logic programming
- Synergies between machine learning and reasoning -- an introduction by the Kay R. Amel group
- A natural deduction system for discourse representation theory
- Description Logics
- The complexity of concept languages
- Limited reasoning in first-order knowledge bases
- Semantic computations of truth based on associations already learned
- Attributive concept descriptions with complements
- Artificial nonmonotonic neural networks
- Editorial: Towards a science of integrated AI and robotics
- Qualitative reasoning
- EXPtime tableaux for ALC
- Unification theory
- Tractable reasoning via approximation
- ``Reducing classic to practice: Knowledge representation theory meets reality
- GWAI-84
- scientific article; zbMATH DE number 7453144 (Why is no real title available?)
- Defaults and relevance in model-based reasoning
- Conservation principles and action schemes in the synthesis of geometric concepts
- scientific article; zbMATH DE number 54102 (Why is no real title available?)
- scientific article; zbMATH DE number 52881 (Why is no real title available?)
- Ontological commitments of frame-based knowledge representations
- Correction to: ``Ontological commitments of frame-based knowledge representations
- Computing the least common subsumer w.r.t. a background terminology
- Ontologies and Databases: The DL-Lite Approach
- Maintaining mental models of agents who have existential misconceptions
- An epistemic operator for description logics
- Computational Aspects of Quasi-Classical Entailment
- Foundations of a functional approach to knowledge representation
- Reasoning with forest logic programs and f-hybrid knowledge bases
- The preference semantics family
- Semantic networks
- Subsumption computed algebraically
- The descriptive component of a hybrid knowledge representation language
- Towards contingent world descriptions in description logics
- 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)
