Sciweavers

986 search results - page 4 / 198
» Generalized Goal Programming: polynomial methods and applica...
Sort
View
ATAL
2005
Springer
13 years 11 months ago
Semantics of declarative goals in agent programming
This paper addresses the notion of declarative goals as used in agent programming. Declarative goals describe desirable states, and semantics of these goals in an agent programmin...
Birna van Riemsdijk, Mehdi Dastani, John-Jules Ch....
SAGT
2010
Springer
167views Game Theory» more  SAGT 2010»
13 years 4 months ago
A Perfect Price Discrimination Market Model with Production, and a (Rational) Convex Program for It
Recent results showing PPAD-completeness of the problem of computing an equilibrium for Fisher’s market model under additively separable, piecewise-linear, concave utilities (pl...
Gagan Goel, Vijay V. Vazirani
ATAL
2003
Springer
13 years 11 months ago
Rational action in agent programs with prioritized goals
Agent theories and agent programs are two very different styles of specification of agent behavior. The former are declarative in nature, while the latter have an imperative fl...
Sebastian Sardiña, Steven Shapiro
ICLP
2005
Springer
13 years 11 months ago
Polynomial Interpretations as a Basis for Termination Analysis of Logic Programs
Our goal is to study the feasibility of porting termination analysis techniques developed for one programming paradigm to another paradigm. In this paper, we show how to adapt ter...
Manh Thang Nguyen, Danny De Schreye
MATES
2005
Springer
13 years 11 months ago
A Goal Deliberation Strategy for BDI Agent Systems
One aspect of rational behavior is that agents can pursue multiple goals in parallel. Current BDI theory and systems do not provide a theoretical or architectural framework for dec...
Alexander Pokahr, Lars Braubach, Winfried Lamersdo...