The Refined Extension Principle for Semantics of Dynamic Logic Programming
|
Descargar SCORM
¡Sea el primero en solicitar este recurso!
Para poder solicitar este recurso debe identificarse como usuario de la biblioteca
|
| |
Ver
Detalles del recurso
|
|
|
The Refined Extension Principle for Semantics of Dynamic Logic Programming
|
| Id. |
47086947 |
| Idioma |
inglés
|
| Titulo |
The Refined Extension Principle for Semantics of Dynamic Logic Programming |
| Autor(es) |
Jose Julio Alferes
Federico Banti
Antonio Brogi
Joao Alexandre Leite
|
| Localización |
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.59.3479
|
| Versión |
1.0 |
| Estado |
Final
|
| Descripción |
Over recent years, various semantics have been proposed for dealing with updates in the setting of logic programs. The availability of di#erent semantics naturally raises the question of which are most adequate to model updates. A systematic approach to face this question is to identify general principles against which such semantics could be evaluated. In this paper we motivate and introduce a new such principle -- the refined extension principle. Such principle is complied with by the stable model semantics for (single) logic programs. It turns out that none of the existing semantics for logic program updates, even though generalisations of the stable model semantics, comply with this principle. For this reason, we define a refinement of the dynamic stable model semantics for Dynamic Logic Programs that complies with the principle.
|
| Tipo |
application/pdf
|
| 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/pdf
|
| Requerimientos técnicos |
Browser: Any
|
| Relación |
[IsBasedOn] http://www.di.unipi.it/~brogi/papers/SL05.pdf
[References] 10.1.1.85.5082
[References] 10.1.1.24.6050
[References] 10.1.1.121.6788
[References] 10.1.1.34.7448
[References] 10.1.1.20.7217
[References] 10.1.1.46.6686
[References] 10.1.1.43.7608
[References] 10.1.1.52.6826
[References] 10.1.1.35.2578
[References] 10.1.1.27.4128
[References] 10.1.1.28.2011
[References] 10.1.1.44.2995
[References] 10.1.1.121.1789
[References] 10.1.1.85.7523
[References] 10.1.1.32.6734
[References] 10.1.1.38.305
[References] 10.1.1.105.1575
[References] 10.1.1.140.5359
[References] 10.1.1.67.4586
[References] 10.1.1.96.5847
[References] 10.1.1.132.3023
[References] 10.1.1.140.4969
[References] 10.1.1.140.3892
[References] 10.1.1.140.4322
[References] 10.1.1.140.5109
[References] 10.1.1.62.1695
[References] 10.1.1.62.6807
[References] 10.1.1.64.5578
[References] 10.1.1.66.17
[References] 10.1.1.69.1870
[References] 10.1.1.99.7620
[References] 10.1.1.134.1470
[References] 10.1.1.140.3804
[References] 10.1.1.140.3891
[References] 10.1.1.140.4122
[References] 10.1.1.140.4276
[References] 10.1.1.140.4855
|
| Fecha de contribución |
24-ago-2009 |
| Contacto |
|
|
|
|
|
Valoración de los usuarios
No hay ninguna valoración para este recurso. Sea el primero en
valorar este recurso.
|
|
|
|
