@inproceedings{bandini08__percep_orien_mas_model_hybrid_, title = {A Perception Oriented MAS Model with Hybrid Commonsense Spatial Reasoning}, author = {Bandini, Stefania and Mosca, Alessandro and Palmonari, Matteo and Vizzari, Giuseppe}, year = {2008}, tags = {}, pages = {32}, crossref = {loewe08:_proceed_aisb_sympos_logic_simul_inter_reason_}, } @inproceedings{bordini08__simul_ration_goal_direc_behav_, title = {Simulating Rational Goal-Directed Behaviour Using a Logic-Based Programming Language for Multi-Agent Systems}, author = {Bordini, Rafael H.}, year = {2008}, tags = {}, pages = {6}, crossref = {loewe08:_proceed_aisb_sympos_logic_simul_inter_reason_}, } @inproceedings{broersen08__inter_produc_updat_reason_obser_meta_obser_, title = {Interpreting Product Update as Reasoning about Observations and Meta-Observations}, author = {Broersen, Jan}, year = {2008}, tags = {}, pages = {8}, crossref = {loewe08:_proceed_aisb_sympos_logic_simul_inter_reason_}, } @inproceedings{dennis08__gwend_, title = {Gwendolen}, subtitle = {A BDI Language for Verifiable Agents}, author = {Dennis, Louise A. and Farwer, Bernd}, year = {2008}, tags = {}, pages = {16}, crossref = {loewe08:_proceed_aisb_sympos_logic_simul_inter_reason_}, } @inproceedings{dignum08__theor_pract_social_reason_, title = {Theory and Practice of Social Reasoning}, subtitle = {Experiences with the iCat}, author = {Dignum, Frank and Steunebrink, Bas and Vergunst, Nieske and Mol, Christian and Meyer, John-Jules}, year = {2008}, tags = {}, pages = {24}, crossref = {loewe08:_proceed_aisb_sympos_logic_simul_inter_reason_}, } @inproceedings{jamnik08__how_, title = {How can machines reason with diagrams?}, author = {Jamnik, Mateja}, year = {2008}, tags = {}, pages = {26}, crossref = {loewe08:_proceed_aisb_sympos_logic_simul_inter_reason_}, } @inproceedings{kennerly08__open_probl_simul_story_analy_, title = {Open Problems in Simulation and Story Analysis}, author = {Kennerly, Ethan}, year = {2008}, tags = {}, pages = {28}, crossref = {loewe08:_proceed_aisb_sympos_logic_simul_inter_reason_}, } @proceedings{loewe08:_proceed_aisb_sympos_logic_simul_inter_reason_, title = {Proceedings of the AISB 2008 Symposium on Logic and the Simulation of Interaction and Reasoning}, editor = {Löwe, Benedikt}, year = {2008}, tags = {}, address = {University of Aberdeen, UK}, pdf_locked = {False}, isbn = {1-902956-68-0}, url = {https://aisb.org.uk/wp-content/uploads/2019/12/Final-vol-09.pdf}, url2 = {https://web.archive.org/web/20190115201026/http://www.aisb.org.uk/convention/aisb08/index.html}, file = {/media/john/data/todo/pdfs/proceedings/aisb/aisb_08/Final-vol-09.pdf}, } @inproceedings{nijholt08__don_give_yours_away_, title = {Don’t Give Yourself Away}, subtitle = {Cooperative Behaviour Revisited}, author = {Nijholt, Anton}, year = {2008}, tags = {}, pages = {41}, crossref = {loewe08:_proceed_aisb_sympos_logic_simul_inter_reason_}, } @inproceedings{oda08__privat_infor_infer_infer_, title = {Private Information and Inference about Inference}, author = {Oda, Sobei H. and Masumoto, Gen and Yoneda, Hiroyasu}, year = {2008}, tags = {}, pages = {47}, crossref = {loewe08:_proceed_aisb_sympos_logic_simul_inter_reason_}, } @inproceedings{schadd08__addres_np_compl_puzzl_monte_carlo_method_, title = {Addressing NP-Complete Puzzles with Monte-Carlo Methods}, author = {Schadd, Maarten P. D. and Winands, Mark H. M. and van den Herik, H. Jaap and Aldewereld, Huib}, year = {2008}, tags = {}, pages = {55}, crossref = {loewe08:_proceed_aisb_sympos_logic_simul_inter_reason_}, } @inproceedings{silva08__coupl_mmass_, title = {Coupled MMASS}, subtitle = {A Formal Model for Non-deterministic Multi-agent Simulations}, author = {Silva, Flávio Soares Corrêa Da and Vizzari, Giuseppe and Mosca, Alessandro}, year = {2008}, tags = {}, pages = {11}, crossref = {loewe08:_proceed_aisb_sympos_logic_simul_inter_reason_}, } @inproceedings{thomas08__logic_inter_coalit_social_choic_, title = {Logics of Interaction, Coalitions and Social Choice}, author = {Ågotnes, Thomas and van der Hoek, Wiebe and MichaelWooldridge}, year = {2008}, tags = {}, pages = {1}, crossref = {loewe08:_proceed_aisb_sympos_logic_simul_inter_reason_}, } @inproceedings{wiegel08__exper_comput_philos_, title = {Experimental Computational Philosophy}, subtitle = {shedding new lights on (old) philosophical debates}, author = {Wiegel, Vincent and van den Berg, Jan}, year = {2008}, tags = {}, pages = {62}, crossref = {loewe08:_proceed_aisb_sympos_logic_simul_inter_reason_}, } @inproceedings{witzel08__higher_order_knowl_comput_games_, title = {Higher-Order Knowledge in Computer Games}, author = {Witzel, Andreas and Zvesper, Jonathan A.}, year = {2008}, tags = {}, pages = {68}, crossref = {loewe08:_proceed_aisb_sympos_logic_simul_inter_reason_}, }