Pages that link to "Item:Q1188644"
From MaRDI portal
The following pages link to Reasoning and revision in hybrid representation systems (Q1188644):
Displaying 25 items.
- On AGM for non-classical logics (Q535331) (← links)
- On the failure of the finite model property in some fuzzy description logics (Q549343) (← links)
- Attributive concept descriptions with complements (Q749235) (← links)
- On model checking multiple hybrid views (Q947781) (← links)
- The complexity of existential quantification in concept languages. (Q989170) (← links)
- On the scalability of description logic instance retrieval (Q1040773) (← links)
- A refined architecture for terminological systems: Terminology = Schema + Views (Q1128645) (← links)
- An epistemic operator for description logics (Q1128772) (← links)
- An order-sorted logic for knowledge representation systems (Q1193487) (← links)
- Prototypes in a hybrid language with primitive descriptions (Q1202670) (← links)
- A resolution principle for constrained logics (Q1327159) (← links)
- Acquisition and validation of complex object database schemata supporting multiple inheritance (Q1330409) (← links)
- Foundational belief change (Q1337510) (← links)
- Consistency checking reduced to satisfiability of concepts in terminological systems (Q1380407) (← links)
- Using automata theory for characterizing the semantics of terminological cycles (Q1380409) (← links)
- Cardinality restrictions on concepts (Q1391904) (← links)
- A cognitive architecture for artificial vision. (Q1399123) (← links)
- Defeasible inheritance on cyclic networks (Q1402730) (← links)
- Ordering constraints over feature trees expressed in second-order monadic logic. (Q1854347) (← links)
- CoLab: A hybrid knowledge representation and compilation laboratory (Q1897397) (← links)
- Logical separability of labeled data examples under ontologies (Q2093388) (← links)
- Fixed-point semantics for barebone relational concept analysis (Q2117114) (← links)
- Planning from second principles (Q2676578) (← links)
- A knowledge server for reasoning about temporal constraints between classes and instances of events (Q3159445) (← links)
- A sequent calculus for reasoning in four-valued Description Logics (Q4610338) (← links)
