System Description: MBASE, an Open Mathematical Knowledge Base.
Andreas FrankeMichael KohlhasePublished in: CADE (2000)
Keyphrases
- knowledge base
- high level
- knowledge acquisition
- knowledge representation
- expert systems
- description logics
- knowledge structures
- real world
- knowledge based systems
- logic programming
- formal representation
- semantic network
- mathematical formulas
- mathematical modeling
- reasoning process
- rule base
- belief revision
- information systems