265 search results - page 18 / 53 » Domain Semantics for Agent-Oriented Programming |
AAAI
2006
13 years 11 months ago
2006
The Situation Calculus and the Fluent Calculus are successful action formalisms that share many concepts. But until now there is no formal relation between the two calculi that wo...
SEMWEB
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. Nowadays enterprises request information technologies that leverage structured and unstructured information for providing a single integrated view of business problems in...
GECCO
2008
Springer
13 years 10 months ago
2008
Springer
Determining if a group of proteins are functionally associated among themselves is an open problem in molecular biology. Within our long term goal of applying Genetic Programming ...
ESOP
2007
Springer
14 years 3 months ago
2007
Springer
When students first learn programming, they often rely on a simple operational model of a program’s behavior to explain how particular features work. Because such models build o...
DBPL
1987
Springer
14 years 1 months ago
1987
Springer
This paper investigates a method to represent database objects as typed expressions in programming languages. A simple typed language supporting non-flat records, higher-order rel...