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)
68T30: Knowledge representation
68T35: Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence
68-02: Research exposition (monographs, survey articles) pertaining to computer science
Related Items
A glance at revision and updating in knowledge bases, Towards an integration of time and causation in a hybrid knowledge representation formalism, A multi-dimensional terminological knowledge representation language, Unification of concept terms in description logics, A refined architecture for terminological systems: Terminology = Schema + Views, An epistemic operator for description logics, An order-sorted logic for knowledge representation systems, Prototypes in a hybrid language with primitive descriptions, A resolution principle for constrained logics, Acquisition and validation of complex object database schemata supporting multiple inheritance, Foundational belief change, Consistency checking reduced to satisfiability of concepts in terminological systems, Using automata theory for characterizing the semantics of terminological cycles, Cardinality restrictions on concepts, A cognitive architecture for artificial vision., Defeasible inheritance on cyclic networks, Ordering constraints over feature trees expressed in second-order monadic logic., CoLab: A hybrid knowledge representation and compilation laboratory, A knowledge server for reasoning about temporal constraints between classes and instances of events
Uses Software