Email Gateway (Aug 19 2022 at 11:16): Email Gateway (Aug 19 2022 at 11:16):From: Christoph LANGE <math.semantic.web@gmail.com>
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;
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.
Last updated: Apr 20 2024 at 08:16 UTC