TY - GEN
T1 - Implementing informal semantics of ASP
AU - Mikitiuk, Artur
AU - Truszczynski, Miroslaw
PY - 2013
Y1 - 2013
N2 - We describe a system that, given a theory of an answer-set programming (ASP) system psgrnd, generates its informal reading in natural language. That reading helps understand the psgrnd theory, and verify its correctness or identify programming errors. Similar tools can be developed for other ASP formalisms. To this end, the basic language used by the system has to be extended to allow the programmer provide (minimal) additional information on how to understand atomic concepts, of which the theory (program) is built.
AB - We describe a system that, given a theory of an answer-set programming (ASP) system psgrnd, generates its informal reading in natural language. That reading helps understand the psgrnd theory, and verify its correctness or identify programming errors. Similar tools can be developed for other ASP formalisms. To this end, the basic language used by the system has to be extended to allow the programmer provide (minimal) additional information on how to understand atomic concepts, of which the theory (program) is built.
UR - http://www.scopus.com/inward/record.url?scp=84885795043&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84885795043&partnerID=8YFLogxK
U2 - 10.1007/978-3-642-40564-8_43
DO - 10.1007/978-3-642-40564-8_43
M3 - Conference contribution
AN - SCOPUS:84885795043
SN - 9783642405631
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 433
EP - 438
BT - Logic Programming and Nonmonotonic Reasoning - 12th International Conference, LPNMR 2013, Proceedings
T2 - 12th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2013
Y2 - 15 September 2013 through 19 September 2013
ER -