107
click to vote
LILOG
15 years 4 months ago
1989 
This paper surveys terminological representation languages and feature-based unification grammars pointing out the similarities and differences between these two families of att...
LILOG
15 years 4 months ago
1989 
We propose a theory for reasoning about actions based on order-sorted predicate logic where one can consider an elaborate taxonomy of objects. We are interested in the projection ...
|
Information Technology