Publication's Keywords:

   Knowledge Representation and Reasoning

   Computational Logic   

   Logic Programming

   Defeasible Reasoning

   Belief Revision

   Argumentation

   Deliberate Systems

   Autonomous Agents

   Multi-Agent Systems

 

Back to grs' Home

 


Recent Tutorials:

-  Try the DeLP interpreter on line

 

-  A Tutorial on Computational Models for Argumentation in MAS in the EASSS 2005 (Utrecht, NL)

   (1st part pdf-Color pdf-bw, 2nd part pdf-Color pdf-bw)

 

-  A Tutorial on DeLP in the ICLP2004 (St. Malo, FR)

   Defeasible Logic Programming and Belief Revision (pdf-Color pdf-bw)

Recent Publications in Preliminary Form

(Need a paper not in the list?: e-mail me)

-  Nicolas D. Rotstein, ALejandro J. Garcia, Guillermo R. Simari.

    Defeasible Argumentation Support for an Extended BDI Architecture
    I. Rahwan, S. Parsons, and C. Reed (Eds.): ArgMAS 2007, LNAI 4946, pp. 145–163, 2008. (in press 2008).
(pdf).

-  Teresa Alsinet, Carlos I. Chesñevar, Lluis Godo, Sandra Sadri, Guillermo R. Simari.

    Formalizing Argumentative Reasoning in a Possibilistic Logic Programming Setting with Fuzzy Unification.
    International Journal of Approximate Reasoning (IJAR), S. Benferhat and G. Kern-Isbener (eds.),

    Elsevier, Holland. (in press 2008). (pdf).

-  Teresa Alsinet, Carlos I. Chesñevar, Lluis Godo, Guillermo R. Simari.

    A Logic Programming Framework for Possibilistic Argumentation: Formalization and Logical Properties.
    Fuzzy Sets and Systems (FSS), Elsevier, Holland (in press 2008).
(pdf).

-  Sergio A. Gomez, Carlos I. Chesñevar, Guillermo R. Simari.

    Defeasible Reasoning in Web-Based Forms through Argumentation.
    International Journal of Information Technology and Decision Making (IJITDM),

    World Scientific Publishing Company, Singapore, (in press) (in press 2008). (pdf).

-  Diego R. Garcia, Alejandro J. Garcia, Guillermo R. Simari.

    Defeasible Reasoning and Partial Order Planning.

    Foundations of Information and Knowledge Systems (FoIKS). February 11-15, 2008, Pisa, Italy,

    Lecture Notes in Computer Science, (in press 2008). (pdf).

-  Fernando A. Tohme, Gustavo A. Bodanza, Guillermo R. Simari.

    Aggregation of Attack Relations: A Social-Choice Theoretical Analysis of Defeasibility Criteria.

    Foundations of Information and Knowledge Systems (FoIKS). February 11-15, 2008, Pisa, Italy,

    Lecture Notes in Computer Science, (in press 2008). (pdf).

-  Ignacio D. Viglizzo, Fernando A. Tohme. Guillermo R. Simari.

    An Alternative Foundation for DeLP: Defeating Relations and Truth Values.

    Foundations of Information and Knowledge Systems (FoIKS). February 11-15, 2008, Pisa, Italy,

    Lecture Notes in Computer Science, (in press 2008). (pdf).

-  Alejandro J. Garcia, Nicolas D. Rotstein, Mariano Tucat, Guillermo R. Simari.

    An Argumentative Reasoning Service for Deliberative Agents.

    LNAI v. 4798 pp 128-139. Z. Zhang and J. Siekmann (Eds.) Springer-Verlag.

    Proc. 2nd Int. Conf. on Knowledge Science, Engineering and Management (KSEM), Australia, (2007).(pdf).

-  Diego C. Martinez, Alejandro J. Garcia, Guillermo R. Simari.

    On defense strength of blocking defeaters in admissible sets.

    LNAI v. 4798 pp 140-152. Z. Zhang and J. Siekmann (Eds.) Springer-Verlag.

    Proc. 2nd Int. Conf. on Knowledge Science, Engineering and Management (KSEM), Australia, (2007).(pdf).

