Metabuscador

Filtrado por:

Temas

Recursos

Año

Aproximadamente 3 registro(s) hasta el momento: (knowledge)

Mostrar 10 | 50 | 100 resultados por página

Recurso libre

Belief dynamics and explanations in ansprolog
Simari, Gerardo I. - Falappa, Marcelo Alejandro

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	Knowledge representation models are very important in the design of intelligent agents because they provide with mechanisms to manage beliefs and their dynamics. In this paper, we propose the use of AnsProlog* as a knowledge representation language, and develop a…
Fecha:	2012-10-22
Recurso:	Unversidad Nacional de La Plata

Recurso libre

Non prioritized answer set revision
Simari, Gerardo I. - Falappa, Marcelo Alejandro

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	In this paper, we build on previous work on Belief Revision operators based on the use of logic programming with Answer Set semantics as a representation language. We present a set of postulates for Answer Set Revision with respect to…
Fecha:	2012-10-16
Recurso:	Unversidad Nacional de La Plata

Recurso libre

An analysis of the computational complexity of DeLP through game semantics
Cecchi, Laura - Fillottrani, Pablo Rubén - Simari, Guillermo Ricardo

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	Defeasible Logic Programming (DeLP) is a suitable tool for knowledge representation and reasoning. Its operational semantics is based on a dialectical analysis where arguments for and against a literal interact in order to determine whether this literal is believed by…
Fecha:	2012-10-26
Recurso:	Unversidad Nacional de La Plata