Output details
11 - Computer Science and Informatics
University of Birmingham
Return to search
Output 0 of 0 in the submission
Article title
Combined reasoning by automated cooperation
Type
D - Journal article
Title of journal
Journal of Applied Logic
Article number
-
Volume number
6
Issue number
3
First page of article
318
ISSN of journal
1570-8683
Year of publication
2008
Number of additional authors
3
Additional information
<22>Typically results in theorem proving are achieved by expert parameter settings which trigger the proof search in a way which is hard to understand by non-experts; the approach taken in this paper allows for many problems a solution which is independent of such settings. It is the first paper in theorem proving which investigates this type of robustness (in contrast to the best possible time to solve a problem). The research reported in this paper can be seen as starting point for the combination of heterogeneous systems as later investigated in projects led by co-authors Jamnik and Benzmuller.
Interdisciplinary
-
Cross-referral requested
-
Research group
A - Artificial Intelligence and Intelligent Robotics
Citation count
8
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-
