Axiomatizations of backtracking

DOI10.1007/3-540-55210-3_174zbMath1493.68338OpenAlexW1802865379MaRDI QIDQ5096771

Michel Billaud

Publication date: 18 August 2022

Published in: STACS 92 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-55210-3_174

Mathematics Subject Classification ID

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

Related Items

A denotational semantics and dataflow construction for logic programs

Cites Work

• Simple operational and denotational semantics for Prolog with cut
• Operational and denotational semantics of prolog
• Denotational and operational semantics for prolog
• Unnamed Item
• Unnamed Item