An efficient algorithm of logic programming with constraint hierarchy

DOI10.1007/BFb0016852zbMath1495.68031OpenAlexW68477348MaRDI QIDQ5096308

Tsutsumi Fujio

Publication date: 16 August 2022

Published in: Constraints in Computational Logics (Search for Journal in Brave)

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

Mathematics Subject Classification ID

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

Cites Work

• The promotion and accumulation strategies in transformational programming
• Constraint logic programming for reasoning about discrete event processes
• Unnamed Item
• Unnamed Item

This page was built for publication: An efficient algorithm of logic programming with constraint hierarchy