Output details
11 - Computer Science and Informatics
University of Manchester
Article title
On the formalization and reuse of scientific research
Type
D - Journal article
Title of journal
Journal of the Royal Society Interface
Article number
-
Volume number
8
Issue number
63
First page of article
1440
ISSN of journal
1742-5662
Year of publication
2011
URL
-
Number of additional authors
4
Additional information
<22> The paper describes a logical formalism for describing scientific investigations that is designed to promote the reuse of knowledge. The work is significant because only logic has the required semantic clarity to properly support the free exchange and verification of scientific knowledge. The idea of using logic to describe science is an old one, but recent developments in computer science now make it practical. The paper was featured in the online version of Wired Magazine.
Interdisciplinary
-
Cross-referral requested
-
Research group
None
Citation count
1
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-