12 found
Order:
Disambiguations
Guillermo R. Simari [8]Guillermo Ricardo Simari [4]
See also
Guillermo Ricardo Simari
Universidad Nacional del Sur
  1.  2
    An Informant-Based Approach to Argument Strength in Defeasible Logic Programming.Andrea Cohen, Sebastian Gottifredi, Luciano H. Tamargo, Alejandro J. García & Guillermo R. Simari - forthcoming - Argument and Computation:1-33.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  2.  19
    Defeasible Logic Programming: DeLP-Servers, Contextual Queries, and Explanations for Answers.Alejandro J. García & Guillermo R. Simari - 2014 - Argument and Computation 5 (1):63-88.
    Argumentation represents a way of reasoning over a knowledge base containing possibly incomplete and/or inconsistent information, to obtain useful conclusions. As a reasoning mechanism, the way an argumentation reasoning engine reaches these conclusions resembles the cognitive process that humans follow to analyze their beliefs; thus, unlike other computationally reasoning systems, argumentation offers an intellectually friendly alternative to other defeasible reasoning systems. LogicProgrammingisacomputationalparadigmthathasproducedcompu- tationallyattractivesystemswithremarkablesuccessinmanyapplications. Merging ideas from both areas, Defeasible Logic Programming offers a computational reasoning system that uses an argumentation engine (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  3.  46
    Prioritized and Non-Prioritized Multiple Change on Belief Bases.Marcelo A. Falappa, Gabriele Kern-Isberner, Maurício D. L. Reis & Guillermo R. Simari - 2012 - Journal of Philosophical Logic 41 (1):77-113.
    In this article we explore multiple change operators, i.e., operators in which the epistemic input is a set of sentences instead of a single sentence. We propose two types of change: prioritized change, in which the input set is fully accepted, and symmetric change, where both the epistemic state and the epistemic input are equally treated. In both kinds of operators we propose a set of postulates and we present different constructions: kernel changes and partial meet changes.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  4.  5
    An Approach to Abstract Argumentation with Recursive Attack and Support.Andrea Cohen, Sebastian Gottifredi, Alejandro J. García & Guillermo R. Simari - 2015 - Journal of Applied Logic 13 (4):509-533.
  5.  40
    Stratified Belief Bases Revision with Argumentative Inference.Marcelo Alejandro Falappa, Alejandro Javier García, Gabriele Kern-Isberner & Guillermo Ricardo Simari - 2013 - Journal of Philosophical Logic 42 (1):161-193.
    We propose a revision operator on a stratified belief base, i.e., a belief base that stores beliefs in different strata corresponding to the value an agent assigns to these beliefs. Furthermore, the operator will be defined as to perform the revision in such a way that information is never lost upon revision but stored in a stratum or layer containing information perceived as having a lower value. In this manner, if the revision of one layer leads to the rejection of (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  6.  83
    Computing Generalized Specificity.Frieder Stolzenburg, Alejandro J. García, Carlos I. Chesñevar & Guillermo R. Simari - 2003 - Journal of Applied Non-Classical Logics 13 (1):87-113.
    Most formalisms for representing common-sense knowledge allow incomplete and potentially inconsistent information. When strong negation is also allowed, contradictory conclusions can arise. A criterion for deciding between them is needed. The aim of this paper is to investigate an inherent and autonomous comparison criterion, based on specificity as defined in [POO 85, SIM 92]. In contrast to other approaches, we consider not only defeasible, but also strict knowledge. Our criterion is context-sensitive, i. e., preference among defeasible rules is determined dynamically (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  7.  5
    A Labeled Argumentation Framework.Maximiliano C. D. Budán, Mauro Gómez Lucero, Ignacio Viglizzo & Guillermo R. Simari - 2015 - Journal of Applied Logic 13 (4):534-553.
  8.  31
    Defeasible Argumentation Over Relational Databases.Cristhian Ariel David Deagustini, Santiago Emanuel Fulladoza Dalibón, Sebastián Gottifredi, Marcelo Alejandro Falappa, Carlos Iván Chesñevar & Guillermo Ricardo Simari - 2017 - Argument and Computation 8 (1):35-59.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  9.  48
    Computing Generalized Specificity.Frieder Stolzenburg—Alejandro J. García—Carlos, I. Chesñevar & Guillermo R. Simari - 2003 - Journal of Applied Non-Classical Logics 13 (1):87-113.
    Direct download  
     
    Export citation  
     
    Bookmark  
  10.  45
    Modelling Inference in Argumentation Through Labelled Deduction: Formalization and Logical Properties. [REVIEW]Carlos Iván Chesñevar & Guillermo Ricardo Simari - 2007 - Logica Universalis 1 (1):93-124.
    . Artificial Intelligence (AI) has long dealt with the issue of finding a suitable formalization for commonsense reasoning. Defeasible argumentation has proven to be a successful approach in many respects, proving to be a confluence point for many alternative logical frameworks. Different formalisms have been developed, most of them sharing the common notions of argument and warrant. In defeasible argumentation, an argument is a tentative (defeasible) proof for reaching a conclusion. An argument is warranted when it ultimately prevails over other (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  11.  6
    Similarity Notions in Bipolar Abstract Argumentation.Paola Daniela Budán, Melisa Gisselle Escañuela Gonzalez, Maximiliano Celmo David Budán, Maria Vanina Martinez & Guillermo Ricardo Simari - 2020 - Argument and Computation 11 (1-2):103-149.
    Abstract. The notion of similarity has been studied in many areas of Computer Science; in a general sense, this concept is defined to provide a measure of the semantic equivalence between two pieces of knowledge, expressing how “close” their meaning can be regarded. In this work, we study similarity as a tool useful to improve the representation of arguments, the interpretation of the relations between arguments, and the semantic evaluation associated with the arguments in the argumentative process. In this direction, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  12.  48
    Introducing Argument & Computation.Guillermo R. Simari, Chris Reed, Iyad Rahwan & Floriana Grasso - 2010 - Argument and Computation 1 (1):1-5.
    Over the past decade or so, a new interdisciplinary field has emerged in the ground between, on the one hand, computer science – and artificial intelligence in particular – and, on the other, the area of philosophy concentrating on the language and structure of argument. There are now hundreds of researchers worldwide who would consider themselves a part of this nascent community. Various terms have been proposed for the area, including "Computational Dialectics," "Argumentation Technology," and "Argument-based Computing," but the term (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark