237 search results - page 15 / 48 » On the decidability and complexity of reasoning about only k... |
94
Voted
AAAI
1996
14 years 11 months ago
1996
While the explosion of on-line information has brought new opportunities for nding and using electronic data, it has also brought to the forefront the problem of isolating useful ...
78
Voted
CSE
2009
IEEE
15 years 4 months ago
2009
IEEE
—Personal data is a valuable asset for service providers. To collect such data, free services are offered to users, for whom the risk of loosing privacy by subscribing to a servi...
106
click to vote
ACMICEC
2005
ACM
15 years 3 months ago
2005
ACM
In order to capture the full fledge semantic of complicated product data model, the expressive language ALCNHR+ K(D) is introduced. It cannot only be able to represent knowledge a...
AAAI
2000
14 years 11 months ago
2000
Certain problems in connection with, for example, cooperating agents and distributed systems require reasoning about time which is measured on incomparable or unsynchronized time ...
ECAI
1994
Springer
15 years 1 months ago
1994
Springer
For large problems the ATMS often becomes the main resource consumer in any reasoning system. We propose an architecture (the 2vATMS) that combines the advantages of two techniques...