Tài liệu tham khảo |
Loại |
Chi tiết |
[1] Chitta Baral. Knowledge Representation, Reasoning, and Declarative Problem Solving. Cambridge University Press, New York, NY, USA, 2003 |
Sách, tạp chí |
Tiêu đề: |
Knowledge Representation, Reasoning, and Declarative Problem Solving |
|
[2] Chitta Baral, Gregory Gelfond, Enrico Pontelli, and Tran Cao Son. Logic pro- gramming for finding models in the logics of knowledge and its applications: A case study. TPLP, 10(4-6):675–690, 2010 |
Sách, tạp chí |
|
[3] Krzysztof R. Apt. The logic programming paradigm and prolog. CoRR, cs.PL/0107013, 2001 |
Sách, tạp chí |
|
[4] Martin Gebser, Roland Kaminski, Philipp Obermeier, and Torsten Schaub. Ricochet Robots Reloaded: A Case-Study in Multi-shot ASP Solving, Aalto University- Finland, University of Potsdam –Germany, Inria Rennes – France , 2015 |
Sách, tạp chí |
Tiêu đề: |
Ricochet Robots Reloaded: A Case-Study in Multi-shot ASP Solving |
|
[6] Tho Thomas Eiter, Giovambattista Ianni and Thomas Krennwallner, (2013), “Answer Set Programming: A Primer”, Institut fur Informationssysteme, Technische Universit at Wien Favoritenstraòe 9-11, A- 1040 Vienna, Austria, Dipartimento di Matematica, Universit´ a della Calabria, I-87036 Rende (CS), Italy |
Sách, tạp chí |
Tiêu đề: |
Answer Set Programming: A Primer |
Tác giả: |
Tho Thomas Eiter, Giovambattista Ianni and Thomas Krennwallner |
Năm: |
2013 |
|