Past-future separation and normal forms in temporal predicate logic specifications.
Jan TreurPublished in: J. Algorithms (2009)
Keyphrases
- predicate logic
- normal form
- database design
- order sorted
- knowledge representation and reasoning
- functional dependencies
- database theory
- nested relations
- formal definitions
- temporal logic
- logical formulas
- semantic network
- formal logic
- data dependencies
- computational linguistics
- relational databases
- information content
- database
- real world
- relational database theory
- artificial intelligence
- prime implicates
- expert systems
- case study
- lower level
- machine learning
- temporal reasoning
- knowledge representation
- knowledge base
- function symbols
- information extraction
- data mining
- logic programming