Analogy-driven proof-plan construction

Putting knowledge rich plan representations to use

Tate, A
Edinburgh Univ. (United Kingdom). Artificial Intelligence Applications Inst

January 1993

SIGLEAvailable from British Library Document Supply Centre- DSC:8723.2688(EU-AIAI-TR--138) / BLDSC -...

Proving ground completeness of resolution by proof planning

Kerber, M.
Sehn, A.C.
Birmingham Univ. (United Kingdom). School of Computer Science

January 1996

SIGLEAvailable from British Library Document Supply Centre-DSC:3292.8854(CSRP-96-16) / BLDSC - Briti...

A general technique for automatically optimizing programs through the use of proof plans

Green, I.
Hesketh, J.
Hadden, P.
Edinburgh Univ. (United Kingdom). Dept. of Artificial Intelligence

January 1992

SIGLEAvailable from British Library Document Supply Centre- DSC:3511.638(EU-DAI-RP--608) / BLDSC - B...

Analogy and automated reasoning

Jamnik, M.
Birmingham Univ. (United Kingdom). Cognitive Science Research Centre

January 1999

SIGLEAvailable from British Library Document Supply Centre-DSC:3292.8854(99-14) / BLDSC - British Li...

Towards learning new methods in proof planning

Jamnik, M.
Kerber, M.
Benzmueller, C.
Birmingham Univ. (United Kingdom). Cognitive Science Research Centre

January 2000

SIGLEAvailable from British Library Document Supply Centre-DSC:3292.8854(00-9) / BLDSC - British Lib...

A formal model for reasoning by analogy

Long, D

January 1987

SIGLEAvailable from British Library Document Supply Centre- DSC:D90973 / BLDSC - British Library Doc...

Proof planning for imperative program development

Stark, J.

January 2000

SIGLEAvailable from British Library Document Supply Centre-DSC:DXN032346 / BLDSC - British Library D...

Proof planning A methodology for developing AI systems involving design

Lowe, H
Edinburgh Univ. (United Kingdom). Dept. of Artificial Intelligence

January 1993

SIGLEAvailable from British Library Document Supply Centre- DSC:3511.638(EU-DAI-RP--662) / BLDSC - B...

Learning method outlines in proof planning

Jamnik, M.
Kerber, M.
Benzmueller, C.
Birmingham Univ. (United Kingdom). Cognitive Science Research Centre

January 2001

SIGLEAvailable from British Library Document Supply Centre-DSC:3292.8854(01/8) / BLDSC - British Lib...

What makes an analogy difficult?

Keane, M.
Trinity Coll., Dublin (Ireland). Dept. of Computer Science

January 1996

SIGLEAvailable from British Library Document Supply Centre-DSC:8722.324(96-13) / BLDSC - British Lib...

Proof planning for maintainable configuration systems

Lowe, H.
Pechoucek, M.
Bundy, A.
Edinburgh Univ. (United Kingdom). Dept. of Artificial Intelligence

January 1997

SIGLEAvailable from British Library Document Supply Centre-DSC:3511.638(878) / BLDSC - British Libra...

Analogy as a sub-process of categorisation

Darrington, S.
Lingstadt, T.
Ramscar, M.
Edinburgh Univ. (United Kingdom). Dept. of Artificial Intelligence

January 1998

SIGLEAvailable from British Library Document Supply Centre-DSC:3511.638(894) / BLDSC - British Libra...

Analysis and transformation of proof procedures

De Waal, D.A

January 1994

SIGLEAvailable from British Library Document Supply Centre- DSC:DX184364 / BLDSC - British Library D...

Proof planning and maintainability of AI systems

Lowe, H
Edinburgh Univ. (United Kingdom). Dept. of Artificial Intelligence

January 1993

SIGLEAvailable from British Library Document Supply Centre- DSC:3511.638(EU-DAI-RP--663) / BLDSC - B...

Transfer between analogies How solving one analogy problem helps to solve another

Keane, M
Trinity Coll., Dublin (Ireland). Dept. of Computer Science

January 1995

SIGLEAvailable from British Library Document Supply Centre-DSC:8722.324(TCD-CS--95-07) / BLDSC - Bri...

Putting knowledge rich plan representations to use

Tate, A
Edinburgh Univ. (United Kingdom). Artificial Intelligence Applications Inst

January 1993

SIGLEAvailable from British Library Document Supply Centre- DSC:8723.2688(EU-AIAI-TR--138) / BLDSC -...

Proving ground completeness of resolution by proof planning

Kerber, M.
Sehn, A.C.
Birmingham Univ. (United Kingdom). School of Computer Science

January 1996