-  Alejandro J. Garcia, Nicolas D. Rotstein, Guillermo R. Simari.

   Dialectical Explanations in Defeasible Argumentation.

   Procs. of the 9th European Conf on Symbolic and Qualitative Aspects of Reasoning with

   Uncertainty (ECSQARU 2007).  LNCS v.4724, Pp. 295—307. Tunez. 2007. (pdf).

-  Telma Delladio, Guillermo R. Simari.

   Relating DeLP and Default Logic. 

   Iberoamerican Journal of Artificial Intelligence, Vol. 11, No. 35, pp.101-109.

   Edited by AEPIA (Spanish Association of Artificial Intelligence), Madrid, Spain, 2007.(pdf).

-  Sergio A. Gomez, Carlos I. Chesñevar, Guillermo R. Simari.

   Inconsistent Ontology Handling by Translating Description Logics into Defeasible Logic Programming. 

   Iberoamerican Journal of Artificial Intelligence, Vol. 11, No. 35, pp.11-22.

   Edited by AEPIA (Spanish Association of Artificial Intelligence), Madrid, Spain, 2007.(pdf).

-  Marcela Capobianco, Carlos I. Chesñevar, Guillermo R. Simari.

   On the Construction of Dialectical Databases. 

   Iberoamerican Journal of Artificial Intelligence, Vol. 11, No. 35, pp.89-100.

   Edited by AEPIA (Spanish Association of Artificial Intelligence), Madrid, Spain, 2007.(pdf).

-  Maria Paula Gonzalez, Carlos I. Chesñevar, Cesar A. Collazos, Guillermo R. Simari.

   Modelling Shared Knowledge and Shared Knowledge Awareness in CSCL Scenarios

   through Automated Argumentation Systems. 

   In Proc. of the 13th International Workshop on Groupware (CRIWG 07).

   Lecture Notes in Computer Science, Vol. 4715, pp. 207-222. Springer Verlag, 2007.(pdf).

-  Nicolas D. Rotstein, Alejandro J. García, Guillermo R. Simari.

   Reasoning from Desires to Intentions: A Dialectical Framework. 

   Twenty-Second AAAI Conference on Artificial Intelligence (AAAI-07).

   Vancouver, BC, Canada. Pp. 136—141. 2007.(pdf).

-  Nicolas D. Rotstein, Alejandro J. García, Guillermo R. Simari.

   From Desires to Intentions Through Dialectical Analysis. 

   Sixth International Conference on Autonomous Agents and Multiagent Systems (AAMAS-2007),

   May 14-18, 2007, Hawaii.(pdf).

-  Diego J. Garcia, Alejandro J. García, Guillermo R. Simari.

   Planning and Defeasible Reasoning. 

   Sixth International Conference on Autonomous Agents and Multiagent Systems (AAMAS-2007),

   May 14-18, 2007, Hawaii.(pdf).

-  Edgardo Ferreti, Marcelo Errecalde, Alejandro J. García, Guillermo R. Simari.

   An Application of Defeasible Logic Programming to Decision Making in a Robotic Environment. 

   Ninth International Conference on Logic Programming and Nonmonotonic Reasoning. LPNMR’07.

   Tempe, AZ, USA. May 2007 (in press).(pdf).

-  Alejandro J. Garcia, Nicolas D. Rotstein, Guillermo R. Simari.

   An Abstract Presentation of Dialectical Explanations in Defeasible Argumentation.

   Procs. of the Argumentation and Nonmonotonic Reasoning (ArgNMR). Arizona, USA. 2007. (pdf).

-  Diego C. Martinez, Alejandro J. Garcia, Guillermo R. Simari

    Modelling Well-Structured Argumentation Lines
   
20th International Joint Conference on Artificial Intelligence (IJCAI).

    Hyderabad, India. Jan 6-12, 2007. (pdf).

-  Carlos I. Chesñevar, Guillermo R. Simari

    A Lattice-Based Approach To Computing Warranted Beliefs In Skeptical Argumentation Frameworks
   
