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