Partial Equilibrium Logic ⋆
|
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
|
|
|
Partial Equilibrium Logic ⋆
|
| Id. |
47418753 |
| Idioma |
inglés
|
| Titulo |
Partial Equilibrium Logic ⋆ |
| Autor(es) |
Pedro Cabalar
Sergei Odintsov
David Pearce
Agustín Valverde
|
| Localización |
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.81.7063
|
| Versión |
1.0 |
| Estado |
Final
|
| Descripción |
Abstract. Partial equilibrium logic (PEL) is a new nonmonotonic reasoning formalism closely aligned with logic programming under well-founded and partial stable model semantics. In particular it provides a logical foundation for these semantics as well as an extension of the basic syntax of logic programs. In this paper we describe PEL, study some of its logical properties and examine its behaviour on disjunctive and nested logic programs. In addition we consider computational features of PEL and study different approaches to its computation.
|
| Tipo |
application/pdf
|
| Palabras clave |
partial equilibrium logic
|
| 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.dc.fi.udc.es/ai/~cabalar/PEL-draft.pdf
[References] 10.1.1.116.7411
[References] 10.1.1.53.1434
[References] 10.1.1.50.1751
[References] 10.1.1.38.675
[References] 10.1.1.113.5112
[References] 10.1.1.41.2937
[References] 10.1.1.36.5106
[References] 10.1.1.29.5275
[References] 10.1.1.8.3887
[References] 10.1.1.26.161
[References] 10.1.1.118.8621
[References] 10.1.1.45.1496
[References] 10.1.1.25.266
[References] 10.1.1.21.1363
[References] 10.1.1.36.8314
[References] 10.1.1.23.2219
[References] 10.1.1.18.114
[References] 10.1.1.47.1
[References] 10.1.1.75.8222
|
| Fecha de contribución |
03-sep-2009 |
| Contacto |
|
|
|
|
|
Valoración de los usuarios
No hay ninguna valoración para este recurso. Sea el primero en
valorar este recurso.
|
|
|
|
