The following pages link to (Q4287474):
Displayed 7 items.
- On subsumption and semiunification in feature algebras (Q1194340) (← links)
- C-expressions: A variable-free calculus for equational logic programming (Q1208416) (← links)
- Combining Horn rules and description logics in CARIN (Q1274681) (← links)
- A feature constraint system for logic programming with entailment (Q1314426) (← links)
- Constraint satisfaction with an object-oriented knowledge representation language (Q1330407) (← links)
- Situated simplification (Q1391936) (← links)
- A rational reconstruction of the domain of feature structures (Q1903084) (← links)