On the logic of generalized hypertext.
Michael P. BieberSteven O. KimbroughPublished in: Decis. Support Syst. (1994)
Keyphrases
- classical logic
- computational properties
- machine learning
- proof theory
- logic programming
- modal logic
- set valued
- multiscale
- multi agent
- knowledge structures
- delay insensitive
- asynchronous circuits
- modal operators
- abductive reasoning
- predicate logic
- logical framework
- multi valued
- description logics
- probabilistic model
- search algorithm