Syllogistic reasoning in fuzzy logic and its application to reasoning
Syllogistic reasoning in fuzzy logic and its application to reasoning
Report on the programming language Euclid
ACM SIGPLAN Notices
Representing the structure of a legal argument
ICAIL '89 Proceedings of the 2nd international conference on Artificial intelligence and law
HYPERTEXT '89 Proceedings of the second annual ACM conference on Hypertext
Issues in the design of computer support for co-authoring and commenting
CSCW '90 Proceedings of the 1990 ACM conference on Computer-supported cooperative work
SEPIA: a cooperative hypermedia authoring environment
ECHT '92 Proceedings of the ACM conference on Hypertext
HYPERTEXT '97 Proceedings of the eighth ACM conference on Hypertext
Generating presentation constraints from rhetorical structure
HYPERTEXT '00 Proceedings of the eleventh ACM on Hypertext and hypermedia
Multiple open services: a new approach to service provision in open hypermedia systems
Proceedings of the 12th ACM conference on Hypertext and Hypermedia
Semantics happen: knowledge building in spatial hypertext
Proceedings of the thirteenth ACM conference on Hypertext and hypermedia
Explanation and Argumentation Capabilities: Towards the Creation of More Persuasive Agents
Artificial Intelligence Review
Structural Computing Requirements for the Transformation of Structures and Behaviors
OHS-6/SC-2 Proceedings of the 6th International Workshop and 2nd International Workshop on Open Hypertext Systems and Structural Computing
Searching for revolution in structural computing
Journal of Network and Computer Applications - Special issue: Structural computing: research directions, systems and issues
Cooperation services in the construct structural computing environment
Journal of Network and Computer Applications - Special issue: Structural computing: research directions, systems and issues
Proceedings of the fifteenth ACM conference on Hypertext and hypermedia
Asap: a planning tool for agile software development
Proceedings of the nineteenth ACM conference on Hypertext and hypermedia
Graphical argumentation and design cognition
Human-Computer Interaction
The dynamic web presentations with a generality model on the news domain
SOFSEM'08 Proceedings of the 34th conference on Current trends in theory and practice of computer science
A new methodology for information presentations on the web
APWeb'06 Proceedings of the 8th Asia-Pacific Web conference on Frontiers of WWW Research and Development
Hi-index | 0.00 |
In this paper we describe a hypertext system we are developing for the support of reasoned argumentation: the EUCLID project. We use the project to address two general problems arising with hypertext: the problems of controlling user/document interaction, and the problem of controlling the screen. We suggest that guiding users' interaction with hypertext is difficult because of the unique form of discourse that hypertext represents, and that structuring user/document interaction can be achieved through specializing to a particular type of material and designing the hypertext system to respect the particular discourse structure characteristic of that material. EUCLID's design is tuned to the structure of reasoned discourse. The problem of screen management in EUCLID is a serious one, because our presentation of complex arguments requires mapping the complex logical relations between parts of realistic arguments onto complex spatial relations between items in the display. We describe a general system we are developing which provides this high degree of control for hypertext screen management. This system represents a constraint-based approach to hypertext, in which the items from the underlying database that are to be displayed may each contribute a number of constraints on the layout; a general constraint-satisfier then computes a screen layout that simultaneously satisfies these constraints. Each time an item is to be added to or deleted from the screen, the constraint set is adjusted and the screen layout is recomputed; thus the spatial relationships on the screen provide at all times a veridical representation of the underlying relations between displayed database items. This kind of strong screen control is demanded by hypertext applications which, like ours, are fine grained: the number of nodes and links being displayed number in the hundreds.