20th International Joint Conference on Artificial Intelligence (IJCAI). 

    Hyderabad, India. Jan 6-12, 2007. (pdf).

-  Carlos I.Chesñevar, Guillermo R. Simari
    Modelling Inference in Argumentation through Labelled Deduction: Formalization and Logical Properties

    Logica Universalis, Birkhauser / Springer Verlag, Jean-Yves Beziau (editor), 2006 (pdf)

-  C.Chesñevar, J. McGinnis, S. Modgil, I. Rahwan, C. Reed, G. Simari, M. South, G. Vreeswijk, S. Wilmott

    Towards an Argument Interchange Format
    The Knowledge Engineering Review (KER), Cambridge University Press, 2006 (
pdf)

-  Carlos I. Chesñevar, Ana G. Maguitman, Guillermo R. Simari

    Argument-Based User Support Systems using Defeasible Logic Programming

    Proc. of the 3rd Intl. IFIP Conference on Artificial Intelligence Applications & Innovations (AIAI 2006).

    Springer Verlag, Athens, Greece, June 2006, pp 61-69 (pdf)

-  Alejandro G. Stankevicius, Guillermo R. Simari

    An Alternative Semantics for Argumentative Systems
    Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial.

    Vol. 10, No 32, pp. 57–65, 2006. ISSN: 1137-3601. (pdf)

-  Carlos I. Chesñevar, Guillermo R. Simari

    An Abstract Model for Computing Warrant in Skeptical Argumentation Frameworks,
    Proc. 11th Intl. Workshop on Nonmonotonic Reasoning (NMR 2006), Windermere, UK,
    J. Dix and A. Hunter (Eds.),ISSN 1860-8477, IfI Technical Report Series, Clausthal University, pp
411-419
(pdf)

-  Laura A. Cecchi, Pablo R. Fillottrani, Guillermo R. Simari

    On the Complexity of DeLP through Game Semantics

    Proc. 11th Intl. Workshop on Nonmonotonic Reasoning (NMR 2006), Windermere, UK,
    J. Dix and A. Hunter (Eds.),ISSN 1860-8477, IfI Technical Report Series, Clausthal University, pp
386-394
(pdf)

-  Teresa Alsinet, Carlos Chesñevar, Lluis Godo, Sandra Sadri, Guillermo R. Simari

    On Warranted Inference in Possibilistic Defeasible Logic Programming

    Proc. 11th Intl. Workshop on Nonmonotonic Reasoning (NMR 2006), Windermere, UK,
    J. Dix and A. Hunter (Eds.),ISSN 1860-8477, IfI Technical Report Series, Clausthal University, pp 227-236
(pdf )

-  Diego C. Martínez, Alejandro J. García, Guillermo R. Simari

   Progressive Defeat Paths in Abstract Argumentation Frameworks
   Advances in Artificial Intelligence, Proceedings of the 19th Conference of the Canadian Society

   for Computational Studies of Intelligence, Canadian AI 2006, Québec City, Canada, June 2006
   Luc Lamnontagne, Mario Marchand (Eds.) LANAI, ISSN 0302-9743, ISBN 3-540-34628-7, pp 242-253
(pdf )

-  Carlos I. Chesñevar, Guillermo R. Simari, Lluis Godo, Teresa Alsinet

   On Warranted Inference in Possibilistic Defeasible Logic Programming

   8th CCIA Conference. Alghero, Italy, October 2005. In "Artificial Intelligence Research and Development",

   Vol. 131,(Series Frontiers in Artificial Intelligence and Applications)

   López, J. Meléndez, P. Radeva and J. Vitrià (eds). ISBN 1-58603-560-6, IOS Press. (pdf )

 

-  Carlos I. Chesñevar, Guillermo R. Simari, Teresa Alsinet, Lluis Godo

    Expansion Operators for Modelling Agent Reasoning in Possibilistic Logic Programming

    Proc. of 3rd European Workshop on Multiagent Systems (EUMAS 2005).

    Brussels, Belgium, Dec. 2005. (pdf )
 

