scientific article; zbMATH DE number 6606377

MaRDI QIDQ5740448zbMATH OpenFDO

Authors Fangzhen Lin

Publication date 26 July 2016

zbMATH Keywords

strong terminationnondeterministic Golog while-loop

Mathematics Subject Classification ID

Logic programming (68N17) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Strong termination of logic programs
• A methodology for proving termination of logic programs
• scientific article; zbMATH DE number 1149425
• Termination proofs for logic programs
• On the verification of very expressive temporal properties of non-terminating Golog programs
• scientific article; zbMATH DE number 432705
• scientific article; zbMATH DE number 176506
• On modular termination proofs of general logic programs
• Automatic verification of Golog programs via predicate abstraction

Cited in

(1)

• Non-terminating processes in the situation calculus

Describes a project that uses

Uses Software

• GOLOG

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5740448)