2 papers
cs.AI2020
Extending Answer Set Programs with Neural Networks
Zhun Yang
The integration of low-level perception with high-level reasoning is one of the oldest problems in Artificial Intelligence. Recently, several proposals were made to implement the r…
cs.AI2018
Translating LPOD and CR-Prolog2 into Standard Answer Set Programs
Joohyung Lee, Zhun Yang
Logic Programs with Ordered Disjunction (LPOD) is an extension of standard answer set programs to handle preference using the construct of ordered disjunction, and CR-Prolog2 is an…