69 search results - page 10 / 14 » Let's Plan It Deductively! |
KR
1992
Springer
13 years 12 months ago
1992
Springer
In this paper, we view planning as a special case of reasoning about indefinite actions. We treat actions as predicates defined over a linear temporal order. This formalism permit...
ICLP
2011
Springer
12 years 11 months ago
2011
Springer
Transaction Logic is an extension of classical logic that gracefully integrates both declarative and procedural knowledge and has proved itself as a powerful formalism for many ad...
WWW
2008
ACM
14 years 8 months ago
2008
ACM
Web 2.0 marks a new philosophy where user is the main actor and content producer: users write blogs and comments, they tag, link, and upload photos, pictures, videos, and podcasts...
SIGMOD
2007
ACM
14 years 8 months ago
2007
ACM
In this paper, we describe MySearchView ? a system for assembling search engines into metasearch engines. With this system, any user can create a metasearch engine by simply letti...
HICSS
2007
IEEE
14 years 2 months ago
2007
IEEE
Wikipedia, the online encyclopedia, has attracted attention both because of its popularity and its unconventional policy of letting anyone on the internet edit its articles. This ...