Keyphrases
- logical language
- formal semantics
- database
- causal models
- conceptual model
- logic programming
- data model
- update semantics
- model theoretic
- nonmonotonic logics
- semantic relationships
- situation calculus
- logic programs
- evolutionary algorithm
- keywords
- web services
- information systems
- search engine
- learning algorithm
- information retrieval
- data mining
- neural network
- databases
- real time