Automated Reasoning | Sciweavers

22

ICCBR
1997
Springer

79views Automated Reasoning» more ICCBR 1997»

From Troubleshooting to Process Design: Closing the Manufacturing Loop

14 years 2 months ago

This paper describes the dual use of a case base for diagnosis and for improving the design of a manufacturing process. In the short term, the case base is used to provide past ex...

Chris J. Price, Ian S. Pegler, M. B. Ratcliffe, A....

claim paper

Read More »

22

click to vote

ICCBR
1997
Springer

98views Automated Reasoning» more ICCBR 1997»

Examining Locally Varying Weights for Nearest Neighbor Algorithms

14 years 2 months ago

Download www.cs.cornell.edu

Previous work on feature weighting for case-based learning algorithms has tended to use either global weights or weights that vary over extremely local regions of the case space. T...

Nicholas Howe, Claire Cardie

claim paper

Read More »

29

click to vote

ICCBR
1997
Springer

105views Automated Reasoning» more ICCBR 1997»

Stratified Case-Based Reasoning in Non-Refinable Abstraction Hierarchies

14 years 2 months ago

Download www.aaai.org

Karl Branting

claim paper

Read More »

36

click to vote

ICCBR
1997
Springer

120views Automated Reasoning» more ICCBR 1997»

An Analogical Theory of Creativity in Design

14 years 2 months ago

Download home.cc.gatech.edu

Sambasiva R. Bhatta, Ashok K. Goel

claim paper

Read More »

29

click to vote

ICCBR
1997
Springer

90views Automated Reasoning» more ICCBR 1997»

What You Saw Is What You Want: Using Cases to Seed Information Retrieval

14 years 2 months ago

Download ciir.cs.umass.edu

Jody J. Daniels, Edwina L. Rissland

claim paper

Read More »

28

click to vote

ICCBR
1997
Springer

111views Automated Reasoning» more ICCBR 1997»

Supporting Combined Human and Machine Planning: An Interface for Planning by Analogical Reasoning

14 years 2 months ago

Download reference.kfupm.edu.sa

Realistic and complex planning situations require a mixed-initiative planning framework in which human and automated planners interact to mutually construct a desired plan. Ideally...

Michael T. Cox, Manuela M. Veloso

claim paper

Read More »

24

click to vote

TPHOL
1996
IEEE

76views Automated Reasoning» more TPHOL 1996»

Synthetic Domain Theory in Type Theory: Another Logic of Computable Functions

14 years 2 months ago

Download www.cogs.susx.ac.uk

We will present a Logic of Computable Functions based on the idea of Synthetic Domain Theory such that all functions are automatically continuous. Its implementation in the Lego pr...

Bernhard Reus

claim paper

Read More »

28

click to vote

TPHOL
1996
IEEE

88views Automated Reasoning» more TPHOL 1996»

Importing Mathematics from HOL into Nuprl

14 years 2 months ago

Download www.nuprl.org

Nuprl and HOL are both tactic-based interactive theorem provers for higher-order logic, and both have been used in many substantial applications over the last decade. However, the ...

Douglas J. Howe

claim paper

Read More »

29

click to vote

TPHOL
1996
IEEE

114views Automated Reasoning» more TPHOL 1996»

Five Axioms of Alpha-Conversion

14 years 2 months ago

Download www.cs.haverford.edu

Andrew D. Gordon, Thomas F. Melham

claim paper