Sciweavers

HICSS
1998
IEEE

A Situation Calculus Model of Hypertext

13 years 8 months ago
A Situation Calculus Model of Hypertext
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 hypertext systems. In our presentation, a particular version of the situation calculus (which includes a language for programming complex actions) developed for the modeling of dynamic worlds and for the control of robotic agents (as studied in arti cial intelligence) is used to represent the dynamics of a hypertext system. We argue that the formulation besides being of interest in itself has a number of advantages over other methods of formalizing hypertext systems.
Richard B. Scherl, Michael Bieber, Fabio Vitali
Added 04 Aug 2010
Updated 04 Aug 2010
Type Conference
Year 1998
Where HICSS
Authors Richard B. Scherl, Michael Bieber, Fabio Vitali
Comments (0)