From TimeML to T PL

Dagstuhl Seminar Proceedings

Volumn 5151, Issue , 2005, Pages

  Pratt Hartmann, Ian ^a  

^a UNIVERSITY OF MANCHESTER   (United Kingdom)

Author keywords

Information Extraction; Interval temporal logic

Indexed keywords

TEMPORAL LOGIC;

EVENT STRUCTURES; EXPRESSIVE POWER; INFORMATION EXTRACTION; INTERVAL TEMPORAL LOGIC; MARK-UP LANGUAGES; REPRESENTATION OF EVENTS; SATISFIABILITY PROBLEMS;

COMPUTER CIRCUITS;

EID: 52649119458     PISSN: 18624405     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (12)

1. Pustejovsky, J., Castaño, J., Ingria, R., Surí, R., Gaizauskas, R., Setzer, A., Katz, G.: Timeml: Robust specification of event and temporal expressiveness in text. In: Proceedings, IWCS-5, Tilburg (2003)
2. Setzer, A., Gaizauskas, R., Hepple, M.: Using semantic inference for temporal annotation comparison. In: Proceedings, ICoS-4, Nancy (2003) 185-196
3. Ladkin, P.B., Maddux, R.D.: On binary constraint problems. Journal of the ACM 41 (1994) 435-469
4. Allen, J.F.: Maintaining knowledge about temporal intervals. Communications of the ACM 26 (1983) 832-843
5. Vilain, M., Kautz, H., van Beek, P.: Constraint propagation algorithms for temporal reasoning: a revised report. In Weld, D.S., de Kleer, J., eds.: Readings in qualitative reasoning about physical systems. The Morgan Kaufman series in representation and reasoning. Morgan Kaufman, San Mateo, CA (1990) 373-381
6. Nebel, B., Bürckert, H.J.: Reasoning about temporal relations: a maximal tractable subclass of Allen's interval algebra. J. ACM 42 (1995) 43-66
7. Drakengren, T., Jonsson, P.: A complete classification of tractability in Allen's algebra relative to subsets of basic relations. Artificial Intelligence 106 (1998) 205-219
8. Dechter, R., Meiri, I., Pearl, J.: Temporal constraint networks. Artificial Intelligence 49 (1991) 61-95
9. Halpern, J.Y., Shoham, Y.: A propositional modal logic of time intervals. Journal of the ACM 38 (1991) 935-962
10. Venema, Y.: Expressiveness and completeness of an interval tense logic. Notre Dame Journal of Formal Logic 31 (1990) 529-547
11. Goranko, V., Montanari, A., Sciavicco, G.: A road map of interval temporal logics and duration calculi. Journal of Applied Non-classical Logics 14 (2004) 9-54
12. Pratt-Hartmann, I.: Temporal prepositions and their logic. Artificial Intelligence (2005) (article in press).