• DocumentCode
    2867632
  • Title

    Modularity and Temporal Reasoning: A Logic Programming Approach

  • Author

    Nogueira, Vitor ; Abreu, Salvador

  • Author_Institution
    Univ. de Evora, Evora
  • fYear
    2007
  • fDate
    28-30 June 2007
  • Firstpage
    191
  • Lastpage
    191
  • Abstract
    Albeit temporal reasoning and modularity are very prolific fields of research in logic programming (LP), we find few examples of their integration. In this paper we propose the addition of temporal annotations to a modular extension of LP. Moreover, we also provide a sketch for a compiler, allowing this way for the development of applications based on such language.
  • Keywords
    logic programming; program compilers; temporal reasoning; logic programming; modularity reasoning; program complier; temporal reasoning; Computer science; Information systems; Law; Legal factors; Logic programming; Natural language processing; Program processors; Prototypes;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Temporal Representation and Reasoning, 14th International Symposium on
  • Conference_Location
    Alicante
  • ISSN
    1530-1311
  • Print_ISBN
    978-0-7695-2836-6
  • Type

    conf

  • DOI
    10.1109/TIME.2007.53
  • Filename
    4438687
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2867632