Using answer set programming to model multi-agent scenarios involving agents' knowledge about other's knowledge
暂无分享,去创建一个
[1] J.-J. Ch. Meyer,et al. Dynamic logic for reasoning about actions and agents , 1999 .
[2] Ronald Fagin,et al. Reasoning about knowledge , 1995 .
[3] Lawrence S. Moss,et al. The Logic of Public Announcements and Common Knowledge and Private Suspicions , 1998, TARK.
[4] Ilkka Niemelä,et al. Logic programs with stable model semantics as a constraint programming paradigm , 1999, Annals of Mathematics and Artificial Intelligence.
[5] Jelle Gerbrandy,et al. Reasoning about Information Change , 1997, J. Log. Lang. Inf..
[6] Jelle Gerbrandy,et al. Dynamic epistemic logic , 1998 .
[7] Alex M. Andrew,et al. Knowledge Representation, Reasoning and Declarative Problem Solving , 2004 .
[8] Hector J. Levesque,et al. Towards a logical theory of coordination and joint ability , 2007, AAMAS '07.
[9] Lawrence S. Moss,et al. Logics for Epistemic Programs , 2004, Synthese.
[10] Wiebe van der Hoek,et al. Dynamic epistemic logic with assignment , 2005, AAMAS '05.
[11] Joseph Y. Halpern. A Theory of Knowledge and Ignorance for Many Agents , 1997, J. Log. Comput..
[12] Hector J. Levesque,et al. The cognitive agents specification language and verification environment for multiagent systems , 2002, AAMAS '02.
[13] Enrico Pontelli,et al. Modeling Multi-agent Domains in an Action Languages: An Empirical Study Using , 2009, LPNMR.
[14] Victor W. Marek,et al. Stable models and an alternative logic programming paradigm , 1998, The Logic Programming Paradigm.