Logic programming with social features
2008 ◽
Vol 8
(5-6)
◽
pp. 643-690
◽
Keyword(s):
AbstractIn everyday life it happens that a person has to reason out what other people think and how they behave, in order to achieve his goals. In other words, an individual may be required to adapt his behavior by reasoning about the others' mental state. In this paper we focus on a knowledge-representation language derived from logic programming which both supports the representation of mental states of individual communities and provides each with the capability of reasoning about others' mental states and acting accordingly. The proposed semantics is shown to be translatable into stable model semantics of logic programs with aggregates.
2011 ◽
Vol 12
(6)
◽
pp. 843-887
◽
2014 ◽
Vol 14
(4-5)
◽
pp. 587-601
◽
2011 ◽
Vol 13
(1)
◽
pp. 107-142
◽
Keyword(s):
2007 ◽
Vol 7
(3)
◽
pp. 301-353
◽
2019 ◽
Vol 20
(2)
◽
pp. 176-204
◽
2009 ◽
Vol 9
(3)
◽
pp. 309-341
◽
2007 ◽
Vol 30
◽
pp. 501-523
◽