• DocumentCode
    2961345
  • Title

    Answer Set Programming for Studying Logics

  • Author

    Zepeda, Claudia ; Carballido, José Luis ; Marin, Angel ; Osorio, Mauricio

  • fYear
    2009
  • fDate
    9-13 Nov. 2009
  • Firstpage
    153
  • Lastpage
    158
  • Abstract
    We describe different ASP encodings to show the independence of some axioms of G3´ logic, and to obtain a paraconsistent multivalued logic based on the axioms of G3´ logic.
  • Keywords
    logic programming; multivalued logic; ASP encodings; answer set programming; logic programming; paraconsistent multivalued logic; Application software; Application specific processors; Artificial intelligence; Encoding; Knowledge representation; Logic programming; Mathematics; Multivalued logic; Software tools; axiomatic systems; independence of axioms;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Artificial Intelligence, 2009. MICAI 2009. Eighth Mexican International Conference on
  • Conference_Location
    Guanajuato
  • Print_ISBN
    978-0-7695-3933-1
  • Type

    conf

  • DOI
    10.1109/MICAI.2009.31
  • Filename
    5372700
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2961345