Inductive Reasoning with Incomplete Specifications (Preliminary Report)
Deepak KapurDavid R. MusserPublished in: LICS (1986)
Keyphrases
- inductive reasoning
- delay insensitive
- high level
- missing data
- missing values
- formal specification
- cognitive functions
- specification language
- databases
- database
- search engine
- concurrent systems
- data analysis
- incomplete data
- transition systems
- asynchronous circuits
- operational semantics
- control flow
- noisy data
- multi agent
- decision trees
- data mining
- real world