1.
|
Defeasible reasoning in dynamic domains Capobianco, Marcela - Simari, Guillermo Ricardo
|
2.
|
Negation-as-failure considered harmful Fillottrani, Pablo Rubén
|
3.
|
Representing generalization relationships in logic programming Fillottrani, Pablo Rubén
|
4.
|
Modeling argumentation with labeled deduction: formalization and theoretical considerations Chesñevar, Carlos Iván - Simari, Guillermo Ricardo
|
5.
|
Consequence operators for defeasible argumentation: characterization and logical properties Chesñevar, Carlos Iván - Simari, Guillermo Ricardo
|
6.
|
An argumentative formalism for implementing rational agents Capobianco, Marcela - Chesñevar, Carlos Iván - Simari, Guillermo Ricardo
|
7.
|
Towards a comparison criteria for CDeLP Cobo, María Laura - Simari, Guillermo Ricardo
|
8.
|
Test Generation Guided Design for Testability Wu, Peng
|
9.
|
On the logic for utopia Areces, Carlos Eduardo - Becher, Verónica
|
10.
|
Phase Space Navigator: Towards Automating Control Synthesis in Phase Spaces for Nonlinear Control Systems Zhao, Feng
|