Under consideration for publication in Theory and Practice of Logic Programming 1 Logic programs with monotone abstract constraint atoms∗
|
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
|
|
|
Under consideration for publication in Theory and Practice of Logic Programming 1 Logic programs with monotone abstract constraint atoms∗
|
| Id. |
45908061 |
| Idioma |
inglés
|
| Titulo |
Under consideration for publication in Theory and Practice of Logic Programming 1 Logic programs with monotone abstract constraint atoms∗ |
| Autor(es) |
Victor W. Marek
Ilkka Niemelä
|
| Localización |
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.121.6751
|
| Versión |
1.0 |
| Estado |
Final
|
| Descripción |
We introduce and study logic programs whose clauses are built out of monotone constraint atoms. We show that the operational concept of the one-step provability operator generalizes to programs with monotone constraint atoms, but the generalization involves nondeterminism. Our main results demonstrate that our formalism is a common generalization of (1) normal logic programming with its semantics of models, supported models and stable models, (2) logic programming with weight atoms (lparse programs) with the semantics of stable models, as defined by Niemelä, Simons and Soininen, and (3) of disjunctive logic programming with the possible-model semantics of Sakama and Inoue.
|
| Tipo |
application/pdf
|
| Palabras clave |
Logic programs
|
| 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.cs.uky.edu/~marek/papers.dir/06.dir/MarekNiemelaTruszczynski-tplp06r6.pdf
[References] 10.1.1.25.8566
[References] 10.1.1.64.9246
[References] 10.1.1.49.9332
[References] 10.1.1.36.7862
[References] 10.1.1.116.7411
[References] 10.1.1.46.6686
[References] 10.1.1.21.8248
[References] 10.1.1.21.1201
[References] 10.1.1.104.4415
[References] 10.1.1.53.1434
[References] 10.1.1.116.2895
[References] 10.1.1.41.3465
[References] 10.1.1.56.8198
[References] 10.1.1.103.9112
[References] 10.1.1.56.6656
[References] 10.1.1.22.2367
[References] 10.1.1.18.6774
[References] 10.1.1.48.2157
[References] 10.1.1.7.8401
[References] 10.1.1.41.7641
[References] 10.1.1.39.8211
[References] 10.1.1.80.9400
[References] 10.1.1.43.2727
[References] 10.1.1.30.8933
[References] 10.1.1.64.7426
[References] 10.1.1.36.7486
[References] 10.1.1.39.1305
[References] 10.1.1.9.2146
[References] 10.1.1.15.1642
[References] 10.1.1.10.6400
[References] 10.1.1.13.4879
[References] 10.1.1.21.9519
[References] 10.1.1.19.863
[References] 10.1.1.3.4819
[References] 10.1.1.117.7575
[References] 10.1.1.21.4788
[References] 10.1.1.5.9200
[References] 10.1.1.14.2471
[References] 10.1.1.58.1131
[References] 10.1.1.13.6551
[References] 10.1.1.3.4125
[References] 10.1.1.76.6816
[References] 10.1.1.128.2400
|
| Fecha de contribución |
16-jul-2009 |
| Contacto |
|
|
|
|
|
Valoración de los usuarios
No hay ninguna valoración para este recurso. Sea el primero en
valorar este recurso.
|
|
|
|
