Weak properties of circumscriptive logic programming

Autores
Fillottrani, Pablo Rubén; Simari, Guillermo Ricardo
Año de publicación
1997
Idioma
inglés
Tipo de recurso
documento de conferencia
Estado
versión publicada
Descripción
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.
Eje: Workshop sobre Aspectos Teoricos de la Inteligencia Artificial
Red de Universidades con Carreras en Informática (RedUNCI)
Materia
Ciencias Informáticas
ARTIFICIAL INTELLIGENCE
Logic Programming
Weak properties
circumscriptive logic programming
Nivel de accesibilidad
acceso abierto
Condiciones de uso
http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
Repositorio
SEDICI (UNLP)
Institución
Universidad Nacional de La Plata
OAI Identificador
oai:sedici.unlp.edu.ar:10915/24078
Acceder
id SEDICI_51c64a6c4174b8300889ee9b69b96e6c
oai_identifier_str oai:sedici.unlp.edu.ar:10915/24078
network_acronym_str SEDICI
repository_id_str 1329
network_name_str SEDICI (UNLP)
spelling Weak properties of circumscriptive logic programmingFillottrani, Pablo RubénSimari, Guillermo RicardoCiencias InformáticasARTIFICIAL INTELLIGENCELogic ProgrammingWeak propertiescircumscriptive logic programmingThis 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.Eje: Workshop sobre Aspectos Teoricos de la Inteligencia ArtificialRed de Universidades con Carreras en Informática (RedUNCI)1997info:eu-repo/semantics/conferenceObjectinfo:eu-repo/semantics/publishedVersionObjeto de conferenciahttp://purl.org/coar/resource_type/c_5794info:ar-repo/semantics/documentoDeConferenciaapplication/pdfhttp://sedici.unlp.edu.ar/handle/10915/24078enginfo:eu-repo/semantics/openAccesshttp://creativecommons.org/licenses/by-nc-sa/2.5/ar/Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)reponame:SEDICI (UNLP)instname:Universidad Nacional de La Platainstacron:UNLP2025-10-22T16:37:14Zoai:sedici.unlp.edu.ar:10915/24078Institucionalhttp://sedici.unlp.edu.ar/Universidad públicaNo correspondehttp://sedici.unlp.edu.ar/oai/snrdalira@sedici.unlp.edu.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:13292025-10-22 16:37:14.965SEDICI (UNLP) - Universidad Nacional de La Platafalse
dc.title.none.fl_str_mv Weak properties of circumscriptive logic programming
title Weak properties of circumscriptive logic programming
spellingShingle Weak properties of circumscriptive logic programming
Fillottrani, Pablo Rubén
Ciencias Informáticas
ARTIFICIAL INTELLIGENCE
Logic Programming
Weak properties
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
dc.creator.none.fl_str_mv Fillottrani, Pablo Rubén
Simari, Guillermo Ricardo
author Fillottrani, Pablo Rubén
author_facet Fillottrani, Pablo Rubén
Simari, Guillermo Ricardo
author_role author
author2 Simari, Guillermo Ricardo
author2_role author
dc.subject.none.fl_str_mv Ciencias Informáticas
ARTIFICIAL INTELLIGENCE
Logic Programming
Weak properties
circumscriptive logic programming
topic Ciencias Informáticas
ARTIFICIAL INTELLIGENCE
Logic Programming
Weak properties
circumscriptive logic programming
dc.description.none.fl_txt_mv 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.
Eje: Workshop sobre Aspectos Teoricos de la Inteligencia Artificial
Red de Universidades con Carreras en Informática (RedUNCI)
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.
publishDate 1997
dc.date.none.fl_str_mv 1997
dc.type.none.fl_str_mv info:eu-repo/semantics/conferenceObject
info:eu-repo/semantics/publishedVersion
Objeto de conferencia
http://purl.org/coar/resource_type/c_5794
info:ar-repo/semantics/documentoDeConferencia
format conferenceObject
status_str publishedVersion
dc.identifier.none.fl_str_mv http://sedici.unlp.edu.ar/handle/10915/24078
url http://sedici.unlp.edu.ar/handle/10915/24078
dc.language.none.fl_str_mv eng
language eng
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)
eu_rights_str_mv openAccess
rights_invalid_str_mv http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)
dc.format.none.fl_str_mv application/pdf
dc.source.none.fl_str_mv reponame:SEDICI (UNLP)
instname:Universidad Nacional de La Plata
instacron:UNLP
reponame_str SEDICI (UNLP)
collection SEDICI (UNLP)
instname_str Universidad Nacional de La Plata
instacron_str UNLP
institution UNLP
repository.name.fl_str_mv SEDICI (UNLP) - Universidad Nacional de La Plata
repository.mail.fl_str_mv alira@sedici.unlp.edu.ar
_version_ 1846782833743364096
score 12.982451

Publicaciones similares