Pages that link to "Item:Q3735057"
From MaRDI portal
The following pages link to Login: a logic programming language with built-in inheritance (Q3735057):
Displayed 27 items.
- A complete and recursive feature theory (Q673135) (← links)
- A logic for programming with complex objects (Q686642) (← links)
- Attributive concept descriptions with complements (Q749235) (← links)
- Order-sorted logic programming with predicate hierarchy (Q814621) (← links)
- An algebraic semantics approach to the effective resolution of type equations (Q1093359) (← links)
- Inheritance hierarchies: Semantics and unifications (Q1124313) (← links)
- Horn clause programs with polymorphic types: Semantics and resolution (Q1177936) (← links)
- The substitutional framework for sorted deduction: Fundamental results on hybrid reasoning (Q1182164) (← links)
- An order-sorted logic for knowledge representation systems (Q1193487) (← links)
- Semantic networks (Q1202620) (← links)
- The KL-ONE family (Q1202629) (← links)
- Completing sort hierarchies (Q1202662) (← links)
- The ''descriptive'' component of a hybrid knowledge representation language (Q1202682) (← links)
- Well-founded semantics and stratification for ordered logic programs (Q1313371) (← links)
- A feature constraint system for logic programming with entailment (Q1314426) (← links)
- Implementing specifications by dynamic inheritance (Q1326576) (← links)
- Hybrid reasoning using universal attachment (Q1329365) (← links)
- A set expression based inheritance system (Q1354083) (← links)
- Incremental constraint satisfaction for equational logic programming (Q1367535) (← links)
- On Skolemization in constrained logics (Q1380406) (← links)
- Fuzzy types: A framework for handling uncertainty about types of objects (Q1594851) (← links)
- Ordering constraints over feature trees expressed in second-order monadic logic. (Q1854347) (← links)
- Tractable reasoning via approximation (Q1855213) (← links)
- Resolution for label-based formulas in hierarchical representation (Q1882550) (← links)
- A rational reconstruction of the domain of feature structures (Q1903084) (← links)
- Kernel-LEAF: A logic plus functional language (Q2638759) (← links)
- A FORMALISM FOR REPRESENTING AND REASONING WITH LINGUISTIC INFORMATION (Q4824617) (← links)