The missing observations theorem and a new proof of Levinson's recursion.
Charles W. TherrienPublished in: ISCAS (3) (2005)
Keyphrases
- interactive theorem proving
- missing data
- theorem proving
- von neumann
- missing values
- knowledge representation
- machine learning
- artificial intelligence
- information systems
- proof theoretic
- proof planning
- logical rules
- incomplete data
- deductive databases
- query processing
- search algorithm
- data structure
- decision trees
- web services
- decision making