221 search results - page 45 / 45 » Encoding Modal Logics in Logical Frameworks |
LPNMR
2009
Springer
13 years 9 months ago
2009
Springer
Abstract. In answer-set programming (ASP), the main focus usually is on computing answer sets which correspond to solutions to the problem represented by a logic program. Simple re...