Università di Pisa
Sistema bibliotecario di ateneo

MuTACLP: A language for temporal reasoning with multiple theories

Baldan, Paolo and Mancarella, Paolo and Raffaetà, Alessandra and Turini, Franco (2001) MuTACLP: A language for temporal reasoning with multiple theories. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

[img] Postscript (GZip) - Published Version
Available under License Creative Commons Attribution No Derivatives.

Download (246Kb)


    In this paper we introduce MuTACLP, a knowledge representation language which provides facilities for modeling and handling temporal information, together with some basic operators for combining different temporal knowledge bases. The proposed approach stems from two separate lines of research: the general studies on meta-level operators on logic programs introduced by Brogi et al. and Temporal Annotated Constraint Logic Programming (TACLP) defined by Fruehwirth. In MuTACLP atoms are annotated with temporal information which are managed via a constraint theory, as in TACLP. Mechanisms for structuring programs and combining separate knowledge bases are provided through meta-level operators. The language is given two different and equivalent semantics, a top-down semantics which exploits meta-logic, and a bottom-up semantics based on an immediate consequence operator.

    Item Type: Book
    Uncontrolled Keywords: temporal reasoning, constraint logic programming, annotated logics, knowledge representation
    Subjects: Area01 - Scienze matematiche e informatiche > INF/01 - Informatica
    Divisions: Dipartimenti (until 2012) > DIPARTIMENTO DI INFORMATICA
    Depositing User: dott.ssa Sandra Faita
    Date Deposited: 17 Dec 2014 17:28
    Last Modified: 17 Dec 2014 17:28
    URI: http://eprints.adm.unipi.it/id/eprint/2066

    Repository staff only actions

    View Item