Now showing items 1-1 of 1

    • Formalizing defeasible argumentation using a labeled deductive system 

      Chesñevar, Carlos Iván; Simari, Guillermo Ricardo (Iberoamerican Science & Technology Education Consortium, 2001)
      In the last years there has been an increasing demand of a variety of logical systems, prompted mostly by applications of logic in AI, logic programming and other related areas. Labeled Deductive Systems (LDS) were developed ...