Do-Form @ MCS: Enabling Domain Experts to use Formalised Reasoning

Call for Papers for a Special Issue of Mathematics in Computer Science

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 (Do-Form) held at the annual convention of the AISB (Society for the Study of Artificial Intelligence and Simulation of Behaviour) in April 2013.

We welcome submissions until 31 October 2013. The special issue is expected to be published in April 2014. Submissions should be approximately 20 pages long, should follow publishers' instructions and should be submitted via EasyChair. (Read more about the full timeline and the submission rules)

Potential contributors may contact the guest editors to discuss the suitability of topics and papers.

Further information:

This page was last modified on 11 June 2013.