Weak properties of circumscriptive logic programming
This is the second in a series of two papers in which we intend to study the formal properties of the semantics of Circumscriptive Logic Programs [6, 7]. The first one [8] was devoted to the strong properties [3], so called after its counterparts in nonmonotonic consequence relations [13, 20]. In th...
Guardado en:
| Autores principales: | , |
|---|---|
| Formato: | Objeto de conferencia |
| Lenguaje: | Inglés |
| Publicado: |
1997
|
| Materias: | |
| Acceso en línea: | http://sedici.unlp.edu.ar/handle/10915/24078 |
| Aporte de: |
| id |
I19-R120-10915-24078 |
|---|---|
| record_format |
dspace |
| institution |
Universidad Nacional de La Plata |
| institution_str |
I-19 |
| repository_str |
R-120 |
| collection |
SEDICI (UNLP) |
| language |
Inglés |
| topic |
Ciencias Informáticas ARTIFICIAL INTELLIGENCE Logic Programming Weak properties circumscriptive logic programming |
| spellingShingle |
Ciencias Informáticas ARTIFICIAL INTELLIGENCE Logic Programming Weak properties circumscriptive logic programming Fillottrani, Pablo Rubén Simari, Guillermo Ricardo Weak properties of circumscriptive logic programming |
| topic_facet |
Ciencias Informáticas ARTIFICIAL INTELLIGENCE Logic Programming Weak properties circumscriptive logic programming |
| description |
This is the second in a series of two papers in which we intend to study the formal properties of the semantics of Circumscriptive Logic Programs [6, 7]. The first one [8] was devoted to the strong properties [3], so called after its counterparts in nonmonotonic consequence relations [13, 20]. In this work we apply to this semantics the weak properties [4], specifically defined an extension of these principles to extended logic programs (they were originally defined for normal logic programs) and prove that the semantics of Circumscriptive Logic Programs is well-behaved [4, 5] in the sense it satisfies all “reasonable” principles. |
| format |
Objeto de conferencia Objeto de conferencia |
| author |
Fillottrani, Pablo Rubén Simari, Guillermo Ricardo |
| author_facet |
Fillottrani, Pablo Rubén Simari, Guillermo Ricardo |
| author_sort |
Fillottrani, Pablo Rubén |
| title |
Weak properties of circumscriptive logic programming |
| title_short |
Weak properties of circumscriptive logic programming |
| title_full |
Weak properties of circumscriptive logic programming |
| title_fullStr |
Weak properties of circumscriptive logic programming |
| title_full_unstemmed |
Weak properties of circumscriptive logic programming |
| title_sort |
weak properties of circumscriptive logic programming |
| publishDate |
1997 |
| url |
http://sedici.unlp.edu.ar/handle/10915/24078 |
| work_keys_str_mv |
AT fillottranipabloruben weakpropertiesofcircumscriptivelogicprogramming AT simariguillermoricardo weakpropertiesofcircumscriptivelogicprogramming |
| bdutipo_str |
Repositorios |
| _version_ |
1764820466569052160 |