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

Actions and arguments: preliminaries and examples
Simari, Guillermo Ricardo - García, Alejandro Javier

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	The goal of this work involves the developing of an argumentation-based formalism that an agent could use for constructing plans. In this formalism, agents will have certain knowledge about the world, and a set of actions that they will be…
Fecha:	2012-10-31
Recurso:	Unversidad Nacional de La Plata

Recurso libre

Modeling argumentation with labeled deduction: formalization and theoretical considerations
Chesñevar, Carlos Iván - Simari, Guillermo Ricardo

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	In the last years there has been an increasing demand of a variety of logical systems, prompted mostly by applications of logic in AI, logic programming and other related areas. Labeled Deductive Systems (LDS) were developed as a °exible methodology…
Fecha:	2012-10-31
Recurso:	Unversidad Nacional de La Plata

Recurso libre

Consequence operators for defeasible argumentation: characterization and logical properties
Chesñevar, Carlos Iván - Simari, Guillermo Ricardo

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	Artificial Intelligence (AI) has long dealt with the issue of finding a suitable formalization for commonsense reasoning. Defeasible argumentation has proven to be a successful approach in many respects, proving to be a confluence point for many alternative logical frameworks.…
Fecha:	2012-10-31
Recurso:	Unversidad Nacional de La Plata