28 search results - page 2 / 6 » Decision-Theoretic, High-Level Agent Programming in the Situ... |
HICSS
1998
IEEE
13 years 10 months ago
1998
IEEE
We utilize the situation calculus to develop a logical model of hypertext systems. The work builds upon the earlier work of Bieber and Kimbrough in the logical modeling of hyperte...
DALT
2004
Springer
13 years 11 months ago
2004
Springer
Abstract. We propose an extension of action theories to intention theories in the framework of situation calculus. Moreover the method for implementing action theories is adapted t...
AAAI
1994
13 years 7 months ago
1994
In this paper we consider updates that are specified as rules and consider simple knowledge bases consisting of ground atoms. We present a translation of the rule based update spe...
AMI
2009
Springer
14 years 1 months ago
2009
Springer
Abstract. We propose SAGE, an agent-based environment monitoring and control system based on computation logic. SAGE uses forward chaining deductive inference to map low level sens...
MAGS
2008
13 years 6 months ago
2008
Process calculi are mathematical tools used for modeling and analyzing the structure and behavior of reactive systems. One such calculus, called APi-calculus (an extension to Pi-ca...