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.
- 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)
- 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)
- Stefan Mitsch, Grant Olney Passmore and Andre Platzer: A Vision of Collaborative Verification-Driven Engineering of Hybrid Systems (hammer description; stage 1 summary)
- Ronald Denaux, Vania Dimitrova and Anthony Cohn: Interacting with Ontologies and Linked Data through Controlled Natural Languages and Dialogues (hammer description; stage 1 summary)
- Martin Caminada, Mikołaj Podlaszewski and Matt Green: Explaining the Outcome of Knowledge-Based Systems; a discussion-based approach (hammer description; stage 1 summary)
- Manfred Kerber, Christoph Lange, Colin Rowat and Wolfgang Windsteiger: Developing an Auction Theory Toolbox (hammer and nail description; stage 1 summary)
- Neels Vosloo: Model Validation and Test Portfolios in Financial Regulation (nail description; stage 1 summary)
- Nicola Botta, Sibylle Schupp, Antoine Mandel, Cezar Ionescu and Mareen Hofmann: Mathematical specification of an agent-based model of exchange (hammer description)
- Jared Davis: Embedding ACL2 Models in End-User Applications (hammer description)
- Marco B. Caminati: A contribution to an Auction Theory Toolbox through code and discussion (hammer description; formalised, annotated knowledge representation)
- 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.