- From: Christoph LANGE <math.semantic.web@gmail.com>
- Date: Wed, 12 Jun 2013 15:33:11 +0100
- To: semantic-web@w3.org, www-rdf-rules@w3.org
Call for Papers for a Special Issue of MATHEMATICS IN COMPUTER SCIENCE ENABLING DOMAIN EXPERTS TO USE FORMALISED REASONING http://www.cs.bham.ac.uk/research/projects/formare/pubs/mcs-doform/ Guest editors: Manfred Kerber, Christoph Lange, Colin Rowat We invite high-quality original research papers to a special issue of the Birkhäuser/Springer journal Mathematics in Computer Science on the use of systems based on a formal, explicit, machine-verifiable representation of knowledge in application domains such as economics, engineering, health care, education. Examples include: * problems from application domains, which could benefit from better verification and knowledge management facilities, and * knowledge management and verification tools, which domain experts can use without a computer science background. (Read more about our topics of interest) For further examples, please see the Symposium on Enabling Domain Experts to use Formalised Reasoning (http://www.cs.bham.ac.uk/research/projects/formare/events/aisb2013/) held at the annual convention of the AISB (Society for the Study of Artificial Intelligence and Simulation of Behaviour) in April 2013. Submission: 31 October 2013 Notification: 15 December 2013 Revised version due: 15 January 2014 Final version due: 15 February 2014 Publication (expected): April 2014 Topics of interest include but are not limited to: * for domain experts: what problems in application domains could benefit from better verification and knowledge management facilities? Possible fields include: - Example 1 (economics): auctions, value-at-risk models, trading algorithms, market design - Example 2 (engineering): system interoperability, manufacturing processes, product classification * for computer scientists: how to provide the right knowledge management and verification tools to domain experts without a computer science background? - wikis and blogs for informal, semantic, semiformal, and formal mathematical knowledge; - general techniques and tools for online collaborative mathematics; - tools for collaboratively producing, presenting, publishing, and interacting with online mathematics; - automation and human-computer interaction aspects of mathematical wikis; - ontologies and knowledge bases designed to support knowledge management and verification in application domains; - practical experiences, usability aspects, feasibility studies; - evaluation of existing tools and experiments; - requirements, user scenarios and goals. Submissions should be approximately 20 pages long, should follow publishers' instructions and should be submitted via EasyChair. Potential contributors may contact the guest editors (doformmcs2014@easychair.org) to discuss the suitability of topics and papers. -- Christoph Lange, School of Computer Science, University of Birmingham http://cs.bham.ac.uk/~langec/, Skype duke4701 → Intelligent Computer Mathematics, 8–12 July, Bath, UK. Early registration deadline 23 June; http://cicm-conference.org/2013/ → Knowledge and Experience Management, 7-9 October, Bamberg, Germany. Submission until 1 July; http://minf.uni-bamberg.de/lwa2013/cfp/fgwm/ → Modular Ontologies (WoMO), 15 September, Corunna, Spain. Submission until 5 July; http://www.iaoa.org/womo/2013.html
Received on Wednesday, 12 June 2013 14:33:11 UTC