Declarative Programming with Temporal Constraints, in the Language CG

Specifying and interpreting temporal constraints are key elements of knowledge representation and reasoning, with applications in temporal databases, agent programming, and ambient intelligence. We present and formally characterize the language CG, which tackles this issue. In CG, users are able to...

Descripción completa

Detalles Bibliográficos
Autor principal: Negreanu, Lorina
Formato: Online Artículo Texto
Lenguaje:English
Publicado: Hindawi Publishing Corporation 2015
Materias:
Research Article
Acceso en línea:https://www.ncbi.nlm.nih.gov/pmc/articles/PMC4393927/
https://www.ncbi.nlm.nih.gov/pubmed/25893212
http://dx.doi.org/10.1155/2015/540854

Internet

https://www.ncbi.nlm.nih.gov/pmc/articles/PMC4393927/
https://www.ncbi.nlm.nih.gov/pubmed/25893212
http://dx.doi.org/10.1155/2015/540854

Ejemplares similares