4573 search results - page 254 / 915 » Automated Reasoning |
172
click to vote
RR
2007
Springer
16 years 23 days ago
2007
Springer
We present a vision of smart, goal-oriented web services that reason about other services’ policies and evaluate the possibility of future interactions. We assume web services wh...
160
click to vote
EWCBR
2004
Springer
16 years 22 hour ago
2004
Springer
Two key objectives of conversational case-based reasoning (CCBR) systems are (1) eliciting case facts in a manner that minimizes the user’s burden in terms of resources such as t...
192
click to vote
KR
2004
Springer
16 years 2 hour ago
2004
Springer
Although sorts and unary predicates are semantically identical in order-sorted logic, they are classified as different kinds of properties in formal ontology (e.g. sortal and non...
203
click to vote
ASP
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. We integrate an expressive class of description logics (DLs) and answer set programming by extending the latter to support inverted predicates and infinite domains, feat...
216
click to vote
EWIMT
2004
15 years 8 months ago
2004
Reasoning on the Web is gaining in importance because of emerging Web applications such as contextadaptive Web systems (e.g. eLearning, recommender, personalised (multi-)media, an...