Do-Form: Proceedings

After submission stages 1 and 2, we have accepted the submissions listed below.
We have also compiled summaries of the initial revisions of those papers that had been accepted in stage 1 (problem & tool = “nail & hammer” descriptions).

The complete proceedings volume is available as a part of the overall AISB 2013 proceedings.

Preface to the proceedings

  1. Nava Tintarev, Nir Oren, Roman Kutlak, Matt Green, Judith Masthoff, Kees van Deemter and Wamberto Vasconcelos: SAsSy – Scrutable Autonomous Systems (problem or domain (“nail”) description; stage 1 summary)
  2. Martine de Vos, Jan Top, Willem Robert van Hage and Guus Schreiber: Transparency of Environmental Computer Models (tool or system (“hammer”) and nail description; stage 1 summary)
  3. Stefan Mitsch, Grant Olney Passmore and Andre Platzer: A Vision of Collaborative Verification-Driven Engineering of Hybrid Systems (hammer description; stage 1 summary)
  4. Ronald Denaux, Vania Dimitrova and Anthony Cohn: Interacting with Ontologies and Linked Data through Controlled Natural Languages and Dialogues (hammer description; stage 1 summary)
  5. Martin Caminada, Mikołaj Podlaszewski and Matt Green: Explaining the Outcome of Knowledge-Based Systems; a discussion-based approach (hammer description; stage 1 summary)
  6. Manfred Kerber, Christoph Lange, Colin Rowat and Wolfgang Windsteiger: Developing an Auction Theory Toolbox (hammer and nail description; stage 1 summary)
  7. Neels Vosloo: Model Validation and Test Portfolios in Financial Regulation (nail description; stage 1 summary)
  8. Nicola Botta, Sibylle Schupp, Antoine Mandel, Cezar Ionescu and Mareen Hofmann: Mathematical specification of an agent-based model of exchange (hammer description)
  9. Jared Davis: Embedding ACL2 Models in End-User Applications (hammer description)
  10. Marco B. Caminati: A contribution to an Auction Theory Toolbox through code and discussion (hammer description; formalised, annotated knowledge representation)
  11. Liwei Deng, Alan Bundy, Fiona McNeill and Alan Smaill: Proof-Guided Ontology Development using Pattern Rules (research paper)

Delegates of the AISB Convention have received a memory stick with the proceedings of all symposia.

Based on the topics of the workshop, there is a special issue of the journal Mathematics in Computer Science.

This page was last modified on 17 June 2015.