| Repositorio: "Unversidad Nacional de La Plata" |
| Tema:"Informática" |
| Temas: "Knowledge Representation Formalisms and Methods" |
| defeasible reasoning | (2) |
| PROGRAMMING LANGUAGES | (1) |
| SOFTWARE ENGINEERING | (1) |
| Specifying and Verifying and Reasoning about Programs | (1) |
| Temporal logic | (1) |
| Más... |
|
1.
|
Agent programming using defeasible argumentation for knowledgerepresentation and reasoning Gottifredi, Sebastián - Simari, Guillermo Ricardo - García, Alejandro Javier
|
|
2.
|
A first approach to abductive defeasible logic programming: formalization and properties Gómez Lucero, Mauro J. - García, Alejandro Javier - Chesñevar, Carlos Iván - Simari, Guillermo Ricardo
|
|
3.
|
Intelligent alarms detection for the analysis of system fault impact on business Pace, C. - Russo, I. - Fernández, V. - Britos, Paola Verónica - Rossi, Bibiana D. - García Martínez, Ramón
|
|
4.
|
Towards a comparison criteria for CDeLP Cobo, María Laura - Simari, Guillermo Ricardo
|
