MU: A Development Environment for Prospective Reasoning Systems.
Paul R. CohenMichael GreenbergJefferson DeLisioPublished in: AAAI (1987)
Keyphrases
- reasoning systems
- development environment
- automated reasoning
- development tools
- knowledge representation and reasoning
- application development
- development environments
- description logics
- user interface
- visual programming
- database server
- rapid prototyping
- development process
- theorem prover
- logic programs
- software engineering
- knowledge representation
- software development environment
- natural language