Formal Verification of Temporal Questions in the Context of Query-Answering Text Summarization.

Nasrin Mostafazadeh, Omid Bakhshandeh Babarsad, Gholamreza Ghassem-Sani

Browse the full AI paper archive.