Reasoning and revision in hybrid representation systems
From MaRDI portal
Publication:1188644
zbMath0702.68095MaRDI QIDQ1188644
Publication date: 23 January 1993
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Knowledge representation (68T30) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Research exposition (monographs, survey articles) pertaining to computer science (68-02)
Related Items
A resolution principle for constrained logics, Acquisition and validation of complex object database schemata supporting multiple inheritance, A knowledge server for reasoning about temporal constraints between classes and instances of events, Foundational belief change, DESCRIPTION LOGICS OVER LATTICES, Bi-rewriting, a term rewriting technique for monotonic order relations, CoLab: A hybrid knowledge representation and compilation laboratory, A glance at revision and updating in knowledge bases, Consistency checking reduced to satisfiability of concepts in terminological systems, Using automata theory for characterizing the semantics of terminological cycles, Towards an integration of time and causation in a hybrid knowledge representation formalism, A refined architecture for terminological systems: Terminology = Schema + Views, An epistemic operator for description logics, Cardinality restrictions on concepts, Planning from second principles, A cognitive architecture for artificial vision., Defeasible inheritance on cyclic networks, A multi-dimensional terminological knowledge representation language, A sequent calculus for reasoning in four-valued Description Logics, On model checking multiple hybrid views, An order-sorted logic for knowledge representation systems, Prototypes in a hybrid language with primitive descriptions, Unification of concept terms in description logics, On AGM for non-classical logics, On the failure of the finite model property in some fuzzy description logics, The complexity of existential quantification in concept languages., A Fine-Grained Approach to Resolving Unsatisfiable Ontologies, On intuitionistic query answering in description bases, Attributive concept descriptions with complements, Description Logics, On the scalability of description logic instance retrieval, Logical separability of labeled data examples under ontologies, Ordering constraints over feature trees expressed in second-order monadic logic., Fixed-point semantics for barebone relational concept analysis
Uses Software
