Answer Set Solving and Non-Herbrand Functions
暂无分享,去创建一个
[1] Ilkka Niemelä,et al. Logic Programs with Ordered Disjunction , 2004, Comput. Intell..
[2] Fangzhen Lin,et al. Answer Set Programming with Functions , 2008, KR.
[3] Eugene Goldberg,et al. BerkMin: A Fast and Robust Sat-Solver , 2002 .
[4] Michael Gelfond,et al. Classical negation in logic programs and disjunctive databases , 1991, New Generation Computing.
[5] Alex M. Andrew,et al. Knowledge Representation, Reasoning and Declarative Problem Solving , 2004 .
[6] Victor W. Marek,et al. The Logic Programming Paradigm: A 25-Year Perspective , 2011 .
[7] Giovambattista Ianni,et al. Enhancing ASP by Functions: Decidable Classes and Implementation Techniques , 2010, AAAI.
[8] Li-Yan Yuan,et al. Weight Constraint Programs with Functions , 2009, LPNMR.
[9] Vladimir Lifschitz. Logic Programs with Intensional Functions ( Preliminary Report ) , 2011 .
[10] Martin Gebser,et al. Conflict-Driven Answer Set Solving , 2007, IJCAI.
[11] Piero A. Bonatti,et al. A decidable subclass of finitary programs , 2010, Theory and Practice of Logic Programming.
[12] Martin Gebser,et al. Constraint Answer Set Solving , 2009, ICLP.
[13] Pedro Cabalar. Functional answer set programming , 2011, Theory Pract. Log. Program..