-  Carlos I. Chesñevar, Ana G. Maguitman, Guillermo R. Simari
   Argument-Based Critics and Recommenders: A Qualitative Perspective on User Support Systems
   To appear in the Journal of Data and Knowledge Engineering.(
pdf )

 

-  Marcela Capobianco, Carlos I. Chesñevar, Guillermo R. Simari
   Argumentation and the Dynamics of Warranted Beliefs in Changing Environments
   Journal of Autonomous Agents and Multi-Agent Systems,11, 127–151, 2005.(
pdf )

 

-  Carlos I. Chesñevar, Guillermo R. Simari, Lluis Godo
   Computing Dialectical Trees Efficiently in Possibilistic Defeasible Logic Programming
   8th Interntational LPNMR Conference, Sept. 2005.
(pdf )

 

-  Carlos I. Chesñevar, Guillermo R. Simari
   Towards Computational Models of Natural Argument using Labelled Deductive Systems
   Proc. of the 5th Intl. Workshop on Computational Models of Natural Argument (CMNA 2005),
   19th Intl. Joint Conf. in Artificial Intelligence (IJCAI 2005).
   Edimburgh, UK, July 2005. In press.(
pdf )

 

-  Sergio A. Gómez, Carlos I. Chesñevar, Guillermo R. Simari
   Incorporating Defeasible Knowledge and Argumentative Reasoning in Web-Based Forms
   Proc. of the 3rd Intl. Workshop on Intelligent Techniques for Web Personalization (ITWP 2005).
   19th Intl. Joint Conf. in Artificial Intelligence (IJCAI 2005).
   Edimburgh, UK, July 2005. In press.(
pdf )

 

-  Carlos I. Chesñevar, Guillermo R. Simari, Lluis Godo,  Teresa Alsinet

   Argument-based Expansion Operators in Possibilistic Defeasible Logic Programming: Characterization and Logical Properties
   Proc. of the 8th European Conference on Symbolic and Qualitative Aspects of Reasoning with Uncertainty (ECSQARU 2005).
   Barcelona, Spain, July 2005 (in press). To appear in LNAI Springer Series. (
pdf )
 

-  Carlos I. Chesñevar,  Guillermo Simari,  Teresa Alsinet, Lluis Godo

   Modelling Agent Reasoning in a Logic Programming Framework fo Possibilistic Argumentation

   Procs. of the 2nd. European Workshop on Multiagent Systems (EUMAS 2004).

   Barcelona, Spain, Dec. 2004.(pdf )


-  Marcela Capobianco, Carlos I. Chesñevar, Guillermo R. Simari

   An Argument-Based Framework to Model an Agent's Beliefs in a  Dynamic Environment.
   First Int. Workshop on Argumentation in Multi-Agent Systems (ArgMAS 2004)
   Third International Joint Conference on Autonomous Agentes & Multi-Agent Systems (AAMAS 2004)
   New York, USA, July 19-23, 2004. pp. 163-178.(
pdf )

 

-  Carlos I. Chesñevar, Guillermo R.Simari, Teresa Alsinet, Lluis Godo
   A Logic Programming Framework for Possibilistic Argumentation with Vague Knowledge

   20th Conference on Uncertainty in Artificial Intelligence

   July 7-11, 2004, Banff Park Lodge, Banff, Canada, (pdf )

 

-  Fernando A. Tohmé, Guillermo R. Simari
   Preferential Defeasiblity: Utility in Defeasible Logic Programming.
   In Proceedings of the 10th International Workshop on Non-Monotonic Reasoning,
   June 6-8, 2004, Whistler BC, Canada. pp. 394-399. (
pdf corrected)

 

-  Carlos I. Chesñevar, Ana G. Maguitman, Guillermo R. Simari.
   A first approach to argument-based recommender systems based on defeasible
   logic programming.
   In Proceedings of the 10th International Workshop on Non-Monotonic Reasoning,
   June 6-8, 2004, Whistler BC, Canada. Pp. 109-117. (pdf)

 

