Metabuscador

Filtrado por:

Temas

Recursos

Año

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

Mostrar 10 | 50 | 100 resultados por página

Recurso libre

Revisions of orders in dynamic systems
Falappa, Marcelo Alejandro - Simari, Patricio D.

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	Current reasoning systems attempt to model an agent's knowledge and interaction with its environment in a symbolic manner. This environment, its world is generally dynamic and changing due to natural evolution or the actions of other agents that are a…
Fecha:	2012-09-27
Recurso:	Unversidad Nacional de La Plata

Recurso libre

Finite Presheaf categories as a nice setting for doing generic programming
Menni, Matías

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	The purpose of this paper is to describe how some theorems about constructions in categories can be seen as a way of doing generic programming. No prior knowledge of category theory is required to understand the paper. We explore the…
Fecha:	2012-11-09
Recurso:	Unversidad Nacional de La Plata