3891 search results - page 332 / 779 » A logic for strategic reasoning |
149
click to vote
ESOP
2005
Springer
16 years 7 days ago
2005
Springer
This paper presents a determinacy inference analysis for logic programs. The analysis infers determinacy conditions that, if satisfied by a call, ensures that it computes at most ...
205
click to vote
SEMWEB
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. In the Semantic Web information would be retrieved, processed, combined, shared and reused in the maximum automatic way possible. Obviously, such procedures involve a hig...
197
click to vote
TABLEAUX
2005
Springer
16 years 6 days ago
2005
Springer
In description logics (DLs), concrete domains are used for defining concepts based on concrete qualities of their instances such as the weight, age, duration, and spatial extensio...
186
click to vote
KR
2004
Springer
16 years 2 days ago
2004
Springer
There are numerous applications such as air traffic management, cellular phone location tracking, and vehicle protection systems where there is a critical need to reason about mo...
152
click to vote
ECAI
2000
Springer
15 years 11 months ago
2000
Springer
The paper presents a prototype of a system for querying the Web in natural language (French) for a limited domain. The domain knowledge, represented in description logics (DL), is ...