The following pages link to (Q4287474):
Displaying 12 items.
- Similarity measures over refinement graphs (Q420926) (← links)
- 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)
- Speeding up operations on feature terms using constraint programming and variable symmetry (Q2341834) (← links)
- Feature automata and recognizable sets of feature trees (Q5044748) (← links)
- Equational and membership constraints for infinite trees (Q5055789) (← links)
- Fifty Years of Prolog and Beyond (Q6063890) (← links)