Curriculum Vitae
1
Personal data
Family name . . . : Ches˜nevar First and second name : Carlos Iv´an Date of birth . . . : 20 / July / 1969
Place of birth . . . : Bah´ıa Blanca, Prov. of Buenos Aires, Argentina Nationality . . . : Argentine / Spanish
Spanish ID (DNI) . . . . : 48.057.668-L Argentinean ID (DNI) : 20.989.228.
Email address . . . : [email protected]
Homepage . . . : http://cs.uns.edu.ar/∼cic
Current affiliations . . . :
Universidad Nacional del Sur
Dept. de Cs. e Ing. de la Computaci´on
Av. Alem 1253 – B8000CPB Bah´ıa Blanca,Argentina Tel. +54-291-459-5135
External researcher at:
Artificial Intelligence Research Institute 08193 Bellaterra, Spain
Tel. +34-935809570
http://www.iiia.csic.es
2
Education
1997–2001 PhD in Computer Science
Department of Computer Science & Engineering, Universidad Nacional del Sur, Bah´ıa Blanca, Argentina. Advisor: Prof. Dr. Guillermo Simari.
Thesis: Formalizing Argumentation Processes using Labeled Deductive Systems.
Qualification: 10 (highest degree). 1994–1996 Magister in Computer Science
Department of Computer Science,
Universidad Nacional del Sur, Bah´ıa Blanca, Argentina. Advisor: Prof. Dr. Guillermo Simari
Thesis: Speeding Up Inference in Defeasible Argumentation. Qualification: 10 (highest degree).
1989–1992 BSc in Computer Science (5 years). Department of Computer Science ,
Universidad Nacional del Sur, Bah´ıa Blanca, Argentina.
Award from the Federal Government of the Province of Buenos Aires for graduation with highest qualifications from the Universidad Nacional del Sur, year 1992.
1986–1988 Technician in Computing.
National School of Technical Education, Bah´ıa Blanca, Argentina. March 1988.
3
Current and past Positions
1. Full-time associate professor at the Department of Computer Science and Engineering (Universidad Nacional del Sur, Bah´ıa Blanca, Argentina) (2007-).
2. Full-time adjunct professor at the Department of Computer Science and Engineering (Uni-versidad Nacional del Sur, Bah´ıa Blanca, Argentina) (1996-2007).
3. Researcher at the National Council for Scientific and Technological Research (CONICET), Argentina since 2004. Promoted to “Adjunct Researcher” in November 2007.
4. External researcher (professor vinculat) at the Artificial Intelligence Research Institut (IIIA-CSIC, Bellaterra, Spain) within the research project MULOG (2004-2007), funded by the Ministry of Science and Education (Spain).
5. Researcher under contract within the “Ram´on y Cajal” Research Program (Ministery of Science and Technology of Spain), 2003-2006. Department of Informatics, University of Lleida. Lleida, Catalonia, Spain.
4
Participation in Research Projects
1. Project leader together with Prof. Dr. J¨urgen Dix (Univ. of Clausthal, Germany). Bi-lateral project Modelling Inference and Preferences in Multiagent Systems through Argu-mentation. Univ. of Clausthal (Germany) and Universidad Nacional del Sur (Argentina). Funded by DAAD (Deutscher Akademischer Austauschdienst) and SeCyT, Argentina. Pe-riod: 2006-2008. Project code: DA0609
2. Project leader of the Project Labelled Defeasible Logic Programming for Argument-Based Intelligent Systems: formalization and web applications. Secretar´ıa General de Ciencia y Tecnolog´ıa, Universidad Nacional del Sur, Argentina. Period: 2006-2009.
3. Project member in bilateral project Knowledge Capture and Construction in Multilingual Document Management Applications. Hungarian Academy of Science (Hungary) and and Universidad Nacional del Sur (Argentina). Project leaders: Ana Maguitman (Argentina) and Andras Benczur (Hungary). Funded by NKTH, Hungary and SeCyT, Argentina. Period: 2007-2009.
4. Coordination of research in sub-project concerning defeasible argumentation within the research projectAutonomous Electronic Institutions. Funded by MEC, Spain (2007-2009). 5. Research line Interaction among intelligent agents in electronic auctions using defeasible argumentation. Coordinators: C. Ches˜nevar and Dr. Felip Many´a. Supported by Univ. de Lleida (Spain) and Ministery of Science and Technology of Spain. “Ram´on y Cajal” Research Program (2003-2008).
6. Project member of the research projectMULOG: Multivalued Logics: foundations and ap-plications for the treatment of vagueness and uncertainty. University of Lleida, Catalunya, Spain. Project leader: C. Fern´andez. Funded by Ministry of Science and Technology, Spain (TIN 2004-07933-C03-01/03). Period: 2004-2007.
7. Project member of the research project MULOG 2 (Multivalued Logic: Foundations and Applications in Argumentation and Ontologies). Artificial Research Institute (IIIA-CSIC, Bellaterra). Catalunya, Spain. Project leader: Francesc Esteva Massaguer. Funded by Ministry of Science and Technology, Spain (TIN2007-68005-C04-01). Period: 2007-2009.
8. Member of the research projectPlatform for the Development and Implementation of Mul-tiagent Systems based on Collaborative Deliberative Agents with BDI Architecture. PICT 2002-No. 13.096. Supported by FONCYT (Fondo para la Investigaci´on Cient´ıfica y Tec-nol´ogica), Secretar´ıa de Ciencia y Tecnolog´ıa, Argentina. Project coordinator: G. Simari. 9. Member of the research projectArgument-based and logic-based systems (1996-2000). Sup-ported by the Secretar´ıa de Ciencia y Tecnolog´ıa of the Universidad Nacional del Sur, B.Blanca, Argentina. Project coordinator: G. Simari.
10. Member of the research project DeReLop: Automating Defeasible Reasoning with Logic Programming under the direction of Dr. J¨urgen Dix and Dr. Guillermo R. Simari (1999-2000). Supported by the Bundesministerium f¨ur Bildung und Forschung (Germany) and the Secretar´ıa de Ciencia y Tecnolog´ıa of the Universidad Nacional del Sur (Argentina). 11. Member of the research project Non-monotonic reasoning: knowledge revision and theory
change under the direction of Dr. Guillermo R. Simari during 1994. Supported by the Secretar´ıa de Ciencia y Tecnolog´ıa of the Universidad Nacional del Sur.
12. Member of the research projectSystems for Defeasible reasoning in 1993 under the direc-tion of Dr. Guillermo Simari. Supported by the Secretar´ıa de Ciencia y Tecnolog´ıa of the Universidad Nacional del Sur.
5
Publications
5.1 Book chapters
1. “Information Distribution Decisions Supported by Argumentation”(R. Brena, C. Ches˜nevar). In Encyclopaedia of Decision Making and Decision Support Technology. Fred-eric Adam, University College Cork, Ireland (ed). Published by IDEA Group, Inc. USA, 2008 (to appear).
2. “Recommender Systems based on Argumentation”(C. Ches˜nevar, A. Maguitman, G. Simari). InEmerging Artificial Intelligence Applications in Computer Engineering. Ilias Maglogiannis, Kostas Karpouzis and John Soldatos (eds). Series Frontiers in Artificial Intelligence and Applications, Vol. 160, pp. 53-70. IOS Press, Amsterdam, Netherlands, 2007. ISBN 978-1-58603-780-2
3. “Towards Argument-based Recommender System Technologies” (C. Ches˜nevar, A. Magui-tman, G. Simari). In Emerging Artificial Intelligence Applications in Computer Engineering. (Series Frontiers in Artificial Intelligence and Applications) . Ilias Maglo-giannis, Kostas Karpouzis and John Soldatos (eds). IOS Press, 2007 (in preparation). 4. “Argument-Based User Support Systems using Defeasible Logic Programming” (C.
Ches-˜
nevar, A. Maguitman, G. Simari). InArtificial Intelligence Applications & Innova-tions, IFIP International Federation for Information Processing, Vol. 204. Eds. Maglo-giannis, I., Karpouzis, K., Bramer, M., (Boston, Springer Verlag), pp. 61-69, 2006. ISBN 0-387-34223-0
5. “On Warranted Inference in Possibilistic Defeasible Logic Programming” ( C. Ches˜nevar, G. Simari, L. Godo, T.Alsinet). In Artificial Intelligence Research and Develop-ment, Vol. 131 (Series Frontiers in Artificial Intelligence and Applications). L´opez, J. Mel´endez, P. Radeva and J. Vitri`a (eds). ISBN 1-58603-560-6, IOS Press.
6. “A Framework for Combining Defeasible Argumentation with Labelled Deduction” (C. Ches˜nevar, G. Simari). InComputer Modeling of Scientific Reasoning (C.Delrieux, J.Legris, Eds.). Pp. 43-56, Ed. Ediuns, Argentina, 2003. ISBN 987-89281-89-6
5.2 Articles in journals and LNCS/LNAI Springer Series
1. “Formalizing Argumentative Reasoning in a Possibilistic Logic Programming Setting with Fuzzy Unification” (T. Alsinet, C.Ches˜nevar, L. Godo, G. Simari). In International Journal of Approximate Reasoning, S. Benferhat and G. Kern-Isbener (eds.), Elsevier, Holland (in press), 2008. ISSN 0888-613X
2. “A Logic Programming Framework for Possibilistic Argumentation: Formalization and Logical Properties” (T. Alsinet, C.Ches˜nevar, L. Godo, G. Simari). In Fuzzy Sets and Systems (FSS), Elsevier, Holland (in press), 2008.
3. “Knowledge and Information Distribution Leveraged by Intelligent Agents” (R. Brena, J. Aguirre, C. Ches˜nevar, E. Ramirez, L. Garrido). In Knowledge and Information Systems (KAIS), Vol. 12, Nr. 2, pp. 203-227. Springer Verlag, July 2007. ISSN 0219-1377.
4. “Modelling Shared Knowledge and Shared Knowledge Awareness in CSCL Scenarios through Automated Argumentation Systems” (M. P. Gonz´alez, C. Ches˜nevar, C. A. Collazos, G. R. Simari). Proc. of the 13th International Workshop on Groupware (CRIWG 07). In Lec-ture Notes in Computer Science, Vol. 4715, pp. 207-222. Springer Verlag, Alemania. 5. “On the Construction of Dialectical Databases”(M. Capobianco, C. Ches˜nevar, G. Simari). In Revista Iberoamericana de Inteligencia Artificial, Vol. 11, No. 35, pp. 89-100, 2007. Published by AEPIA (Asociaci´on Espa˜nola Para La Inteligencia Artificial), Madrid, Spain. ISSN 1137-3601.
6. “Inconsistent Ontology Handling by Translating Description Logics into Defeasible Logic Programming” (S. G´omez, C. Ches˜nevar, G. Simari). Vol. 11, No. 35, pp.11-22, 2007. Published by AEPIA (Asociaci´on Espa˜nola Para La Inteligencia Artificial), Madrid, Spain. ISSN 1137-3601.
7. “Modelling Inference in Argumentation through Labelled Deduction: Formalization and Logical Properties” (C. Ches˜nevar, G. Simari). Logica Universalis, Birkh¨auser Basel / Springer Verlag, Jean-Yves Beziau (editor), Vol. 1, No. 1, pp. 93-124, 2007. ISSN 1661-8297
8. “Towards an Argument Interchange Format” (C.Ches˜nevar, J. McGinnis, S. Modgil, I. Rahwan, C. Reed, G. Simari, M. South, G. Vreeswijk, S. Wilmott). The Knowledge Engineering Review (KER), Volume 21, Issue 04, pp 293-316, 2006. Cambridge Uni-versity Press, ISSN 0269-8889.
9. “Defeasible Reasoning in Web based Forms through Argumentation” (S. G´omez, C. Ches-˜
nevar, G. Simari). Intl. Journal of Information Technologies and Decision Mak-ing, World Publishing Press (submitted), 2006.
10. “Processing Customer Complaints Scenarios through Argument-based Decision Making” (B. Galitsky, M. Gonz´alez, C. Ches˜nevar). Decision Support Systems, Elsevier (sub-mitted), 2006.
11. “Argument-based Decision Support System for Assessing Natural Language Usage on the Basis of the Web Corpus” (Carlos I. Ches˜evar, Mariona Sabat´e, Ana Maguitman). InIntl. Journal of Intelligent Systems, Wiley. Vol. 21, Issue 11, pp.1151-1180, November 2006. ISSN 0884-8173
12. “Towards an Argument Interchange Format for Multiagent Systems” (S. Wilmott, G. Vree-swijk, C. Ches˜nevar,M. South, J. McGinnis, S. Modgil, I. Rahwahn, C. Reed, G. Simari). Lecture Notes in Artificial Intelligence (LNAI/LNCS), Proc. of the 3rd. Intl. Workshop on Argumentation and Multiagent Systems (ArgMAS 2006). Hakodate, Japan, May 2006 (in press).
13. “Solving Power and Trust Conflicts through Argumentation in Agent-mediated Knowl-edge Distribution” (C. Ches˜nevar, R. Brena, J. Aguirre). In International Journal of Knowledge-based and Intelligent Engineering Systems (KES), special issue on agent-based Knowledge Management. Vol. 10, No. 4, pp. 263-276, 2006. IOS Press, ISSN 1327-2314.
14. “Argument-Based Critics and Recommenders: A Qualitative Perspective on User Support Systems” (C. Ches˜nevar, A. Maguitman, G. Simari). Data and Knowledge Engineer-ing, Elsevier Press, Vol.59, Issue 2, pp. 293-319, 2006. ISSN 0169-023X
15. “Argumentation and the Dynamics of Warrant in Changing Environments” (M. Capo-bianco, C. Ches˜nevar, G. Simari). Intl. Journal on Autonomous Agents and Mul-tiagent Systems, Vol. 11, pp. 127-151. Springer Verlag, Sept. 2005.
16. “TAGS: A Software Tool for Simulating Transducer Automata” (A. Esmoris, C. Ches˜ ne-var, M. Gonz´alez). International Journal for Electronical Engineering Education (IJEEE), Vol. 42, No.4, pp.338-349. Manchester Univ. Press, UK, Oct. 2005.
17. “Modelling Power and Trust for Knowledge Distribution: An Argumentative Approach” (C. Ches˜nevar, R. Brena, J. Aguirre). In Lecture Notes in Artificial Intelligence (LNAI/LNCS) Springer Series, Vol. 3789, pp.98-108 (Proc. of the 4th Interntational MICAI Conference, Monterrey, M´exico, Nov. 2005). A. Gelbukh, A. de Albornoz, H. Terashima (Eds.). Springer Verlag, Heidelberg, Germany.
18. “Computing Dialectical Trees Efficiently in Possibilistic Defeasible Logic Programming” (C. Ches˜nevar, G. Simari, L. Godo). In Lecture Notes in Artificial Intelligence (LNAI/LNCS)Springer Series, Vol. 3662, pp. 158-171 (Proc. of the 8th Interntational LPNMR Conference, Sept. 2005). C.Baral et. al (eds.). Springer Verlag, Heidelberg, Germany.
19. “Argumentation-supported Information Distribution in a Multiagent System for Knowledge Management” (R. Brena, C. Ches˜nevar, J. Aguirre). In Lecture Notes in Artificial Intelligence (LNAI/LNCS), Vol 4049, pp. 279-296, Proc. of the Second Intl. Workshop on Argumentation in Multiagent Systems (ArgMAS 2005), Intl. Conf. on Autonomous Agents and Multiagent Systems (AAMAS 2005), S. Parsons et al (eds), Springer Verlag series, 2006.
20. “Argument-based Expansion Operators in Possibilistic Defeasible Logic Programming: Char-acterization and Logical Properties” (C. Ches˜nevar, G. Simari, L. Godo, T. Alsinet). In Lecture Notes in Computer Science (LNCS), Procs. of the 8th European Conference on Symbolic and Qualitative Approaches to Reasoning with Uncertainty (ECSQARU).
Barcelona, Spain, July 2005. Springer Series, Vol. 3571, pp. 353-365, 2005 (L. Godo, ed.). Springer Verlag.
21. “Knowledge Distribution in Large Organizations using Defeasible Logic Programming” (C. Ches˜nevar, R. Brena, L. Aguirre). Procs. of the Canadian Conference on Artificial In-telligence (AI 2005). Victoria, Canada, May 2005. In Lecture Notes in Artificial Intelligence (LNAI/LNCS), Vol. 3501, B. Kgl and G. Lapalme, Eds., pp. 244-256, 2005, Springer Verlag.
22. “An Argument-based Framework to Model an Agent’s Beliefs in a Dynamic Environment” (M. Capobianco, Carlos I. Ches˜nevar, G. Simari). Procs. of the First International Work-shop on Argumentation in Multiagent Systems (ArgMAS 2004), pp. 163-178. N.York, USA, July 2004. InLecture Notes in Artificial Intelligence (LNAI/LNCS)Springer Series, Vol. 3366, pp.95-110, 2005.
23. “Combining Argumentation and Web Search Technology: Towards a Qualitative Approach for Ranking Results” (Carlos I. Ches˜nevar - Ana G. Maguitman). Intl. Journal of Advanced Computational Intelligence & Intelligent Informatics. Vol. 9, No. 1, pp. 53-60, January 2005. Fuji Technology Press Ltd., Japan. Honorary Editor: Lofti Zadeh. ISSN 1343-0130
24. “Teaching Fundamentals of Computing Theory: A Constructivist Approach” (Carlos I. Ches˜nevar – Ana G. Maguitman – Mar´ıa P. Gonz´alez – Laura Cobo). Journal of Com-puter Science and Technology, Vol. 4, No. 2, pp. 91-97, Aug. 2004. Iberoamerican Science & Technology Education Consortium, Univ. of New Mexico, USA. ISSN 1666-6038. 25. “Integrating Defeasible Argumentation with Fuzzy ART Neural Networks for Pattern Clas-sification” (Sergio A. G´omez – Carlos I. Ches˜nevar). Journal of Computer Science and Technology, Vol. 4, No. 1, pp. 45-57, May 2004. Iberoamerican Science & Technology Education Consortium, Univ. of New Mexico, USA. ISSN 1666-6038.
26. “Using Theoretical Computer Simulators for Formal Languages and Automata Automata Theory” (Carlos I. Ches˜nevar – Mar´ıa L. Cobo – William Yurcik). In ACM SIGCSE Bulletin, Vol. 35, Nro. 2, Junio 2003, pp.33-37.
27. “Relating Defeasible and Normal Logic Programming through Transformation Properties” (Carlos I. Ches˜nevar - J¨urgen Dix - Frieder Stolzenburg - Guillermo R. Simari). In The-oretical Computer Science, Vol. 290, Issue 1, pp. 499-529, 2003.ISSN 0304-3975 28. “Computing Generalized Specificity” (Frieder Stolzenburg - Alejandro J. Garc´ıa - Carlos
I. Ches˜nevar - Guillermo R. Simari). Journal of Applied Non-classical Logics, Vol. 13, Nr. 1, pp. 87–113, 2003. ISSN 1166-3081
29. “Logical Models of Argument” (C. Ches˜nevar, A. Maguitman, and R. Loui). In ACM Computing Surveys, Vol.32, No. 4, 2000, pp.337-383. ISSN 0360-0300
30. “Formalizing Defeasible Argumentation Using a Labeled Deductive System” (C. Ches˜nevar - G. Simari). In Journal of Computer Science and Technology, Vol.1, No.4, 2000, pp.18-33.
31. “False Friends in English-Spanish translations in Computer Science Literature” (M. Sa-bat´e - C. Ches˜nevar). In “Perspectives: Studies in Traslatology”, 1998. Vol. 6, Number 1, 1998, pp. 47-60.
32. “Syntactic diagrams as a tool for solving text-processing problems” (C.Ches˜nevar). In SIGCSE Bulletin of the ACM, Vol. 26, No. 4, Dec. 1994, pp. 35-40.
33. “Some problems about English-Spanish translations in computer science literature” (C.Ches-˜
nevar). In SIGCSE Bulletin of the ACM, Vol.26, No. 3, Sep. 1994, pp. 15-16,28. 5.3 Publications in international conferences and workshops
1. “An Abstract Presentation of Dialectical Explanations in Defeasible Argumentation” (A. Garc´ıa, C.Ches˜nevar, N. Rotstein, G. Simari). Proc. of the 1st Intl. Workshop on Argumentation and Nonmonotonic Reasoning (ArgNMR 2007). Tempe, Arizona, USA, May 2007.
2. “A Lattice-based Approach to Computing Warranted Belief in Skeptical Argumentation Frameworks” (C.Ches˜nevar, G. Simari). Proc. of the 20th Intl. Joint Conf. on Artificial Intelligence (IJCAI 2007), pp. 280-285. Hyberabad, India, January 2007. 3. “Inductive Learning of Dispute Scenarios for Online Resolution of Customer Complaints”
(B. Galitsky, M. Gonz´alez, C.Ches˜nevar). Proc. of the 3rd Intl. IEEE Conference on Intelligent Systems (IS 2006), pp. 103-108. Westminster, UK, 4-6 Sep. 2006. IEEE Press. ISBN 1-244-0196-8
4. “An Abstract Model for Computing Warrant in Skeptical Argumentation Frameworks” (C.Ches˜nevar, G. Simari). Proc. of the 11th Intl. Workshop on Non-Monotonic Reasoning (NMR 2006). Windermere, Manchester, UK, June 2006, pp. 411-419, ISSN 1860-8477 (J. Dix and A. Hunter, editors). IfI Technical Report Series, Clausthal University, Germany.
5. “On the Computation of Warranted Arguments within a Possibilistic Logic Framework with Fuzzy Unification” (T.Alsinet, C.Ches˜nevar, L. Godo, S.Sandri, G. Simari). Proc. of the 11th Intl. Workshop on Non-Monotonic Reasoning (NMR 2006). Windermere, Manchester, UK, June 2006, pp. 227-236, ISSN 1860-8477 (J. Dix and A. Hunter, editors). IfI Technical Report Series, Clausthal University, Germany.
6. “Modeling Defeasible Argumentation within a Possibilistic Logic Framework with Fuzzy Unification” (T.Alsinet, C.Ches˜nevar, L. Godo, S.Sandri). In Proc. of the 11th In-ternational Conference on Information Processing and Management of Un-certainty in Knowledge-Based Systems (IPMU 2006), pp. 1228-1235. Editions EDK,ISBN 2-84254-112-X. Paris, France, July 2006.
7. “Expansion Operators for Modelling Agent Reasoning in Possibilistic Logic Programming” (C. Ches˜nevar, G. Simari, T.Alsinet, L.Godo). Proc. of 3rd European Workshop on Multiagent Systems (EUMAS 2005). Brussels, Belgium, Dec. 2005.
8. “Incorporating Defeasible Knowledge and Argumentative Reasoning in Web-Based Forms” (S.G´omez, C.Ches˜nevar, G.Simari). Proc. of the 3rd Intl. Workshop on Intelli-gent Techniques for Web Personalization (ITWP 2005), pp. 9-16, S.Anand and B.Mobasher (eds). 19th Intl. Joint Conf. in Artificial Intelligence (IJCAI 2005). Edin-burgh, UK, July 2005.
9. “Towards Computational Models of Natural Argument using Labelled Deductive Systems” (C. Ches˜nevar, G. Simari). Proc. of the 5th Intl. Workshop on Computational Models of Natural Argument (CMNA 2005), pp. 9-16, C.Reed (ed.). 19th Intl. Joint Conf. in Artificial Intelligence (IJCAI 2005). Edinburgh, UK, July 2005.
10. “Modelling Agent Reasoning in a Logic Programming Framework for Possibilistic Argumen-tation” (C. Ches˜nevar – G. Simari – T. Alsinet – L. Godo). Procs. of the2nd. European Workshop on Multiagent Systems (EUMAS 2004), pp. 135-142. Barcelona, Spain, Dec. 2004.
11. “An Argumentative Approach to Assesing Natural Language Usage based on the Web Cor-pus” (Carlos I. Ches˜nevar – Ana G. Maguitman). Procs. of the16th European Confer-ence on Artificial IntelligConfer-ence (ECAI 2004), pp. 581-585. Valencia, Spain, August 2004. Lopez de Mantaras and Saitta, Eds. ISBN 1-58603-452-9
12. “A Logic Programming Framework for Possibilistic Argumentation with Vague Knowledge” (C. Ches˜nevar – G. Simari – T. Alsinet – L. Godo). Procs. of the 20th Uncertainty in Artificial Intelligence Conference (UAI-2004), pp. 76-84. Banff, Canada, July 2004. ISBN 0-9749039-0-6.
13. “A first Approach to Argument-Based Recommender Systems based on Defeasible Logic Programing” (Carlos I. Ches˜nevar – Ana G. Maguitman – G. Simari). Procs. of the 10th International Workshop on Non Monotonic Reasoning (NMR 2004), pp. 109-117. Whistler, Canada, June 2004. ISBN 92-990021-0-X.
14. “Promoting Significant Learning in Formal Languages and Automata Theory” (Carlos I. Ches˜nevar – Ana G. Maguitman – M. P. Gonz´alez). Procs. of the 9th Intl. ACM-ITICSE Conference (Innovation and Technology in Computer Science Educa-tion), pp. 7-11. Leeds, UK, June 2004, ISBN 1-58113-836-9.
15. “ArgueNet: An Argument-Based Recommender System for Solving Web Search Queries” (Carlos I. Ches˜nevar – Ana G. Maguitman). Procs. of the 2nd. Intl. IEEE Intelligent Systems Conference, pp. 282-287. ISBN 0-7803-8278-1. Varna, Bulgaria, June 2004. 16. “A Hybrid Approach To Pattern Classification Using Neural Networks and Defeasible
Argu-mentation” (Sergio A. G´omez – Carlos I. Ches˜nevar). Procs. of the17th Intl. FLAIRS Conference, pp. 393-398. Palm Beach, Florida, USA. May 2004.
17. “A Framework for Combining Defeasible Argumentation with Labelled Deduction” (Carlos I. Ches˜nevar – Guillermo R. Simari). In Procs. of the 3rd. International Workshop on Computational Models of Scientific Reasoning and Applications (CMSRA), pp. 43-57. Buenos Aires, Argentina, Sept. 2003.
18. “Modeling Argumentation in a Logic-Programming Setting: Formalization and Logical Properties” (Guillermo R. Simari - Carlos I. Ches˜nevar - Alejandro J. Garc´ıa). Work-shop ”Adventures in Argumentation”. In 6th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty. Toulouse, France, Sept. 2001.
19. “Pruning Search Space in Defeasible Argumentation”. (Carlos I. Ches˜nevar, Guillermo R. Simari y Alejandro Garc´ıa). XX International Conference of the SCCC. InProcs. of the Workshop on Advances and Trends in Artificial Intelligence, pp. 40-47. Santiago, Chile, Nov. 2000.
20. “A Formalization of Dialectical Bases for Defeasible Logic Programming” (M. Capobianco - C.Ches˜nevar - G.Simari). Proc. of International Conference in Informatics Engi-neering (ICIE 2000). Buenos Aires, Argentina, Apr. 2000.
21. “An Argumentative Framework for Reasoning with Inconsistent and Incomplete Informa-tion”. (A. Garc´ıa - G. Simari - C. Ches˜nevar). In Proc. of Workshops atEuropean Con-ference on Artificial Intelligence (ECAI), Brighton, United Kingdom, Aug. 1998. Pp. 13-19.
22. “A Prolog metainterpreter for implementing algorithms in an introductory course on pro-gramming” [in Spanish] C.I.Ches˜nevar and M.J.C´accamo. Proc. IV Ibero American Congress on Higher Education in Computer Science. Canela (Brasil), July 1995. Pp. 219-228.
23. “Arguments and Contexts”. G.R.Simari y C.I.Ches˜nevar. Proc. IV Latinamerican Conference in Informatics, Canela (Brazil), Jul. 1995. Pp. 779-790.
24. “Syntactic Diagrams: a tool for solving text processing problems”. C.Ches˜nevar. Proc. of the III Ibero American Congress on Higher Education in Computer Science. Concepci´on (Chile), Nov. 1994. Pp. 19-28.
25. “The Role of Dialectics in Defeasible Reasoning”. G.R.Simari, C.I. Ches˜nevar y A.J.Garc´ıa. Proc. of the XIV Intl. Conference of the Chilean Computer Science Society, Concepci´on (Chile), Nov. 1994. Pp. 335-344.
26. “Focusing Inference in Defeasible Argumentation”G.R.Simari, C.I. Ches˜nevar y A.J.Garc´ıa. Proc. of theIBERAMIA’94 Conference, sponsored by the Venezuelan Association for Artificial Intelligence. Caracas, Venezuela, Oct. 1994.
27. “Making Argument System Computationally Attractive”. (A. Garc´ıa, C. Ches˜nevar, G. Simari). Proc. XIII Int. Conference of the Chilean Society for Computer Sci-ence, Oct. 1993. Pp. 335-344.
5.4 Publications in local refereed conferences and workshops
1. “A first approach to Abductive Defeasible Logic Programming: formalization and proper-ties” (M. L. G´omez, A. Garc´ıa, C. Ches˜nevar, G. Simari). In Proc. of the13th Congreso Argentino de Ciencias de la Computaci´on (CACIC 2007), Univ. del Nordeste, Corrientes, Argentina, October 2007.
2. “An Argument-Based Approach to Cope with Trust and Pluralism in Web News Reports” (F. Sagui, A. Maguitman, C. Ches˜nevar, G. Simari). In Proc. of the 13th Congreso Argentino de Ciencias de la Computaci´on (CACIC 2007), Univ. del Nordeste, Corrientes, Argentina, October 2007.
3. “An Approach to Handling Inconsistent Ontology Definitions based on the Translation of Description Logics into Defeasible Logic Programming” (S. G´omez, C. Ches˜nevar, G. Simari). In Proc. of the 12th Congreso Argentino de Ciencias de la Computaci´on (CACIC 2006). Univ. de San Luis, Argentina, October 2006.
4. “Building precompiled knowledge in ODeLP ” (M. Capobianco, C. Ches˜nevar, G. Simari). In Proc. of the12th Congreso Argentino de Ciencias de la Computaci´on (CACIC 2006). Univ. de San Luis, Argentina, October 2006.
5. “Incremental Methods for Context-Based Web Retrieval” (C. Lorenzetti, F. Sagui, A. Ma-guitman, G. Simari, C. Ches˜nevar). In Proc. of the 12th Congreso Argentino de Ciencias de la Computaci´on (CACIC 2006). Univ. de San Luis, Argentina, October 2006.
6. “An approach for identifying design principles in argument systems – a preliminary report” (M. Capobianco, C. Ches˜nevar, G. Simari). In Proc. of the8th Argentinean Workshop of Researchers in Computer Science (WICC 2006). Univ. de Mor´on, Argentina, Junio 2006. ISBN 950-9474-34-7.
7. “Extensi´on de la Argumentaci´on Rebatible para considerar Etiquetas” (M. G´omez, C. Ches˜nevar, G. Simari, A. Garc´ıa). In Proc. of the 8th Argentinean Workshop of Researchers in Computer Science (WICC 2006). Univ. de Mor´on, Argentina, June 2006. ISBN 950-9474-34-7.
“Exploiting User Context and Preferences for Intelligent Web Search” (C. Ches˜nevar, C. Lorenzetti, A. Maguitman, F. Sagui, G. Simari). In Proc. of the 8th Argentinean Workshop of Researchers in Computer Science (WICC 2006). Univ. de Mor´on, Argentina, June 2006. ISBN 950-9474-34-7.
8. “Problems and Challenges for Ontology Integration in the Semantic Web” (S. G´omez, C. Ches˜nevar, G. Simari). In Proc. of the 8th Argentinean Workshop of Researchers in Computer Science (WICC 2006). Univ. de Mor´on, Argentina, June 2006. ISBN 950-9474-34-7.
9. “Un Primer Acercamiento al Aprendizaje del C´odigo Gen´etico usando Redes Neuronales” (Natalia L. Weinbach, Carlos I. Ches˜nevar). In Proc. XI CACIC 2005, Concordia, Entre R´ıos, Argentina.
10. “A First Approach to Combining Ontologies and Defeasible Argumentation for the Seman-tic Web” (S. G´omez, C. Ches˜nevar, G. Simari) In Proc. XI CACIC 2005, Concordia, Entre R´ıos, Argentina.
11. “A first approach to the automatic generation of service graphs for building trust” (W. Grandinetti, C. Ches˜nevar). In Proc. XI CACIC 2005, Concordia, Entre R´ıos, Ar-gentina.
12. “A preliminary study of computational complexity in non-monotonic reasoning”(M. Capo-bianco, C. Ches˜nevar, G. Simari). In Proc. of the 7th Argentinean Workshop of Researchers in Computer Science (WICC 2005). R´ıo Cuarto, Argentina,2005, pp. 383-387.
13. “Capturing Reputation Features in Multiagent Systems through Emerging Patterns” (W. Grandinetti, C. Ches˜nevar). In Procs. of the 7th Argentinean Workshop of Re-searchers in Computer Science (WICC 2005). R´ıo Cuarto, Argentina,2005, pp. 268-272.
14. “Enhanced Approximation of the Emerging Pattern Space using an Incremental Approach” (W. Grandinetti, C. Ches˜nevar). In Procs. of the 7th Argentinean Workshop of Researchers in Computer Science (WICC 2005). R´ıo Cuarto, Argentina, 2005, pp. 263-267.
15. “Embedding Defeasible Argumentation in the Semantic Web: an ontology-based approach” (S. G´omez, C. Ches˜nevar, G. Simari). In Procs. of the7th Workshop of Researchers in Computer Science (WICC 2005). R´ıo Cuarto, Argentina, 2005, pp. 153-156. 16. “Analyzing the Defeat Relation in Observation-based DeLP” (M. Capobianco, C. Ches˜
ne-var, G. Simari). Procs. X Congreso Argentino de Ciencias de la Computaci´on (CACIC 2004), pp. 1566-1575. La Matanza, Buenos Aires, Argentina, octubre de 2004.
17. “Platform for Development and Implementation of Multiagent Systems integrated with Deliberative Social Agents with BDI Architecture” (G.Simari, A.Garc´ıa, M. Falappa, C. Ches˜nevar). Procs. 6to. Workshop of Researchers in Computer Science (WICC 2004). Neuqu´en , Argentina, May 2004.
18. “Caracterizing defeat in observation - based defeasible logic programming”(M. Capobianco, C. Ches˜nevar). Procs. 6to. Workshop of Researchers in Computer Science (WICC 2004). Neuqu´en , Argentina, May 2004.
19. “Combining Counterpropagation Neural Networks and Defeasible Logic Programming for Text Classification” (S. G´omez, C. Ches˜nevar). Procs. 6to. Workshop of Researchers in Computer Science (WICC 2004). Neuqu´en , Argentina, May 2004.
20. “Tecnolog´ıa Inform´atica en un curso de Lenguajes Formales y Teor´ıa de Aut´omatas: un enfoque constructivista” (Carlos I. Ches˜nevar – Ana G. Maguitman – Mar´ıa P. Gonz´alez – Mar´ıa L. Cobo). In Procs. IX Argentinean Congress in Computer Science, pp. 245-255. La Plata, Argentina, Oct. 2003.
21. “Una Herramienta para la Simulaci´on de Aut´omatas Traductores en la Ense˜nanza de las Ciencias de la Computaci´on” (Agust´ın Esmoris – Carlos I. Ches˜nevar). In Procs. IX Argentinean Congress in Computer Science, pp. 287-295. La Plata, Argentina, Oct. 2003.
22. “Combining Argumentation and Clustering techniques in Pattern Classification Problems” (Sergio A. G´omez – Carlos I. Ches˜nevar). In Procs. IX Argentinean Congress in Computer Science, pp. 601-612. La Plata, Argentina, Oct. 2003.
(distinguished with best paper award)
23. “Integrating Defeasible Argumentation and Machine Learning Techniques”(Sergio A. G´omez – Carlos I. Ches˜nevar). In Procs. of theV Workshop of Researchers in Computer Science (WICC 2003), pp. 787-791 (Proceedings in CD). Tandil, Argentina, May 2003. 24. “Formalizaci´on de Web-Mining Como Conocimiento Estructurado” (G. Filocamo – C. Ches˜nevar). In Procs. of the V Workshop of Researchers in Computer Science (WICC 2003), pp. 695-699 (Proceedings in CD). Tandil, Argentina, May 2003.
25. “An Architecture for Rational Agents Interacting with Complex Environments”(A. Stanke-vicius – M. Capobianco – C. Ches˜nevar). In Procs. of theV Workshop of Researchers in Computer Science (WICC 2003), pp. 762-766 (Proceedings in CD). Tandil, Ar-gentina, May 2003.
26. “Combining Qualitative and Quantitative Reasoning in Defeasible Argumentation” (Carlos I. Ches˜nevar - Guillermo R. Simari). Procs. of the VIII Argentinean Congress in Computer Science, pp. 272-283. Buenos Aires, Argentina, Oct. 2002.
27. “Precompiled knowledge support for dynamic argumentation” (Marcela Capobianco - Car-los I. Ches˜nevar - Guillermo R. Simari). Procs. of theVIII Argentinean Congress in Computer Science, pp. 217-228. Buenos Aires, Argentina, Oct. 2002.
28. “Simulators for Teaching Formal Languages and Automata Theory: A comparative Survey” (Carlos I. Ches˜neVAR - Mar´ıa L. Cobol). Procs. of the VIII Argentinean Congress in Computer Science, pp. 1089-1097. Buenos Aires, Argentina, Oct. 2002.
29. “Logical Properties in Defeasible Logic Programming – A Preliminary Report” (M. Capo-bianco - A.Stankevicius - C. Ches˜nevar). ProceedingsIV Workshop of Researchers in Computer Science, pp. 61-67 (CD version). Bah´ıa Blanca, Argentina, May 2002. 30. “Visualizing Association Rules: A comparative approach” [in Spanish] (G. Filocamo
-W. Grandinetti - S. Castro - S. Martig - C. Ches˜nevar). Proceedings IV Workshop of Researchers in Computer Science, pp. 98-103 (CD version). Bah´ıa Blanca, Argentina, May 2002.
31. “Introducing Probabilistic Reasoning in Defeasible Argumentation Using Labeled Deductive Systems” (Carlos I. Ches˜nevar - Guillermo R. Simari). Proceedings IV Workshop of Researchers in Computer Science, pp. 14-19 (CD version). Bah´ıa Blanca, Argentina, May 2002.
32. “On the use of Internet as a communication tool in a traditional university environment” [in Spanish] (Carlos I. Ches˜nevar - M. Paula Gonz´alez). II National Conference of Research in Education. Cipolletti, R´ıo Negro, Argentina, Oct. 2001. Proceedings in CD, ISBN 950-9859-72-9.
33. “Consequence Operators for Defeasible Argumentation: characterization and logical prop-erties” (Carlos I. Ches˜nevar - Guillermo R. Simari). VII Argentinean Congress in Computer Science, pp. 309-320. ISBN 987-96 288-6-1. El Calafate, Argentina, Oct. 2001.
34. “Modeling Argumentation with Labeled Deduction: Formalization and Theoretical Con-siderations” (Carlos I. Ches˜nevar - Guillermo R. Simari). Proc. VII Argentinean Congress in Computer Science, pp.357-368. ISBN 987-96 288-6-1. El Calafate, Ar-gentina, Oct. 2001.
35. “An argumentative formalism for implementing rational agents” (Marcela Capobianco -Carlos I. Ches˜nevar - Guillermo R. Simari). VII Argentinean Congress in Computer Science, pp.1051-1070. ISBN 987-96 288-6-1. El Calafate, Argentina, Oct. 2001.
36. “A Taxonomy for Argumentative Frameworks based on Labeled Deduction”(C. Ches˜nevar). Proc. III Workshop of Researchers in Computer Science, pp. 65-67. San Luis, Argentina, May 2001.
37. “Formalizing Argument-based Agent Interaction in Electronic Institutions” (C. Ches˜ ne-var). Proc. III Workshop of Researchers in Computer Science, pp. 71–73. San Luis, Argentina, May 2001.
38. “Relating Defeasible and Normal Logic Programming through Transformation Properties” (Carlos I. Ches˜nevar - J¨urgen Dix - Frieder Stolzenburg - Guillermo R. Simari). Proc. VI Argentinean Congress in Computer Science, pp. 371-382. Ushuaia, Argentina, Oct. 2000. ISBN 950-763-033-3.
39. “Introducing Generalized Specificity in Logic Programming” (Frieder Stolzenburg - Ale-jandro J. Garc´ıa - Carlos I. Ches˜nevar - Guillermo R. Simari). Proc. VI Argentinean Congress in Computer Science, pp. 359-370. Ushuaia, Argentina, Oct. 2000. ISBN 950-763-033-3.
40. “A Formalization of Defeasible Argumentation using Labeled Deductive Systems” (Carlos I. Ches˜nevar - Guillermo R. Simari). Meeting of Postgraduate Students, VI Ar-gentinean Congress in Computer Science, Ushuaia, Argentina, Oct. 2000. ISBN 950-763-033-3.
41. “Conceptual Maps for Teaching How to Program” [in Spanish] (Carlos I. Ches˜nevar). In Proc. of the2nd. Meeting in Pedagogical Innovation, Universidad Nacional del Sur, Bah´ıa Blanca, Argentina, Aug. 2000. Pp. 85-96. ISBN 987-9281-53-5.
42. “Using Logic Programs to Model an Agent’s epistemic state” (M. Capobianco - C. Ches-˜
nevar). Proc. II Workshop of Researchers in Computer Science (WICC 2000). La Plata, Argentina, May 2000. Universidad Nacional de La Plata. Pp. 26-28.
43. “A Logical Framework for Modeling Argumentation Using Labeled Deduction” (C. Ches˜ ne-var - G.Simari). Proceedings delII Workshop of Researchers in Computer Science (WICC 2000). La Plata, Argentina, May 2000. Pp. 19-21.
44. “The Turing language as an alternative for Pascal for teaching how to program” (C. Ches-˜
nevar-M. Capobianco). Proc. of the First National Meeting in Higher Education in Computer Science. Talca, Chile, Nov. 1999.
45. “A Formalization of Dialectical Bases for Defeasible Logic Programming” (M. Capobianco - C.Ches˜nevar - G. Simari). Proc. of the V Argentinean Congress in Computer Science. Tandil, Argentina, Oct. 1999.
46. “Modeling defeasibility into an extended logic programming setting using an abstract argu-mentation framework” (C.Ches˜nevar - G.Simari). In Proc. of theArgentinean Sympo-sium on Artificial Intelligence (ASAI 1999). Buenos Aires, Argentina, Sep. 1999. Pp. 71-89.
47. “The Role of Labeled Deductive Systems in a Formal System for Defeasible Argumentation” (C.Ches˜nevar - G.Simari). Proc. I Workshop of Researchers in Computer Science (WICC 1999) San Juan, Argentina, May 1999. Pp. 125-134.
48. “Introducing Dialectical Bases in Defeasible Argumentation” (M. Capobianco - C. Ches-˜
nevar). Proc. I Workshop of Researchers in Computer Science (WICC 1999). San Juan, Argentina, May 1999. Pp. 1-10.
49. “A Formalization of defeasible argumentation using Labeled deductive systems” (C. Ches-˜
nevar - G.Simari). Proc. IV Argentinean Congress in Computer Science, Neuqu´en, Oct. 1998. Pp. 1047-1059.
50. “Argument forms: an approach to defeasible argumentation with non-grounded informa-tion” [in Spanish] (C. Ches˜nevar and G. Simari). Proc. III Argentinean Congress in Computer Science and IV Workshop of Theoretical Aspects in Artificial Intelligence. La Plata, Argentina, Oct. 1997. Pp. 1298-1317.
51. “Evaluation Ordering in Defeasible Argumentation: Properties and Theoretical Consider-ations” [in Spanish] (C. Ches˜nevar and G. Simari). Proc. III Argentinean Congress in Computer Science, IV Workshop of Theoretical Aspects in Artificial Intelligence. La Plata, Argentina, Oct. 1997. Pp. 1221-1240.
52. “A multilanguage system for defeasible argumentation” [in Spanish] (C. Ches˜nevar and G. Simari). Proc. II Argentinean Congress in Computer Science, San Luis, Argentina. Nov. 1996. Pp. 360-372.
53. “Some theoretical considerations on resource-bounded defeasible argumentation” (C. Ches-˜
nevar and G. Simari). Proc. III Workshop of Theoretical Aspects in Artificial Intelligence. San Luis, Argentina. Nov. 1996. Pp. 616-628.
54. “A software environment for teaching how to program in undergraduate courses: theoret-ical considerations and implementation” [in Spanish] (C. I. Ches˜nevar y M. J. C´accamo). II Meeting in Informatics, Universidad Nacional de San Juan, Argentina, Nov. 1995. 55. “On the use of contexts for representing knowledge in defeasible argumentation”.
Car-los I. Ches˜nevar. Proc. II Workshop of Theoretical Aspects in Artificial Intelli-gence. I Argentinean Congress in Computer Science. B. Blanca, Oct. 1995. Pp. 551-562. 56. “Distinguishing ground from non ground information in defeasible argumentation” (C. Ches˜nevar and G. Simari). Proc. II Workshop of Theoretical Aspects in Artificial Intelligence. Bah´ıa Blanca, Oct. 1995. Pp. 527-538.
57. “Some considerations and motivating exercises for teaching recursion” [in Spanish] (C. Ches˜nevar). II Educational Meeting of University Professors and Researchers in Computer Science. Sponsored by the State Secretariat for Science and Technology and the University of Buenos Aires. Buenos Aires, Nov. 1994.
58. “An Argumentative Inference Engine for KB-systems”. G. R. Simari, C. I. Ches˜nevar, A. J. Garc´ıa. III Argentinean Symposium on Artificial Intelligence. Nov. 1993. 59. “Argument-based expert systems” [in Spanish]. (C. Ches˜nevar, A. Garc´ıa, G. Simari)
Fourth Academic-technological Conference sponsored by IBM Argentina, at the Universidad Nacional del Nordeste. Sept. 1993. Awarded with the First Prize in Area “Informatics”.
60. “Argument bases: its maintenance and revision”. A. J. Garc´ıa, C. I. Ches˜nevar, G. R. Simari. Proc. of theXIX Latinamerican Conference on Informatics (CLEI 1993). 22as.Jornadas Argentinas de Inform´atica e Investigaci´on Operativa, Aug.1993. Pp. 43-62. 5.5 Lecture notes and teaching material
1. Theory of Computing [in Spanish]. (Carlos Ches˜nevar – Laura Cobo). Notas de curso, 150 pp., 2003.
2. An Information Guide for the student of Computer Science at the Universidad Nacional del Sur [in Spanish] Feb. 1994. 50 pp.
3. Algorithms and Problem Solving: Exercises and some theoretical considera-tions[in Spanish]. March 1995. 150 pp.
4. Algorithms for solving game problems in Pascal: a survey[in Spanish]. July 1992. 30 pp.
6
Teaching
6.1 Postgraduate and advanced courses
1. Postgraduate courseAdvances in Defeasible Argumentation: theory and applications. De-partamento de Cs. e Ing. de la Computaci´on, Universidad Nacional del Sur, Argentina, May 2006.
2. Advanced courseComputational Models of Argument in Multiagent Systems. 7th European Agent Systems Summer School (EASSS 2005), lecturers: C.Ches˜nevar and G. Simari. Utrecht, Netherlands, July 2005.
3. Postgraduate course Datamining and knowledge discovery. Departamento de Inform´atica e Ing. Industrial. University of Lleida, Spain, 2004-2005 and 2005-2006.
4. Postgraduate courseTechniques for Machine Learning and Datamining: fundamentals and applications. Departamento de Cs. e Ing. de la Computaci´on, Universidad Nacional del Sur, Argentina, Oct. 2004.
5. Postgraduate course Datamining & Machine Learning. Dept. of Computer Science & Engineering, Univ. Nacional del Sur, Bah´ıa Blanca, Argentina (2002–2003).
6. Postgraduate course Formal Systems for Computer Science. Dept. of Computer Science & Engineering, Univ. Nacional del Sur, Bah´ıa Blanca, Argentina (2002-2003).
7. Postgraduate course Foundations of Argumentative Systems. Dept. of Computer Science & Engineering, Univ. Nacional del Sur, Bah´ıa Blanca, Argentina (2000–2001).
8. Advanced courseFoundations of Argumentative Systems. Escola Universitaria Polit´ecnica, Universitat de Lleida, Spain, October-November 2000.
6.2 Undergraduate courses
1. Computational Logic (collaborating as lecturer for part of the course). Dept. of Computer Science, Universitat de Lleida, Lleida, Spain, 2004.
2. Theory of Computing. Dept. of Computer Science & Engineering, Univ. Nacional del Sur, B. Blanca, Argentina (2002–2003).
3. Datamining & Machine Learning. Dept. of Computer Science & Engineering, Univ. Na-cional del Sur, B. Blanca, Argentina (2002–2003).
4. Artificial Intelligence.Universitat de Lleida, Catalonia, Spain, 1997.
5. Seminar in Prolog Programming.Universitat de Lleida, Catalonia, Spain, 1997.
6. Problem Solving and Algorithms andElements of Computer Programming. Dept. of Com-puter Science & Engineering, Univ. Nacional del Sur, B. Blanca, Argentina (1996–2003). 6.3 Past teaching activities
1. Teaching Assistant in undergraduate courses in CS1 and CS2 (Problem Solving and Algo-rithms and Elements of Programming) Department of Computer Science & Engineering, Universidad Nacional del Sur, B. Blanca, Argentina (1993–1996).
2. Secondary school teacher of German Language for Technicians at the National School of Technical Education in Bah´ıa Blanca, Argentina (1989–1993)
3. Teaching activities as undergraduate student in CS1 and CS2 courses (1991-1993), in Artificial Intelligence(1992) andTheory of Programming (1993). Department of Computer Science & Engineering, Universidad Nacional del Sur, B. Blanca, Argentina.
7
Other academic activities
1. Member of the Commission for Curricula Assessment in Computer Science of the Depart-ment of Computer Science (Universidad Nacional del Sur, B.Blanca, Argentina) (2000– 2003).
2. Member of the Postgraduate Studies Commission of the Department of Computer Science (Universidad Nacional del Sur, B.Blanca, Argentina) (2000–2003).
3. Professor member of the Council of the Department of Computer Science (Universidad Nacional del Sur, B.Blanca, Argentina) (1998–2003).
4. Graduate member of the Council of the Department of Computer Science (Universidad Nacional del Sur, B.Blanca, Argentina) (1995–1996).
5. Graduate member of the Council of the Department of Mathematics (Universidad Nacional del Sur, B.Blanca, Argentina). (1994–1995).
6. Student member of the Council of the Department of Mathematics (Universidad Nacional del Sur, B.Blanca, Argentina). (1990–1993)
8
Participation in research groups and professional associations
1. Member of AEPIA (Spanish Association for Artificial Intelligence) since 2004.2. Member of the Research Group in Artificial Intelligence at the Dept. of Informatics, University of Lleida (Lleida, Catalonia, Spain) since 2003.
3. Member of the Laboratory for Research and Development in Artificial Intelligence (LIDIA) at the Dept. of CS & Engineering, Universidad Nacional del Sur (B.Blanca, Argentina) since 1993.
4. Member of the Association for Computing Machinery (ACM) (1996–2002) 5. Member of the Argentine Association in Computer Science since 2000.
9
Awards
1. Special Award for the paper “Combining Argumentation and Clustering techniques in Pattern Classification Problems” (Sergio A. G´omez – Carlos I. Ches˜nevar). IX Congreso Argentino de Ciencias de la Computaci´on.La Plata, Argentina, octubre de 2003.
2. Special Award for the paper“Evaluation Ordering in Defeasible Argumentation: Properties and Theoretical Considerations” (C. Ches˜nevar, G. Simari) [in Spanish]. III Congreso Argentino de Cs. de la Computaci´on, La Plata, Argentina, 1997.
3. Best Paper Award (area Informatics) at the Fourth National Academic-Technological Meeting sponsored by IBM Argentina and Universidad Nacional del Nordeste (Sept. 1993). Paper: “Argument-based Expert Systems” (C.I.Ches˜nevar, A.J.Garc´ıa and G.R.Simari). 4. Honor Award“25 de Mayo” for graduation with highest qualifications from the
Universi-dad Nacional del Sur in the area of Natural Sciences, year 1992.
5. Honor Award from the Government of the Province of Buenos Aires for graduation with highest qualifications from the Universidad Nacional del Sur, year 1992.
10
Fellowships
1. Fellowship of the Ministery of Education of Spain for postgraduate studies (Program “Young Doctoral Researchers”). Note: this fellowship could not be accepted for incom-patibility with research activities in Program “Ram´on y Cajal”.
2. Fellowships of the National Council for Scientific and Technical Research (CONICET) for developing research activities in Artificial Intelligence (1994-1999).
3. Fellowship Intercampus granted by the Spanish Agency for International Cooperation (AECI) for developing research and teaching activities at the Universitat de Lleida (Cat-alonia, Spain), Feb./March 1997.
4. Fellowship Intercampus granted by the Spanish Agency for International Cooperation (AECI) for developing research activities as postgraduate student at the Universidad Pon-tificia de Comillas (Madrid, Spain), Jan./Feb. 1996.
5. Fellowship of the Scientific Council of the Province of Buenos Aires (C.I.C) for developing research activities in Artificial Intelligence (1993-1994).
6. Scholarship based on academic performance awarded to students years 1991 and 1992. Granted by Dept. of Mathematics, Universidad Nacional del Sur, Bah´ıa Blanca, Argentina. 7. Fellowship granted by the Goethe-Institut Buenos Aires (Argentina) for advanced German
studies in Schw¨abisch Hall (Germany), January-February 1990.
11
Research stances
1. Department of Computer Science and Engineering, Universidad Nacional del Sur, Bah´ıa Blanca, Argentina. Supported by a Bilateral Agreement from the University of Lleida, Spain. May 2006.
2. Instituto Tecnol´ogico de Monterrey (Monterrey, M´exico). Supported by International Re-lation Office (University of Lleida, Spain). Nov. 2005.
3. Institut f¨ur Informatik, Technische Universit¨at Clausthal (Clausthal, Germany). Sup-ported by Erasmus Program and the University of Lleida, Spain. October 2005.
4. Department of Computer Science and Engineering, Universidad Nacional del Sur, Bah´ıa Blanca, Argentina. Supported by a Bilateral Agreement from the University of Lleida, Spain. October 2004.
5. Artificial Intelligence Research Institute, Univ. Autonoma de Barcelona, Barcelona, Spain, (Jan.-Feb.2001 and Jan.-Feb.2002). Research activities in defeasible argumentation sys-tems and agent theory.
6. University of Lleida, Spain (October-November 2000). Research activities in foundations of argumentative systems and applications in multivalued logics.
7. Koblenz University, (February 2000). Research activities in defeasible argumentation and transformation properties in logic programming.
8. Institut f¨ur Informatik, Universit¨at Leipzig, Germany, January-March 2000. Research activities in defeasible argumentation and logic programming.
9. Department of Computing, Imperial College of Science and Technology, London, United Kingdom, February-March 1999. Research activities in defeasible argumentation and logic programming.
10. Department of Computer Science (Washington University, USA), February-March 1998. Research activities in defeasible reasoning and defeasible argumentation.
11. Department of Informatics, Universitat de Lleida (Lleida, Catalonia, Spain). February-March 1997. Research activities in artificial intelligence, multivalued logics.
12. Research stance as graduate student at the Univ. Pontificia Comillas de Madrid (Madrid, Spain). January-February 1996. Research activities in computer-assisted education.
12
Presentations and Talks
1. Argument-Based Recommender Systems using Defeasible Logic Programming. Agent Re-search Labs, Universitat de Girona. Girona, Spain (February 2006).
2. Defeasible Argumentation in User-Support Systems. Instituto Tecnol´ogico de Monterrey. Monterrey, M´exico, Nov. 2005.
3. Defeasible Logic Programming: Theory and applications in Recommender Systems. Institut f¨ur Informatik, Technische Universit¨at Clausthal. Clausthal, Germany, October 2005. 4. Argument-Based Recommenders: a Qualitative Perspective on User Support Systems.
Institut de Investigaci´o en Intel.ligencia Artificial, Universitat Aut`onoma de Barcelona, Barcelona, Spain, February 2005.
5. Recommender Systems using Defeasible Logic Programming. ASPIC Project Meeting, Va-lencia, Spain, August 2004.
6. Argument-Based Recommender Systems: a first approach. Department of Informatics, University of Pisa, Italy. June 2004.
7. A First Approach to Argument-Based Recommender Systems: two case studies. Depart-ment of Computer Science, University College of London. London, UK, May 2004. 8. Defeasible Argumentation & Defeasible Logic Programming. Department of Computing,
University of Manchester, UK. March 2002.
9. Defeasible Argumentation Using Labeled Deduction. Institut de Investigaci´o en Intel-ligencia Artificial, Universitat Aut`onoma de Barcelona, Barcelona, Spain, February 2002. 10. Defeasible Logic Programming: theory and applications. Institut de Investigaci´o en Intel-ligencia Artificial, Universitat Aut`onoma de Barcelona, Barcelona, Spain, February 2001. 11. Introducing Defeasible Argumentation. Basic Research Institute for Computer Science
(BRICS) Aahrus, Denmark, March 9, 2000.
12. A formalization of defeasible reasoning using labeled deduction. Informatik Kolloquium at Universit¨at Koblenz, Germany, Feb. 16, 2000.
13. Defeasible Argumentation: theoretical considerations and implementation. Universit¨at Leipzig, Institut f¨ur Informatik, Leipzig, Germany, February 2001.
14. Modeling Defeasible Argumentation Using Labeled Deductive Systems. University of Edin-burgh, Scotland, August 1999.
13
Participation as Thesis Advisor
13.1 PhD Theses1. Defeasible Logic Programming with Observations. Student: Marcela Capobianco. Univ. Nac. del Sur, Argentina, 2003.
2. Modelling Reputation & Trust in Multiagent Systems through Emerging Pat-terns. Student: Walter Grandinetti. Univ. Nac. del Sur, Argentina (being developed). 3. An Argument-Based Ontology for Multiagent Systems. Student: Sergio A. G´omez.
Univ. Nac. del Sur, Argentina (being developed). 13.2 Master Theses
1. Combining Argumentative Systems and Machine Learning TechniquesStudent: Sergio A. G´omez. Univ. Nac. del Sur, Argentina, 2004.
2. Pattern Discovery using Association Rules and its application in System Se-curity[in Spanish]. Student: Walter M. Grandinetti. Univ. Nac. del Sur, 2005.
13.3 BSc Theses
1. Association Rules in Datamining[in Spanish] Students: W. Grandinetti and G. Fil´o-camo. Univ. Nac. del Sur, 2002.
2. Dialectical Bases in Defeasible Argumentation [in Spanish] (in coordination with Dr. G. Simari). Student: Marcela Capobianco. Univ. Nac. del Sur, 1999.
3. Honors ThesisInteraction and computing(Student: Johnatan Pollock) in collaboration with Prof. Dr. Ronald Loui. Washington University, St.Louis, USA, 1998.
4. Honors Thesis Fairness, arguments and the computational representation of games (Student: David Goldman) in collaboration with Prof. Dr. Ronald Loui. Wash-ington University, St.Louis, USA, 1998.
14
Conference Committees and Reviewing in Journals
14.1 Program Committees – Organization Committees
1. ASAI 2007 (Argentinean Symposium in Artificial Intelligence). Mar del Plata, Argentina, Aug. 2007 (PC member).
2. ECSQARU 2007 (9th European Conf. on Symbolic and Qualitative Aspects of Reasoning under Uncertainty). Hammamet, Tunisia, October 2007 (PC member).
3. AAMAS 2007 (6th Intl. Joint Conf. on Autonomous Agents and Multiagent Systems). Honolulu, Hawai, May 2007 (PC member).
4. KRAQ 2007 (3rd Intl. Workshop for Knowledge and Reasoning in Answering Questions). Hyderabad, India, January 2007 (PC Member).
5. WASI 2006 (Workshop on Agents and Intelligent Systems). San Luis, Argentina, Oct. 2006 (Program Co-Chair).
6. COMMA 2006 (1st. Intl. Conference on Computational Models of Argument). Liverpool, UK, Sept 2006 (PC Member).
7. NMR 2006 (11th Intl. Workshop on Nonmonotonic Reasoning - Track: Argumentation & Dialogue). Windermere, UK, May 2006 (PC member).
8. ArgMAS 2006 (3rd. Intl. Workshop on Argumentation in Multiagent Systems). Hakodate, Japan, May 2006 (PC Member).
9. AAMAS 2006 (Fifth International Joint Conference on Autonomous Agents and Multia-gent Systems). Hakodate, Japan, May 2006 (PC Member).
10. ASAI 2005 (Argentinean Symposium in Artificial Intelligence). Rosario, Argentina, Sept. 2005 (Chair).
11. ECSQARU 2005 (European Conference on Symbolic and Qualitative Aspects of Reason-ing with Uncertainty). Barcelona, Spain, July 2005 (Organization Committee and PC Member).
12. AAMAS 2005 (Fourth International Joint Conference on Autonomous Agents and Multi-agent Systems). Utrecht, Holland, July 2005 (PC Member).
13. AAMAS 2004 (Third International Joint Conference on Autonomous Agents and Multia-gent Systems). New York, USA, July 2004 (PC Member).
14. Argentinean Symposium on Artificial Intelligence. Buenos Aires, Argentina, 2004 (PC Member).
14.2 Reviewing Activities in Conferences
1. PRICAI 2006 (Pacific Rim Intl. Conf. on Artificial Intelligence), IBERAMIA 2006 (Iberoamerican Conf. on Artificial Intelligence), UAI 2004 (Uncertainty in AI conference), JELIA 2004 (Joint European Conference on Logics in AI). External reviewer.
2. ACM Innovation and Technology in Computer Science Education Conference (ITICSE), Leeds, UK, 2004 (Reviewer).
3. IJCAI 2003 (Poster Track). Acapulco, Mexico, 2003 (Reviewer).
4. III International Workshop on Computational Models of Scientific Reasoning and Appli-cations (CMSRA), Buenos Aires, Argentina, 2003 (Reviewer).
5. II International Workshop on Computational Models of Scientific Reasoning and Applica-tions (CMSRA), Las Vegas, USA, 2002 (Reviewer).
6. I International Workshop on Computational Models of Scientific Reasoning and Applica-tions (CMSRA), Las Vegas, USA, 2001 (Reviewer).
14.3 Reviewing activities in Journals
Reviewer for Intl. Journal of Autonomous Agents and Multiagent Systems (2005), Theory & Practice of Logic Programming (2003), andArtificial Intelligence Journal (2002 and 2006).
15
Participation in conferences (last 3 years)
1. 3rd Intl. IFIP Conference on Artificial Intelligence Applications & Innovations (AIAI 2006). Athens, Greece, June 2006 (author).
2. 11th Intl. Workshop on Nonmonotonic Reasoning (NMR 2006). Windermere, UK, June 2006 (author).
3. 11th Intl. Workshop on Nonmonotonic Reasoning (NMR 2006). Windermere, UK, June 2006 (author).
4. European Conference on Multiagent Systems (EUMAS) 2005. Brussels, Belgium, Dec. 2005 (author).
5. Logic Programming and Nonmonotonic Reasoning (LNPMR) 2005. Diamante, Italy, September 2005 (author).
6. Intl. Joint Conference on Artificial Intelligence (IJCAI), Workshops ITWP and CMNA. Edinburgh, Scotland, August 2005 (author).
7. Intl. Workshop on Argumentation in Multiagent Systems (ArgMAS 2005). Utrecht, Hol-land, August 2005.
8. European Conference on Multiagent Systems (EUMAS) 2004. Barcelona, Spain, Dec. 2004 (author).
9. European Conference on Artificial Intelligence (ECAI) 2004. Valencia, Spain, Aug. 2004 (author).
10. Intl. ACM-ITICSE Conference (Innovation and Technology in Computer Science Educa-tion), pp. 7-11. Leeds, UK, June 2004 (author).
11. 2nd. Intl. IEEE Intelligent Systems Conference. Varna, Bulgaria, June 2004 (author). 12. 17th Intl. FLAIRS Conference. Palm Beach, Miami, USA. 17-19 Mayo de 2004 (author). 13. V Workshop for Researchers in Computer Science. Tandil, Argentina, May 2003 (author). 14. VIII Argentinean Conference in Computer Science. Buenos Aires, Argentina, Oct. 2002
(author).
16
Foreign languages
1. English: reading (very good), writing (very good), overall comprehension (very good). 2. German: reading (very good), writing (very good), overall comprehension (very good).
“Zentrale Oberstufenpr¨ufung” (Central Exam of High Level in German). Goethe Institut, Schw¨abisch Hall, Germany, Feb. 1990 and “Zentrale Mittelstufe Pr¨ufung” (Central Exam of Intermediate Level in German) Goethe Institut, Bah´ıa Blanca, Argentina. Dec. 1988.
3. Spanish: mother tongue
4. Catalan: “Certificat de Nivell Intermedi de Llengua Catalana”(Certificate of Intermediate Level in Catalan language), Universitat de Lleida, 2005. Reading (very good), writing (good), overallcomprehension (very good).
5. Portuguese, French: comprehensive reading in mathematics and computer science. 6. Slovenian: basic skills