Formal Verification of Temporal Questions in the Context of Query-Answering Text Summarization.
Nasrin MostafazadehOmid Bakhshandeh BabarsadGholamreza Ghassem-SaniPublished in: Canadian Conference on AI (2012)
Keyphrases
- query answering
- formal verification
- text summarization
- data exchange
- temporal expressions
- named entity recognition
- data complexity
- information extraction
- answering queries
- model checking
- data integration
- integrity constraints
- incomplete information
- conjunctive queries
- natural language processing
- query answers
- query containment
- regular path queries
- temporal information
- text mining
- dl lite
- database
- machine learning
- datalog programs
- similarity measure
- reinforcement learning
- hidden markov models
- autonomous agents
- conditional random fields
- business intelligence
- higher order