“…Starting with some seminal papers (Kowalski and Sadri 1999), various authors have explored the use of several different flavors of logic programming, such as normal logic programs and abductive logic programs, to address cooperation between agents (Sadri and Toni 2003;Kakas et al 2004;De Vos et al 2005;Gelfond and Watson 2007). Some proposals have also explored the combination between constraint programming, logic programming, and formalization of multi-agent domains (Vlahavas 2002;Dovier et al 2010aDovier et al , 2010bDovier et al , 2013. Logic programming has been used in modeling multi-agent scenarios involving agents knowledge about other's knowledge (Baral et al 2010), computing models in the logics of knowledge (Pontelli et al 2010), multi-agent planning (Son et al 2009) and formalizing negotiation (Sakama et al 2011).…”