763 search results - page 20 / 153 » Programming and Planning |
139
click to vote
AAMAS
2008
Springer
15 years 2 months ago
2008
Springer
This paper presents a BDI-based agent-oriented programming language, called 2APL (A Practical Agent Programming Language). This programming language facilitates the implementation...
149
click to vote
LOGCOM
2011
14 years 4 months ago
2011
Planning as Satisfiability is one of the most well-known and effective techniques for classical planning: satplan has been the winning system in the deterministic track for optim...
158
click to vote
CL
2000
Springer
15 years 6 months ago
2000
Springer
We describe a system for the synthesis of logic programs from specifications based on higher-order logical descriptions of appropriate refinement operations. The system has been ...
82
Voted
UM
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. We present a study exploring the promise of developing computational systems to support the discovery and execution of opportunistic activities in mobile settings. We int...
122
click to vote
ICTAI
2010
IEEE
14 years 12 months ago
2010
IEEE
We introduce a new plan repair method for problems cast as Mixed Integer Programs. In order to tackle the inherent complexity of these NP-hard problems, our approach relies on the ...