Ask
Search
My library
ORKG

ORKG Ask

Our mission is to organize scholarly knowledge and make it accessible to humans and machines.

About

About ORKG Ask
Report issue
Statistics
Contact

Legal

Terms of use
Data protection (sheet)
Imprint
Accessibility
License

Technical

We
open source
System status
Changelog
Frontend: v1.41.0
Backend: v1.13.4

We use cookies to provide a better user experience.

Data Protection

Constraint-based reasoning in artificial intelligence

Li, B

Publication date

January 1994

Abstract

SIGLEAvailable from British Library Document Supply Centre- DSC:DX187228 / BLDSC - British Library Document Supply CentreGBUnited Kingdo

Extracted data

Related items

Incremental constraint satisfaction

Fargher, H.E.
Addis, T.R
Elleby, P.
Reading Univ. (United Kingdom). Dept. of Computer Science

January 1989

Available from British Library Document Supply Centre- DSC:q89/06911(Incremental) / BLDSC - British ...

Artificial intelligence and the disabled

Broumley, L
Dundee Univ. (United Kingdom). Dept. of Mathematics and Computer Science

January 1991

SIGLEAvailable from British Library Document Supply Centre- DSC:3394.2725(DU-DMCS-CS--91/16) / BLDSC...

Clear thinking about artificial intelligence

Bundy, A
Edinburgh Univ. (United Kingdom). Dept. of Artificial Intelligence

January 1992

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

Constraint logic planning

Zhang, Y.
Barringer, H
Manchester Univ. (United Kingdom). Dept. of Computer Science

January 1994

SIGLEAvailable from British Library Document Supply Centre- DSC:8724.845(UMCS--94-9-2) / BLDSC - Bri...

Enhancing knowledge acquisition with constraint technology

White, S.

January 2000

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

Reasoning about actions and plans in artificial intelligence and engineering

Li, H

January 1992

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

Artificial intelligence Thought and content

Boyce, G.J.

January 1997

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

A backward analysis for constraint logic programs

King, A.
Lu, L.
Kent Univ., Canterbury (United Kingdom). Computing Lab.

January 2001

SIGLEAvailable from British Library Document Supply Centre-DSC:8723.2885(no 4-01) / BLDSC - British ...

Logical reasoning

Dias, M.G

January 1988

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

Justifying constraints

Lippert-Rasmussen, K

January 1994

SIGLEAvailable from British Library Document Supply Centre- DSC:D187510 / BLDSC - British Library Do...

Logical constraints An essay in proof theory

Dosen, K

January 1980

SIGLEAvailable from British Library Document Supply Centre- DSC:D37370/81 / BLDSC - British Library ...

Rational reasoning and human implementations of logic

Stenning, K.
Oaksford, M.
Human Communication Research Centre, Edinburgh (United Kingdom)

January 1992

SIGLEAvailable from British Library Document Supply Centre-DSC:7752.144(28) / BLDSC - British Librar...

A comparison of constraint representation schemes

Carden, S.
Dew, P.
Leeds Univ. (United Kingdom). School of Computer Studies

January 1997

SIGLEAvailable from British Library Document Supply Centre-DSC:7769.555(97/29) / BLDSC - British Lib...

Relevant constraints in model eliminiation

Ramsay, A
Sussex Univ., Brighton (United Kingdom). School of Cognitive and Computing Sciences

January 1989

SIGLEAvailable from British Library Document Supply Centre- DSC:3292.8855(SU-CSRP--130) / BLDSC - Br...

Constraint-based computer support for insightful multidisciplinary engineering design

Sawada, H.

January 2001

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

Incremental constraint satisfaction

Fargher, H.E.
Addis, T.R
Elleby, P.
Reading Univ. (United Kingdom). Dept. of Computer Science

January 1989

Available from British Library Document Supply Centre- DSC:q89/06911(Incremental) / BLDSC - British ...

Artificial intelligence and the disabled

Broumley, L
Dundee Univ. (United Kingdom). Dept. of Mathematics and Computer Science

January 1991

SIGLEAvailable from British Library Document Supply Centre- DSC:3394.2725(DU-DMCS-CS--91/16) / BLDSC...

Clear thinking about artificial intelligence

Bundy, A
Edinburgh Univ. (United Kingdom). Dept. of Artificial Intelligence

January 1992

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

Constraint logic planning

Zhang, Y.
Barringer, H
Manchester Univ. (United Kingdom). Dept. of Computer Science

January 1994

SIGLEAvailable from British Library Document Supply Centre- DSC:8724.845(UMCS--94-9-2) / BLDSC - Bri...

Enhancing knowledge acquisition with constraint technology

White, S.

January 2000

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

Reasoning about actions and plans in artificial intelligence and engineering

Li, H

January 1992

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

Artificial intelligence Thought and content

Boyce, G.J.

January 1997

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

A backward analysis for constraint logic programs

King, A.
Lu, L.
Kent Univ., Canterbury (United Kingdom). Computing Lab.

January 2001

SIGLEAvailable from British Library Document Supply Centre-DSC:8723.2885(no 4-01) / BLDSC - British ...

Logical reasoning

Dias, M.G

January 1988

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

Justifying constraints

Lippert-Rasmussen, K

January 1994

SIGLEAvailable from British Library Document Supply Centre- DSC:D187510 / BLDSC - British Library Do...

Logical constraints An essay in proof theory

Dosen, K

January 1980

SIGLEAvailable from British Library Document Supply Centre- DSC:D37370/81 / BLDSC - British Library ...

Rational reasoning and human implementations of logic

Stenning, K.
Oaksford, M.
Human Communication Research Centre, Edinburgh (United Kingdom)

January 1992

SIGLEAvailable from British Library Document Supply Centre-DSC:7752.144(28) / BLDSC - British Librar...

A comparison of constraint representation schemes

Carden, S.
Dew, P.
Leeds Univ. (United Kingdom). School of Computer Studies

January 1997

SIGLEAvailable from British Library Document Supply Centre-DSC:7769.555(97/29) / BLDSC - British Lib...

Relevant constraints in model eliminiation

Ramsay, A
Sussex Univ., Brighton (United Kingdom). School of Cognitive and Computing Sciences

January 1989

SIGLEAvailable from British Library Document Supply Centre- DSC:3292.8855(SU-CSRP--130) / BLDSC - Br...

Constraint-based computer support for insightful multidisciplinary engineering design

Sawada, H.

January 2001

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

Incremental constraint satisfaction

Fargher, H.E.
Addis, T.R
Elleby, P.
Reading Univ. (United Kingdom). Dept. of Computer Science

January 1989

Available from British Library Document Supply Centre- DSC:q89/06911(Incremental) / BLDSC - British ...

Artificial intelligence and the disabled

Broumley, L
Dundee Univ. (United Kingdom). Dept. of Mathematics and Computer Science

January 1991

SIGLEAvailable from British Library Document Supply Centre- DSC:3394.2725(DU-DMCS-CS--91/16) / BLDSC...

Clear thinking about artificial intelligence

Bundy, A
Edinburgh Univ. (United Kingdom). Dept. of Artificial Intelligence

January 1992

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