609 search results - page 104 / 122 » Declarative programming for agent applications |
ICSE
2005
IEEE-ACM
14 years 7 months ago
2005
IEEE-ACM
Sensitive data are increasingly available on-line through the Web and other distributed protocols. This heightens the need to carefully control access to data. Control means not o...
ICLP
2011
Springer
12 years 11 months ago
2011
Springer
Transaction Logic is an extension of classical logic that gracefully integrates both declarative and procedural knowledge and has proved itself as a powerful formalism for many ad...
CDC
2009
IEEE
14 years 11 days ago
2009
IEEE
— The problem of finding an optimal path in an uncertain graph arises in numerous applications, including network routing, path-planning for vehicles, and the control of finite...
ATAL
2006
Springer
13 years 11 months ago
2006
Springer
Computer programs able to play different kinds of games (aka bots) is a growing area of interest for the computer game industry as the demand for better skilled computerized oppon...
AAAI
2007
13 years 10 months ago
2007
The gap in automation between MIP/SAT solvers and those for constraint programming and constraint-based local search hinders experimentation and adoption of these technologies and...