Fecha:"29" |
Fecha:"2009" |
Fecha:"24" |
Temas: "Ciencias Informáticas" |
Fecha:"07z" |
Fecha:"2000" |
Temas: "Knowledge Representation Formalisms and Methods" |
Logic Programming | (2) |
Informática | (1) |
Languages | (1) |
Nonmonotonic reasoning and belief revision | (1) |
Specifying and Verifying and Reasoning about Programs | (1) |
Más... |
1.
|
lntroducing generalized specificity in logic programming Stolzenburg, Frieder - García, Alejandro Javier - Chesñevar, Carlos Iván - Simari, Guillermo Ricardo
|
2.
|
Sobre la negación y la inferencia no monótona en la programación en lógica Fillottrani, Pablo Rubén
|
3.
|
Towards a comparison criteria for CDeLP Cobo, María Laura - Simari, Guillermo Ricardo
|