Experiences in Prolog-Based DFT Rule Checking.
Gianpiero CabodiPaolo CamuratiPaolo PrinettoPublished in: FJCC (1986)
Keyphrases
- discrete fourier transform
- logic programming
- expert systems
- programming language
- frequency domain
- knowledge base
- case study
- knowledge representation
- fourier transform
- existentially quantified
- real time
- logic programming language
- constraint logic programming
- rule learning
- inference engine
- theorem proving
- data sets
- rule induction
- active databases
- association rules
- database systems
- real world