972 search results - page 77 / 195 » Reasoning with Conditional Time-Intervals |
114
Voted
ASIACRYPT
2001
Springer
15 years 7 months ago
2001
Springer
One interesting and important challenge for the cryptologic community is that of providing secure authentication and identification for unassisted humans. There are a range of prot...
145
Voted
ASP
2001
Springer
15 years 7 months ago
2001
Springer
In this paper we implement planning using answer set programming. We consider the action language A and its extensions. We show that when the domain is described using richer feat...
105
Voted
IJCAI
2003
15 years 4 months ago
2003
Formalisms and axiomatic theories are designed to support reasoning, they are often intended with a preferred interpretation and a targeted ontology. Questions of proper interpret...
111
Voted
UAI
2004
15 years 4 months ago
2004
The complexity of a reasoning task over a graphical model is tied to the induced width of the underlying graph. It is well-known that the conditioning (assigning values) on a subs...
153
Voted
IJCAI
1997
15 years 4 months ago
1997
In order to cooperate effectively with its peers, an agent must manipulate representations of the social structures in which it plays a part. The purpose of this paper is to inves...