How to Do Social Simulation in Logic: Modelling the Segregation Game in a Dynamic Logic of Assignments
暂无分享,去创建一个
Emiliano Lorini | Benoit Gaudou | Andreas Herzig | Christophe Sibertin-Blanc | A. Herzig | B. Gaudou | C. Sibertin-Blanc | E. Lorini
[1] Jan van Eijck,et al. Logics of communication and change , 2006, Inf. Comput..
[2] David S. Johnson,et al. Computers and Intractability: A Guide to the Theory of NP-Completeness , 1978 .
[3] Bart Selman,et al. Planning as Satisfiability , 1992, ECAI.
[4] David Chapman,et al. Planning for Conjunctive Goals , 1987, Artif. Intell..
[5] Murray Shanahan. Solving the frame problem - a mathematical investigation of the common sense law of inertia , 1997 .
[6] Thomas C. Schelling,et al. Dynamic models of segregation , 1971 .
[7] Wiebe van der Hoek. On the Semantics of Graded Modalities , 1992, J. Appl. Non Class. Logics.
[8] Jan van Eijck. Making Things Happen , 2000, Stud Logica.
[9] Wiebe van der Hoek,et al. Dynamic epistemic logic with assignment , 2005, AAMAS '05.
[10] Maurizio Fattorosi-Barnaba,et al. Graded modalities. I , 1985, Stud Logica.
[11] Patrick Taillandier,et al. GAMA: A Simulation Platform That Integrates Geographical Information Data, Agent-Based Modeling and Multi-scale Control , 2010, PRIMA.
[12] Alex M. Andrew,et al. Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems , 2002 .
[13] Gabriela Lindemann,et al. Regulated Agent-Based Social Systems , 2004, Lecture Notes in Computer Science.
[14] Yde Venema,et al. Dynamic Logic by David Harel, Dexter Kozen and Jerzy Tiuryn. The MIT Press, Cambridge, Massachusetts. Hardback: ISBN 0–262–08289–6, $50, xv + 459 pages , 2002, Theory and Practice of Logic Programming.
[15] Maria Fasli. Formal Systems and Agent-Based Social Simulation Equals Null? , 2004, J. Artif. Soc. Soc. Simul..
[16] Tom Bylander,et al. The Computational Complexity of Propositional STRIPS Planning , 1994, Artif. Intell..
[17] Bruce Edmonds,et al. Introduction to a special section on The Use of Logic in Agent-Based Social Simulation , 2004, J. Artif. Soc. Soc. Simul..
[18] Jerzy Tiuryn,et al. Dynamic logic , 2001, SIGA.
[19] Diego Calvanese,et al. The Description Logic Handbook , 2007 .
[20] Ian Horrocks,et al. Using an Expressive Description Logic: FaCT or Fiction? , 1998, KR.
[21] U. Netlogo Wilensky,et al. Center for Connected Learning and Computer-Based Modeling , 1999 .
[22] Michael Thielscher. The Logic of Dynamic Systems , 1995, IJCAI.
[23] Mario Paolucci,et al. Responsibility for Societies of Agents , 2004, J. Artif. Soc. Soc. Simul..