58 search results - page 1 / 12 » A Situation Calculus Model of Hypertext |
82
Voted
HICSS
1998
IEEE
15 years 2 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...
107
Voted
JAIR
2012
13 years 18 days ago
2012
Circumscription and logic programs under the stable model semantics are two wellknown nonmonotonic formalisms. The former has served as a basis of classical logic based action for...
84
Voted
HT
2004
ACM
15 years 3 months ago
2004
ACM
Adaptive hypermedia has the goal of contextualizing the display of a hypertext to suit the user and their situation. A variety of aspects of the context can influence the appropri...
KRDB
2001
14 years 11 months ago
2001
JIIS
2010
14 years 8 months ago
2010