Classes of terminating logic programs

DOI10.1017/S1471068402001400zbMath1069.68537OpenAlexW2114898754MaRDI QIDQ4452620

Jan-Georg Smaus, Dino Pedreschi, Salvatore Ruggieri

Publication date: 1 March 2004

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL: http://journals.cambridge.org/action/displayIssue?jid=TLP&volumeId=2&issueId=03

zbMATH Keywords

normcontroluniversal terminationdynamic schedulinglogic programselection rulelevel mappingleft-termination

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (5)

Termination of floating-point computations ⋮ Terminating Evaluation of Logic Programs with Finite Three-Valued Models ⋮ Logic + control: On program construction and verification ⋮ Contextual hypotheses and semantics of logic programs ⋮ Making assumptions in the automated derivation

This page was built for publication: Classes of terminating logic programs