Type-theoretic interpretation of iterated, strictly positive inductive definitions.
Erik PalmgrenPublished in: Arch. Math. Log. (1992)
Keyphrases
- positive and negative
- inductive logic programming
- high level
- semantic interpretation
- knowledge acquisition
- artificial intelligence
- machine learning
- decision making
- web services
- decision trees
- image segmentation
- real world
- image sequences
- object recognition
- digital libraries
- computer vision
- information retrieval
- concept learning
- image interpretation