Automated Deduction and Knowledge Management in Geometry.
Pedro QuaresmaPublished in: Math. Comput. Sci. (2020)
Keyphrases
- automated deduction
- knowledge management
- theorem proving
- theorem prover
- case study
- inference rules
- knowledge engineering
- three dimensional
- web based learning
- logic programming
- artificial intelligence
- knowledge resources
- organizational learning
- deductive databases
- knowledge sharing
- semantic web
- software engineering
- tacit knowledge
- knowledge reuse
- ontological engineering
- software development
- case based reasoning
- information technology
- databases