Automated Reasoning for Mizar: Artificial Intelligence through Knowledge Exchange.
Josef UrbanPublished in: LPAR Workshops (2008)
Keyphrases
- automated reasoning
- knowledge exchange
- artificial intelligence
- knowledge representation
- knowledge representation and reasoning
- knowledge sharing
- information exchange
- theorem prover
- theorem proving
- probabilistic reasoning
- intelligent systems
- social interaction
- machine learning
- informal learning
- computational intelligence
- software engineering
- information systems
- data management
- graphical models
- social networking
- probability distribution
- search space
- bayesian networks
- knowledge base
- data mining