3717 search results - page 284 / 744 » Representing Multiple Theories |
192
click to vote
ATAL
1995
Springer
15 years 10 months ago
1995
Springer
Abstract. This article considers the link between theory and practice in agentoriented programming. We begin by rigorously defining a new formal specification language for autono...
191
click to vote
AAAI
2008
15 years 9 months ago
2008
This paper proposes an optimal approach to infinite-state action planning exploiting automata theory. State sets and actions are characterized by Presburger formulas and represent...
179
Voted
AAAI
2007
15 years 9 months ago
2007
This paper contains two important contributions for the development of possibilistic causal networks. The first one concerns the representation of interventions in possibilistic ...
190
click to vote
FLAIRS
2008
15 years 9 months ago
2008
As a side effect of e-marketing strategy the number of spam e-mails is rocketing, the time and cost needed to deal with spam as well. Spam filtering is one of the most difficult t...
184
click to vote
ARGMAS
2008
Springer
15 years 8 months ago
2008
Springer
Intelligent and autonomous software agents may engage in dialogue and argument with one another, and much recent research has considered protocols, architectures and frameworks for...