Computer aided design (CAD) using logic programming.
Paul W. HorstmannEdward P. StablerPublished in: DAC (1984)
Keyphrases
- computer aided design
- logic programming
- logic programs
- computer aided
- object oriented
- solid models
- nonmonotonic reasoning
- programming language
- cad cam
- computer graphics
- deductive databases
- answer set programming
- knowledge representation
- cad systems
- reverse engineering
- logic programming language
- design process
- computational logic
- process planning
- knowledge base
- default logic
- cad model
- inductive logic programming
- answer sets
- product development process
- classical first order logic
- computer vision
- stable models
- reasoning about actions
- constraint logic programming
- fixpoint
- database
- propositional variables
- office information systems
- description logics
- data model
- relational databases
- high level
- case study
- image processing
- databases