18 search results - page 2 / 4 » Progress Towards Effective Automated Reasoning with World Kn... |
ICCBR
2001
Springer
13 years 10 months ago
2001
Springer
We describe a case-based approach to the keyhole plan-recognition task where the observed agent is a state-space planner whose world states can be monitored. Case-based approach pr...
KR
2010
Springer
13 years 11 months ago
2010
Springer
Description Logics (DLs) are knowledge representation formalisms that provide, for example, the logical underpinning of the W3C OWL standards. Conjunctive queries (CQs), the stand...
TIME
1999
IEEE
13 years 10 months ago
1999
IEEE
We present a new forward chaining planner, TALplanner, based on ideas developed by Bacchus [5] and Kabanza [11], where domain-dependent search control knowledge represented as tem...
GIS
2008
ACM
14 years 7 months ago
2008
ACM
The pervasiveness of location-acquisition technologies (GPS, GSM networks, etc.) enable people to conveniently log the location histories they visited with spatio-temporal data. T...
ACSAC
2007
IEEE
14 years 15 days ago
2007
IEEE
Progress in insider-threat detection is currently limited by a lack of realistic, publicly available, real-world data. For reasons of privacy and confidentiality, no one wants to...