Generating Contours of Integration: An Application of Prolog in Symbolic Computing.
Gábor BelováriJohn A. CampbellPublished in: CADE (1980)
Keyphrases
- data integration
- knowledge base
- three dimensional
- logic programming
- artificial intelligence
- knowledge representation
- symbolic representation
- programming language
- d objects
- abstract machine
- occluding contours
- constraint logic programming
- generation process
- theorem proving
- real time
- expert systems
- image processing
- learning algorithm
- databases