Mechanising shared configuration and diagnosis theories through constraint logic programming

DOI10.1016/S0743-1066(98)10010-9zbMath0920.68032OpenAlexW1995731521MaRDI QIDQ4245944

Nirad Sharma, Robert M. Colomb

Publication date: 31 May 1999

Published in: The Journal of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0743-1066(98)10010-9

zbMATH Keywords

problem-solvers

Mathematics Subject Classification ID

Knowledge representation (68T30) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Logic programming (68N17)

This page was built for publication: Mechanising shared configuration and diagnosis theories through constraint logic programming