136 search results - page 1 / 28 » Extending the Resolution Method with Sorts |
IJCAI
1993
13 years 6 months ago
1993
PSSS
2003
13 years 6 months ago
2003
We investigate the applicability of classical resolution-based theorem proving methods for the Semantic Web. We consider several well-known search strategies, propose a general sch...
TIME
2003
IEEE
13 years 10 months ago
2003
IEEE
AI
2004
Springer
13 years 4 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...
4OR
2006
13 years 4 months ago
2006
Sorting models consist in assigning alternatives evaluated on several criteria to ordered categories. To implement such models it is necessary to set the values of the preference p...