Abstraction-Based Information Technology: A Framework for Open Mechanized Reasoning.
Jacques CalmetPublished in: Calculemus/MKM (2009)
Keyphrases
- information technology
- main contribution
- meta level
- logical framework
- high level
- theoretical framework
- lightweight
- software engineering
- reasoning mechanism
- abductive reasoning
- reasoning systems
- reasoning tasks
- researchers and practitioners
- data sets
- probabilistic model
- image segmentation
- case study
- clustering algorithm
- knowledge base
- artificial intelligence
- learning algorithm
- information retrieval