Constraint satisfaction with an object-oriented knowledge representation language

DOI10.1007/BF00872107zbMath0815.68099OpenAlexW2000741307MaRDI QIDQ1330407

Yves Caseau

Publication date: 30 June 1995

Published in: Applied Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00872107

zbMATH Keywords

virtual memoryconstraint satisfactionproduction rulesworldsrecursive query processinghybrid language LAUREobject-oriented software implementationuser interface management system

Mathematics Subject Classification ID

Theory of programming languages (68N15) Knowledge representation (68T30)

Uses Software

• Smalltalk
• CLOS

Cites Work

• Unnamed Item
• Unnamed Item
• On the representation and querying of sets of possible worlds
• Consistency in networks of relations
• An object-oriented deductive language
• Object identity as a query language primitive

This page was built for publication: Constraint satisfaction with an object-oriented knowledge representation language