You are in : Home » Results & submissions » Select UOA » 11 - Computer Science and Informatics » View submission: University of Edinburgh » Outputs » Detail

Output details

11 - Computer Science and Informatics

University of Edinburgh

Return to search Previous output Next output

Output 36 of 401 in the submission

Output title

A Single-Significant-Digit Calculus for Semi-Automated Guesstimation

Type

E - Conference contribution

DOI

10.1007/978-3-642-14203-1_31

Name of conference/published proceedings

Automated Reasoning : 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings

Volume number

6173

Issue number

First page of article

354

ISSN of proceedings

0302-9743

Year of publication

2010

URL

http://www.springerlink.com/content/3078725452426125/

Number of additional authors

Additional information

<22> Originality: The paper describes the first attempt to provide automated assistance for solving guesstimation problems. It is rare for question answering systems to do quantitative reasoning.

Significance: Guesstimates are widely used in science, engineering and commerce. The tool assists users to reduce their question to sub-queries that are then answered by automatically retrieving RDF triples from the internet. IJCAR (which incorporates CADE) is the top conference in automated reasoning.

Rigour: A formal calculus for order-of-magnitude quantitative reasoning is presented and used to derive dependency results. This theory forms the basis for an implementation, which is then thoroughly experimentally evaluated.

Interdisciplinary

Cross-referral requested

Research group

A - Centre for Intelligent Systems & their Applications

Citation count

Proposed double-weighted

Double-weighted statement

Reserve for a double-weighted output

Non-English

English abstract