Logic Programming
From MaRDI portal
Publication:5475787
DOI10.1007/11562931zbMath1165.68328OpenAlexW2104948204MaRDI QIDQ5475787
Michael Codish, V. Lagoon, Peter J. Stuckey
Publication date: 27 June 2006
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11562931
Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Grammars and rewriting systems (68Q42) Logic programming (68N17) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items
Terminating Evaluation of Logic Programs with Finite Three-Valued Models ⋮ Checking termination of bottom-up evaluation of logic programs with function symbols ⋮ Using linear constraints for logic program termination analysis ⋮ Fast offline partial evaluation of logic programs ⋮ Dependency Triples for Improving Termination Analysis of Logic Programs with Cut ⋮ A SAT-Based Approach to Size Change Termination with Global Ranking Functions ⋮ A complexity tradeoff in ranking-function termination proofs ⋮ Ranking Functions for Linear-Constraint Loops ⋮ A second-order formulation of non-termination
