16 search results - page 4 / 4 » On the Use of Multi-dimensional Dynamic Logic Programming to... |
HICSS
1998
IEEE
13 years 9 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...