-  Guillermo  R. Simari, Alejandro J. García, Marcela Capobianco
   Actions, Planning and Defeasible Reasoning.
   In Proceedings of the 10th International Workshop on Non-Monotonic Reasoning,
   June 6-8, 2004, Whistler BC, Canada. Pp. 377-384. (pdf
)

 

-  Marcelo A. Falappa, Alejandro J. García, Guillermo R. Simari

   Belief dynamics and defeasible argumentation in rational agents.
   In Proceedings of the 10th International Workshop on Non-Monotonic Reasoning,
   June 6-8, 2004, Whistler BC, Canada. Pp. 164-170. (pdf)

 

-  Alejandro J. García, Guillermo R. Simari

   Defeasible Logic Programming: An Argumentative Approach

   Theory and Practice of Logic Programming.

   Vol 4(1) pp 95-138, 2004. (pdf)

 

-  Frieder Stolzenburg, Alejandro J. García, Carlos I. Chesñevar, Guillermo R. Simari
   Computing Generalized Specificity.

   Journal of Applied Non-Classical Logics.

   Vol 13, No. 1/2003, pp.87-113. January 2003. (pdf)

 

-  Carlos I. Chesñevar, Guillermo R. Simari

   A Framework for Combining Defeasible Argumentation with Labelled Deduction

   In Computer Modeling of Scientific Reasoning. (C.Delrieux, J.Legris, Eds.).

   Buenos Aires, 2003, pp. 43-56 (pdf)

 


 

Not so recent but interesting...

 

-  Guillermo R. Simari, Ronald Prescott Loui

   A Mathematical Treatment of Defeasible Reasoning  and

   its Implementation.

   Artificial Intelligence 53 (1992) 125-157 (pdf)

 

-  Alejandro J. García, Carlos I. Chesñevar, Guillermo R. Simari

   Making Argument System Computationally Attractive

   Proc. of the XIII International Conference of the Chilean Society for Computer Science, 

   October 1993 (pdf)

 

-  Guillermo R. Simari, Carlos I. Chesñevar, Alejandro J. García

   Focusing Inference in Defeasible Argumentation

   Proc. of IV Iberoamerican Congress on Artificial Intelligence (IBERAMIA'94), Venezuela,

   October 1994 (pdf).

 

Guillermo R. Simari, Carlos I. Chesñevar, Alejandro J. García

   The Role of Dialectics in Defeasible Reasoning

   Proc. XIV International Conference of the Chilean Society in Computer Science,

   November 1994 (pdf)

 

Carlos I. Chesñevar, Guillermo R. Simari. Alejandro J. García.

   Pruning Search Space in Defeasible Argumentation.

   Proc. of Workshop on Advances and Trends in Search in Artificial Intelligence, págs 40-47,

   Conf. Internacional de la Sociedad Chilena en Ciencia de la Computación,

   November 2000 (pdf)

 

-  Alejandro J. García, Guillermo R. Simari.

   Paralell Defeasible Argumentation.

   Journal of Computer Science and Technology.

   Vol 2, March 2000, pp. 37-51.(pdf)

 

-  Carlos I. Chesñevar, Guillermo R. Simari

   Formalizing  Defeasible Argumentation using a Labelled Deductive System

   Journal of Computer Science and Technology. Vol 1, No. 4, March 2001, pp. 18-33. (pdf)

 

Guillermo R. Simari, Carlos I. Chesñevar, Alejandro J. García.

   Modelling Argumentation in a Logic-Programming Setting: Formalization and Logical Properties.

   ECSQARU'2001 Proc of Workshop Adventures in Argumentation,

   Sixth European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty,

   Toulouse, France. September 2001 (pdf)

 

-  Carlos I. Chesñevar, Jürgen Dix,  Frieder Stolzenburg, Guillermo R. Simari

   Relating Defeasible and Normal Logic Programming through Transformation Properties.
   Theoretical Computer Science, 290 (1) 499-529, 2002. (
pdf)

 

-  Marcelo A. Falappa, Gabriele Kern-Isberner, Guillermo R. Simari

   Explanations, Belief Revision and Defeasible Reasoning

   Artificial Intelligence 141 (2002) 1-28. (pdf)

 



Free counter and web stats