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: | Fillottrani, Pablo Rubén, Simari, Guillermo Ricardo |
|---|---|
| Formato: | Objeto de conferencia |
| Lenguaje: | Inglés |
| Publicado: |
1997
|
| Materias: | |
| Acceso en línea: | http://sedici.unlp.edu.ar/handle/10915/24078 |
| Aporte de: |
Ejemplares similares
-
Strong properties of circumscriptive logic programming
por: Fillottrani, Pablo Rubén, et al.
Publicado: (1996) -
Logical properties in defeasible logic programming -a preliminary report
por: Stankevicius, Alejandro G., et al.
Publicado: (2002) -
Representing generalization relationships in logic programming
por: Fillottrani, Pablo Rubén
Publicado: (2002) -
Ontology merging using belief revision and defeasible logic programming
por: Gómez, Sergio Alejandro, et al.
Publicado: (2012) -
A preliminary approach towards a logic for warrant
por: Gómez, Sergio Alejandro, et al.
Publicado: (2014)