SIGLEAvailable from British Library Document Supply Centre-DSC:3292.8854(CSRP-96-16) / BLDSC - Briti...

A general technique for automatically optimizing programs through the use of proof plans

Green, I.
Hesketh, J.
Hadden, P.
Edinburgh Univ. (United Kingdom). Dept. of Artificial Intelligence

January 1992

SIGLEAvailable from British Library Document Supply Centre- DSC:3511.638(EU-DAI-RP--608) / BLDSC - B...

Analogy and automated reasoning

Jamnik, M.
Birmingham Univ. (United Kingdom). Cognitive Science Research Centre

January 1999

SIGLEAvailable from British Library Document Supply Centre-DSC:3292.8854(99-14) / BLDSC - British Li...

Towards learning new methods in proof planning

Jamnik, M.
Kerber, M.
Benzmueller, C.
Birmingham Univ. (United Kingdom). Cognitive Science Research Centre

January 2000

SIGLEAvailable from British Library Document Supply Centre-DSC:3292.8854(00-9) / BLDSC - British Lib...

A formal model for reasoning by analogy

Long, D

January 1987

SIGLEAvailable from British Library Document Supply Centre- DSC:D90973 / BLDSC - British Library Doc...

Proof planning for imperative program development

Stark, J.

January 2000

SIGLEAvailable from British Library Document Supply Centre-DSC:DXN032346 / BLDSC - British Library D...

Proof planning A methodology for developing AI systems involving design

Lowe, H
Edinburgh Univ. (United Kingdom). Dept. of Artificial Intelligence

January 1993

SIGLEAvailable from British Library Document Supply Centre- DSC:3511.638(EU-DAI-RP--662) / BLDSC - B...

Learning method outlines in proof planning

Jamnik, M.
Kerber, M.
Benzmueller, C.
Birmingham Univ. (United Kingdom). Cognitive Science Research Centre

January 2001

SIGLEAvailable from British Library Document Supply Centre-DSC:3292.8854(01/8) / BLDSC - British Lib...

What makes an analogy difficult?

Keane, M.
Trinity Coll., Dublin (Ireland). Dept. of Computer Science

January 1996

SIGLEAvailable from British Library Document Supply Centre-DSC:8722.324(96-13) / BLDSC - British Lib...

Proof planning for maintainable configuration systems

Lowe, H.
Pechoucek, M.
Bundy, A.
Edinburgh Univ. (United Kingdom). Dept. of Artificial Intelligence

January 1997

SIGLEAvailable from British Library Document Supply Centre-DSC:3511.638(878) / BLDSC - British Libra...

Analogy as a sub-process of categorisation

Darrington, S.
Lingstadt, T.
Ramscar, M.
Edinburgh Univ. (United Kingdom). Dept. of Artificial Intelligence

January 1998

SIGLEAvailable from British Library Document Supply Centre-DSC:3511.638(894) / BLDSC - British Libra...

Analysis and transformation of proof procedures

De Waal, D.A

January 1994

SIGLEAvailable from British Library Document Supply Centre- DSC:DX184364 / BLDSC - British Library D...

Proof planning and maintainability of AI systems

Lowe, H
Edinburgh Univ. (United Kingdom). Dept. of Artificial Intelligence

January 1993

SIGLEAvailable from British Library Document Supply Centre- DSC:3511.638(EU-DAI-RP--663) / BLDSC - B...

Transfer between analogies How solving one analogy problem helps to solve another

Keane, M
Trinity Coll., Dublin (Ireland). Dept. of Computer Science

January 1995

SIGLEAvailable from British Library Document Supply Centre-DSC:8722.324(TCD-CS--95-07) / BLDSC - Bri...

Putting knowledge rich plan representations to use

Tate, A
Edinburgh Univ. (United Kingdom). Artificial Intelligence Applications Inst

January 1993

SIGLEAvailable from British Library Document Supply Centre- DSC:8723.2688(EU-AIAI-TR--138) / BLDSC -...

Proving ground completeness of resolution by proof planning

Kerber, M.
Sehn, A.C.
Birmingham Univ. (United Kingdom). School of Computer Science

January 1996

SIGLEAvailable from British Library Document Supply Centre-DSC:3292.8854(CSRP-96-16) / BLDSC - Briti...

A general technique for automatically optimizing programs through the use of proof plans

Green, I.
Hesketh, J.
Hadden, P.
Edinburgh Univ. (United Kingdom). Dept. of Artificial Intelligence

January 1992

SIGLEAvailable from British Library Document Supply Centre- DSC:3511.638(EU-DAI-RP--608) / BLDSC - B...

Analogy-driven proof-plan construction

Abstract

Extracted data

Analogy-driven proof-plan construction

Abstract

Extracted data

Related items

Related items