@inproceedings{botta13__mathem_specif_of_agend_based_,
 title        = {Mathematical Specification Of An Agend-Based Model Of Exchange},
 author       = {Botta, Nicola and Mandel, Antoine and Hofmann, Mareen and Schupp, Sibylle and Ionescu, Cezar},
 year         = {2013},
 tags         = {},
 pages        = {38-49},
 crossref     = {kerber13:_proceed_aisb_sympos_do_form_},
}

@inproceedings{caminada13__explain_outcom_of_knowl_based_system_,
 title        = {Explaining The Outcome Of Knowledge Based Systems},
 subtitle     = {A Discussion-Based Approach},
 author       = {Caminada, Martin and Podlaszewski, Mikołaj and Green, Matt},
 year         = {2013},
 tags         = {},
 pages        = {21-25},
 crossref     = {kerber13:_proceed_aisb_sympos_do_form_},
}

@inproceedings{davis13__embed_acl2_model_in_end_user_applic_,
 title        = {Embedding Acl2 Models In End-User Applications},
 author       = {Davis, Jared},
 year         = {2013},
 tags         = {},
 pages        = {49-57},
 crossref     = {kerber13:_proceed_aisb_sympos_do_form_},
}

@inproceedings{denaux13__inter_with_ontol_linked_data_,
 title        = {Interacting With Ontologies and Linked Data Thourhg Controlled Natural Langauges and Dialogues},
 author       = {Denaux, Ronald and Dimitrova, Vania and Cohn, Anthony G.},
 year         = {2013},
 tags         = {},
 pages        = {18-21},
 crossref     = {kerber13:_proceed_aisb_sympos_do_form_},
}

@inproceedings{deng13__proof_guided_ontol_devel_using_patter_rules_,
 title        = {Proof-Guided Ontology Development Using Pattern Rules},
 author       = {Deng, Liwei and Bundy, Alan and Mcneill, Fiona and Smaill, Alan},
 year         = {2013},
 tags         = {},
 pages        = {57-63},
 crossref     = {kerber13:_proceed_aisb_sympos_do_form_},
}

@proceedings{kerber13:_proceed_aisb_sympos_do_form_,
 title        = {Proceedings of the AISB 2013 Symposium on Do-Form},
 subtitle     = {Enabling Domain Experts to use Formalised Reasoning},
 editor       = {Kerber, Manfred and Lange, Christoph and Rowat, Colin},
 year         = {2013},
 tags         = {},
 address      = {University of Exeter, UK},
 pdf_locked   = {False},
 isbn         = {978-1-908187-32-1},
 url          = {https://aisb.org.uk/wp-content/uploads/2019/09/aisb2013.zip},
 url2         = {https://web.archive.org/web/20190115201026/http://www.aisb.org.uk/convention/aisb13},
 file         = {/media/john/data/todo/pdfs/proceedings/aisb/aisb_13/S03.pdf},
}

@inproceedings{lange13__devel_auction_theor_toolb_,
 title        = {Developing An Auction Theory Toolbox},
 author       = {Lange, Christoph and Rowat, Colin and Windsteiger, Wolfgang and Kerber, Manfred},
 year         = {2013},
 tags         = {},
 pages        = {25-30},
 crossref     = {kerber13:_proceed_aisb_sympos_do_form_},
}

@inproceedings{mitsch13__vision_of_collab_verif_driven_,
 title        = {A Vision Of Collaborative Verification-Driven Engineering Of Hybrid Systems},
 author       = {Mitsch, Stefan and Passmore, Grant Olney and Platze, André},
 year         = {2013},
 tags         = {},
 pages        = {8-18},
 crossref     = {kerber13:_proceed_aisb_sympos_do_form_},
}

@inproceedings{tintarev13__sasy_scrut_auton_system_,
 title        = {Sasy - Scrutable Autonomous System},
 author       = {Tintarev, Nina and Utlak, Roman and Oren, Nir and Deemter, Kees Van and Green, Matt and Masthoff, Judith and Vasconcelos, Wamberto W.},
 year         = {2013},
 tags         = {},
 pages        = {1-4},
 crossref     = {kerber13:_proceed_aisb_sympos_do_form_},
}

@inproceedings{vos13__trans_of_envir_comput_model_,
 title        = {Transparency Of Environmental Computer Models},
 author       = {de Vos, Martine G. and Top, Jan and Hage, Willem Robert Van and Schreiber, Guus},
 year         = {2013},
 tags         = {},
 pages        = {4-8},
 crossref     = {kerber13:_proceed_aisb_sympos_do_form_},
}

@inproceedings{vosloo13__model_valid_test_portf_in_finan_regul_,
 title        = {Model Validation and Test Portfolios In Financial Regulation},
 author       = {Vosloo, Neels},
 year         = {2013},
 tags         = {},
 pages        = {30-38},
 crossref     = {kerber13:_proceed_aisb_sympos_do_form_},
}