Clocked Temporal Logic Programming
|
Descargar SCORM
Este recurso ha sido solicitado 1 veces (0 veces en los últimos 31 días).
Para poder solicitar este recurso debe identificarse como usuario de la biblioteca
|
| |
Ver
Detalles del recurso
|
|
|
Clocked Temporal Logic Programming
|
| Id. |
46854885 |
| Idioma |
inglés
|
| Titulo |
Clocked Temporal Logic Programming |
| Autor(es) |
Chuchang Liu
Mehmet A. Orgun
|
| Localización |
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.54.3143
|
| Versión |
1.0 |
| Estado |
Final
|
| Descripción |
Clocked temporal logic programming(CTLP) is an extension of logic programming based on a clocked temporal logic(CTL). In CTL, predicates are associated with local clocks. Local clocks can be used to model multiple granularity of time, thus the resulting temporal logic programming language, called Chronolog(MC), has a stronger modeling power. This paper discusses the logical basis of the language and outlines its operational semantics. Also, a parallel execution model for Chronolog(MC) programs is outlined. An application of CTLP to distributed computations is discussed. Keywords Temporal logic, Logic programming, Clocks, Temporal resolution, Parallel execution. 1 Introduction An important activity in computer science is the invention, analysis and application of formal logics which are designed to specify, reason about and represent algorithms, programs and systems. For instance, temporal logic has been widely used as a formalism for program specification and verification [12, 3], r...
|
| Tipo |
application/postscript
|
| Palabras clave |
Logic programming
|
| Tipo de recurso |
Texto Narrativo
|
| Tipo de Interactividad |
Expositivo
|
| Nivel de Interactividad |
muy bajo
|
| Audiencia |
Estudiante
Profesor
Autor
|
| Estructura |
Atomic |
| Coste |
no
|
| Copyright |
sí
|
|
Metadata may be used without restrictions as long as the oai identifier remains attached to it. |
| Formatos |
application/postscript
|
| Requerimientos técnicos |
Browser: Any
|
| Relación |
[IsBasedOn] ftp://ftp.mpce.mq.edu.au/pub/comp/papers/liu.acsc96.ps.Z
[References] 10.1.1.92.9102
[References] 10.1.1.55.3944
[References] 10.1.1.38.2255
[References] 10.1.1.50.9225
[References] 10.1.1.49.9092
[References] 10.1.1.102.8670
|
| Fecha de contribución |
11-ago-2009 |
| Contacto |
|
|
|
|
|
Valoración de los usuarios
No hay ninguna valoración para este recurso. Sea el primero en
valorar este recurso.
|
|
|
|
