7
Publications
223
Citations
7
H-Index
2007
Active since
Nicolás D. Rotstein is an author at Universidad Nacional del Sur specializing in semantics, formal methods, and verification.
Top concepts
SemanticsEngineeringVerificationArgumentationFormal MethodsAutomated ReasoningFormal VerificationLanguageReasoningLinguistics
Publications per year
2007–2012
7
7
Argument Theory Change: Revision Upon Warrant
Nicolás D. Rotstein, Martín O. Moguillansky, Marcelo Alejandro Falappa et al. · Computational Models of Argument · 2008 · 48 citations
Argument theory change applied to defeasible logic programming
Martín O. Moguillansky, Nicolás D. Rotstein, Marcelo Alejandro Falappa et al. · 2008 · 22 citations
Rows per page
1–5 of 7