Sciweavers

1806 search results - page 124 / 362
» Cognitive agent programming
Sort
View
FLAIRS
2004
15 years 4 months ago
Automatic Creation of Contextual Knowledge in Simulated Agents
Modeling human behavior can be complicated and expensive. To be able to reduce costs, new methodologies and tools must be developed that automate the creation of human behavior mo...
Hans Fernlund, Avelino J. Gonzalez
101
Voted
OOPSLA
2010
Springer
15 years 1 months ago
Programming with time: cyber-physical programming with impromptu
The act of computer programming is generally considered to be temporally removed from a computer program’s execution. In this paper we discuss the idea of programming as an acti...
Andrew Sorensen, Henry Gardner
AAAI
1994
15 years 4 months ago
Genetic Programming and AI Planning Systems
Genetic programming (GP) is an automatic programming technique that has recently been applied to a wide range of problems including blocks-world planning. This paper describes a s...
Lee Spector
HYBRID
1997
Springer
15 years 7 months ago
Hybrid Dynamic Programming
In this paper we outline the derivation of a hybrid Hamilton-JacobiBellman equation for our Multiple Agent Hybrid Control Architecture (MACHA) [5, 4] and a hybrid system dynamic p...
Wolf Kohn, Jeffrey B. Remmel
123
Voted
ATAL
2006
Springer
15 years 7 months ago
The complexity of model checking concurrent programs against CTLK specifications
This paper presents complexity results for model checking concurrent programs against temporal-epistemic formulae. We apply these results to evaluate the complexity of verifying p...
Alessio Lomuscio, Franco Raimondi