2013_aisb_domain_reasoning

There are 11 entries in this file. Use ‘View Page Source’ in the top right hand corner of the page for the raw bibtex. Entries are coloured according to their type:

  • Journal Articles
  • Books > Chapters
  • Proceedings > Proceeding Papers
  • Reports > Tech Reports
  • Theses
  • Standards & Technical Manuals
  • Online > Blog Posts & Social Media Threads
  • Videos
  • Collections > Datasets
  • Software > Games
  • Legal Cases > Judicial Opinions
  • Laws
Mathematical Specification Of An Agend-Based Model Of Exchange
(botta13__mathem_specif_of_agend_based_)
Botta, Nicola and Mandel, Antoine and Hofmann, Mareen and Schupp, Sibylle and Ionescu, Cezar
Explaining The Outcome Of Knowledge Based Systems: A Discussion-Based Approach
(caminada13__explain_outcom_of_knowl_based_system_)
Caminada, Martin and Podlaszewski, Mikołaj and Green, Matt
Embedding Acl2 Models In End-User Applications
(davis13__embed_acl2_model_in_end_user_applic_)
Davis, Jared
Interacting With Ontologies and Linked Data Thourhg Controlled Natural Langauges and Dialogues
(denaux13__inter_with_ontol_linked_data_)
Denaux, Ronald and Dimitrova, Vania and Cohn, Anthony G.
Proof-Guided Ontology Development Using Pattern Rules
(deng13__proof_guided_ontol_devel_using_patter_rules_)
Deng, Liwei and Bundy, Alan and Mcneill, Fiona and Smaill, Alan
Proceedings of the AISB 2013 Symposium on Do-Form: Enabling Domain Experts to use Formalised Reasoning
(kerber13:_proceed_aisb_sympos_do_form_)
Kerber, Manfred and Lange, Christoph and Rowat, Colin (eds).
ISBN: 978-1-908187-32-1
URL: Link
Developing An Auction Theory Toolbox
(lange13__devel_auction_theor_toolb_)
Lange, Christoph and Rowat, Colin and Windsteiger, Wolfgang and Kerber, Manfred
A Vision Of Collaborative Verification-Driven Engineering Of Hybrid Systems
(mitsch13__vision_of_collab_verif_driven_)
Mitsch, Stefan and Passmore, Grant Olney and Platze, André
Sasy - Scrutable Autonomous System
(tintarev13__sasy_scrut_auton_system_)
Tintarev, Nina and Utlak, Roman and Oren, Nir and Deemter, Kees Van and Green, Matt and Masthoff, Judith and Vasconcelos, Wamberto W.
Transparency Of Environmental Computer Models
(vos13__trans_of_envir_comput_model_)
de Vos, Martine G. and Top, Jan and Hage, Willem Robert Van and Schreiber, Guus
Model Validation and Test Portfolios In Financial Regulation
(vosloo13__model_valid_test_portf_in_finan_regul_)
Vosloo, Neels