Keyphrases
- parallel processing
- default logic
- search engine
- social networks
- computer architecture
- logic programs
- closed world assumption
- real world
- event calculus
- depth first search
- default reasoning
- nonmonotonic reasoning
- significantly reduced
- parallel implementation
- theorem prover
- situation calculus
- logic programming
- data model
- query processing
- data structure
- database systems
- case study
- data mining