共 50 条
- [1] Using criticalities as a heuristic for answer set programming [J]. LOGIC PROGRAMMING AND NONMONOTONIC REASONING, PROCEEDINGS, 2004, 2923 : 234 - 246
- [2] Explainable Planning Using Answer Set Programming [J]. KR2020: PROCEEDINGS OF THE 17TH INTERNATIONAL CONFERENCE ON PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING, 2020, : 662 - 666
- [5] Answer Set Programming [J]. Proceedings of the 12th Conference on Formal Methods in Computer-Aided Design (FMCAD 2012), 2012, : 2 - 2
- [6] Generating Optimal Code Using Answer Set Programming [J]. LOGIC PROGRAMMING AND NONMONOTONIC REASONING, PROCEEDINGS, 2009, 5753 : 554 - 559
- [7] Using answer set programming for a decision support system [J]. LOGIC PROGRAMMING AND NONMONOTONIC REASONING, 2005, 3662 : 374 - 378
- [8] Answer Set Programming with Constraints Using Lazy Grounding [J]. LOGIC PROGRAMMING, 2009, 5649 : 115 - +