Sciweavers

10568 search results - page 701 / 2114
» Computer Intelligence and Formalization
Sort
View
CP
2005
Springer
16 years 23 days ago
Sub-optimality Approximations
Abstract. The sub-optimality approximation problem considers an optimization problem O, its optimal solution σ∗ , and a variable x with domain {d1, . . . , dm} and returns appro...
Russell Bent, Irit Katriel, Pascal Van Hentenryck
EPIA
2005
Springer
16 years 23 days ago
Intentions and Strategies in Game-Like Scenarios
In this paper, we investigate the link between logics of games and “mentalistic” logics of rational agency, in which agents are characterized in terms of attitudes such as beli...
Wojciech Jamroga, Wiebe van der Hoek, Michael Wool...
EPIA
2005
Springer
16 years 23 days ago
Subgoal Semantics in Agent Programming
This paper investigates the notion of subgoals as used in plans in cognitive agent programming languages. These subgoals form act representation of more concrete courses of action ...
M. Birna van Riemsdijk, Mehdi Dastani, John-Jules ...
IEAAIE
2005
Springer
16 years 22 days ago
Plan Execution in Dynamic Environments
Abstract. This paper deals with plan execution on agents/robots in highly dynamic environments. Besides a formal semantics of plan execution and a representation of plans as progra...
Gordon Fraser, Gerald Steinbauer, Franz Wotawa
JSAI
2005
Springer
16 years 22 days ago
Network Topologies and Consumption Externalities
Abstract. The economic implications of network topologies are studied via a monopolist’s model of market networks originally proposed by Phan, et al. (2003). By embedding the mar...
Shu-Heng Chen, Li-Cheng Sun, Chih-Chien Wang