Logic Colloquium '95, Haifa, Israel, 9-17 August 1995 - Preface.
Richard A. ShorePublished in: Ann. Pure Appl. Log. (1997)
Keyphrases
- classical logic
- modal logic
- multi valued
- special issue
- data sets
- knowledge discovery and data mining
- logic programming
- knowledge discovery
- decision trees
- formal theory
- asynchronous circuits
- real time
- digital circuits
- predicate logic
- computational properties
- sound and complete axiomatization
- logical framework
- probabilistic logic
- automated reasoning
- international workshop
- search algorithm
- database systems
- information retrieval
- machine learning
- real world