66 search results - page 14 / 14 » Disjunctive Temporal Reasoning in Partially Ordered Models o... |
AI
2004
Springer
13 years 6 months ago
2004
Springer
Order-sorted logic has been formalized as first-order logic with sorted terms where sorts are ordered to build a hierarchy (called a sort-hierarchy). These sorted logics lead to u...