Welcome!
To use the personalized features of this site, please log in or register.
If you have forgotten your username or password, we can help.
My Menu
Saved Items

MuTACLP: A Language for Temporal Reasoning with Multiple Theories

Paolo BaldanContact Information, Paolo MancarellaContact Information, Alessandra RaffaetàContact Information and Franco TuriniContact Information

(3)  Dipartimento di Informatica, Università di Pisa, Corso Italia, 40, I-56125 Pisa, Italy
Abstract
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. [7,9] and Temporal Annotated Constraint Logic Programming (TACLP) defined by Frühwirth [15]. 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.

Contact Information Paolo Baldan
Email: baldan@di.unipi.it

Contact Information Paolo Mancarella
Email: p.mancarella@di.unipi.it

Contact Information Alessandra Raffaetà
Email: raffaeta@di.unipi.it

Contact Information Franco Turini
Email: turini@di.unipi.it
Fulltext Preview (Small, Large)
Image of the first page of the fulltext

References secured to subscribers.



Export this chapter
Export this chapter as RIS | Text
 
Remote Address: 38.107.191.105 • Server: mpweb21
HTTP User Agent: CCBot/1.0 (+http://www.commoncrawl.org/bot.html)