2291 search results - page 261 / 459 » Representational Reasoning and Verification |
103
Voted
IUI
2005
ACM
15 years 6 months ago
2005
ACM
At the Media Lab we are developing a resource called StoryNet, a very-large database of story scripts that can be used for commonsense reasoning by computers. This paper introduce...
112
Voted
GRID
2004
Springer
15 years 6 months ago
2004
Springer
Locating resources of interest in a large resourceintensive environment is a challenging problem. In this paper we present research on addressing this problem through the developm...
116
Voted
ASP
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. Disjunctive logic programs are a powerful tool in knowledge representation and commonsense reasoning. The recent development of an efficient disjunctive logic programmin...
129
Voted
FROCOS
2009
Springer
15 years 5 months ago
2009
Springer
We discuss a new concept of agent programs that combines logic programming with reasoning about actions. These agent logic programs are characterized by a clear separation between ...
111
click to vote
ATAL
2001
Springer
15 years 5 months ago
2001
Springer
We develop an approach in which we model communication protocols via commitment machines. Commitment machines supply a content to protocol states and actions in terms of the social...