Temporal Annotations for a Contextual Logic Programming Language}
| dc.contributor.author | Nogueira, Vitor | |
| dc.contributor.author | Abreu, Salvador | |
| dc.date.accessioned | 2009-04-07T14:16:59Z | |
| dc.date.available | 2009-04-07T14:16:59Z | |
| dc.date.issued | 2007 | |
| dc.description.abstract | In this paper we propose the combination of modularity and temporal reasoning using logic programming as common ground. Moreover, we consider that the usage of a given module is influenced by temporal constraints, i.e. modularity and temporal reasoning are strongly connected. Besides illustrative examples, we also present the operational semantics and corresponding compiler for this language. | en |
| dc.format.extent | 182387 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.editorperson | Neves, José | |
| dc.identifier.editorperson | Santos, Manuel | |
| dc.identifier.editorperson | Machado, José | |
| dc.identifier.principalpublicationtitle | Progress in Artificial Intelligence, 13th Portuguese Conference on Artificial Intelligence, EPIA 2007 | en |
| dc.identifier.scientificarea | 283 | en |
| dc.identifier.uri | http://hdl.handle.net/10174/1436 | |
| dc.language.iso | eng | |
| dc.peerreviewed | yes | en |
| dc.rights | openAccess | en |
| dc.subject | temporal | en |
| dc.subject | annotations | en |
| dc.subject | logic | en |
| dc.subject | modularity | en |
| dc.title | Temporal Annotations for a Contextual Logic Programming Language} | en |
| dc.type | article | en |