Formula Databases for High-Performance Resolution/Paramodulation Systems.
Ralph ButlerRoss A. OverbeekPublished in: J. Autom. Reason. (1994)
Keyphrases
- databases
- database
- artificial intelligence
- relational databases
- knowledge discovery
- database applications
- expert systems
- data model
- high resolution
- metadata
- distributed systems
- data intensive
- search algorithm
- management system
- data warehouse
- intelligent systems
- information systems
- learning systems
- data integration
- inference rules
- scientific computing