Temporal Disjunctive Logic Programming 1 Temporal Disjunctive 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
|
|
|
Temporal Disjunctive Logic Programming 1 Temporal Disjunctive Logic Programming
|
| Id. |
45674095 |
| Idioma |
inglés
|
| Titulo |
Temporal Disjunctive Logic Programming 1 Temporal Disjunctive Logic Programming |
| Autor(es) |
Manolis Gergatsoulis
Panos Rondogiannis
Themis Panayiotopoulos
M. Gergatsoulis
P. Rondogiannis
T. Panayiotopoulos
|
| Localización |
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.100.8996
|
| Versión |
1.0 |
| Estado |
Final
|
| Descripción |
Abstract In this paper we introduce the logic programming language Disjunctive Chronolog which combines the programming paradigms of temporal and disjunctive logic programming. Disjunctive Chronolog is capable of expressing dynamic behaviour as well as uncertainty, two notions that are very common in a variety of real systems. We present the minimal temporal model semantics and the xpoint semantics for the new programming language and demonstrate their equivalence. We also show how proof procedures developed for disjunctive logic programs can be easily extended to apply to Disjunctive Chronolog programs.
|
| Tipo |
application/pdf
|
| Palabras clave |
Disjunctive 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/pdf
|
| Requerimientos técnicos |
Browser: Any
|
| Relación |
[IsBasedOn] http://www.ionio.gr/~manolis/papers/ngc01.pdf
|
| Fecha de contribución |
26-sep-2009 |
| Contacto |
|
|
|
|
|
Valoración de los usuarios
No hay ninguna valoración para este recurso. Sea el primero en
valorar este recurso.
|
|
|
|
