Keyphrases
- high speed
- high speed networks
- logic programming
- classical logic
- modal logic
- low power
- automated reasoning
- shift register
- probabilistic logic
- natural language interface
- defeasible logic
- computational properties
- real time
- multi valued
- machine learning
- neural network
- friendly interface
- novice users
- visual interface
- proof theory
- direct manipulation
- interface design
- graphical interface
- set theory
- user friendly
- user interface
- digital libraries
- multi agent
- artificial intelligence
- databases