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.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=2961345
بازگشت