Modularity and Temporal Reasoning: a Logic Programming Approach

dc.contributor.author	Nogueira, Vitor
dc.contributor.author	Abreu, Salvador
dc.date.accessioned	2009-04-07T14:52:12Z
dc.date.available	2009-04-07T14:52:12Z
dc.date.issued	2007
dc.description.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, besides an illustrative example we also provide a sketch for a compiler, allowing this way for the development of applications based such language.	en
dc.format.extent	60975 bytes
dc.format.mimetype	application/pdf
dc.identifier.accesstype	livre	en
dc.identifier.authoremail	vbn@di.uevora.pt
dc.identifier.authoremail	spa@di.uevora.pt
dc.identifier.isbn	978-0-7695-2836-6	en
dc.identifier.principalpublicationtitle	Temporal Representation and Reasoning, 14th International Symposium on	en
dc.identifier.scientificarea	283	en
dc.identifier.uri	http://hdl.handle.net/10174/1448
dc.language.iso	eng
dc.peerreviewed	yes	en
dc.publisher	IEEE Computer Society	en
dc.rights	openAccess	en
dc.subject	temporal	en
dc.subject	modularity	en
dc.title	Modularity and Temporal Reasoning: a Logic Programming Approach	en
dc.type	article	en

Files

Now showing 1 - 1 of 1

Now showing 1 - 1 of 1