A Gabbay-Rule Free Axiomatization of T×W Validity.
Maria Concetta Di MaioAlberto ZanardoPublished in: J. Philos. Log. (1998)
Keyphrases
- neural network
- association rules
- multiresolution
- data sets
- objective function
- case study
- information systems
- data structure
- digital libraries
- information technology
- information retrieval
- relational databases
- real world
- control system
- special case
- rule sets
- production rules
- active databases
- general theory
- rule generation