5198 search results - page 399 / 1040 » A Logic of Agent Programs |
141
click to vote
ACL
1996
15 years 8 months ago
1996
Off-line compilation of logic grammars using Magic allows an incorporation of filtering into the logic underlying the grammar. The explicit definite clause characterization of fil...
218
Voted
AAAI
2007
15 years 9 months ago
2007
In probabilistic reasoning, the problems of existence and identity are important to many different queries; for example, the probability that something that fits some description...
166
click to vote
AAAI
2006
15 years 8 months ago
2006
We consider the problem of rewriting a query efficiently using materialized views. In the context of information integration, this problem has received significant attention in th...
159
click to vote
AAAI
2000
15 years 8 months ago
2000
High-level robot controllers in realistic domains typically deal with processes which operate concurrently, change the world continuously, and where the execution of actions is ev...
151
click to vote
AAAI
1996
15 years 8 months ago
1996
Truth maintenance systems provide caches of beliefs and inferences that support explanations and search. Traditionally, the cost of using a TMS is monotonic growth in the size of ...