On verification in logic database languages

DOI10.1007/3-540-44957-4_64MaRDI QIDQ2767120zbMATH OpenFDO

Authors Francesco Bonchi, F. Giannotti, Dino Pedreschi

Publication date 28 April 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-44957-4_64

Mathematics Subject Classification ID

Logic programming (68N17) Database theory (68P15) Specification and verification (program logics, model checking, etc.) (68Q60) Logic in artificial intelligence (68T27)

Recommendations

• Verification of logic programs
• Verification from Declarative Specifications Using Logic Programming
• scientific article; zbMATH DE number 4199656
• A formal framework for synthesis and verification of logic programs
• Integrity constraints in logic databases
• scientific article; zbMATH DE number 1497823
• Abstract interpretation based verification of logic programs

Cited in

(6)

• Certifying standard and stratified Datalog inference engines in SSReflect
• Extending Datalog with arrays
• scientific article; zbMATH DE number 1107525 (Why is no real title available?)
• The semantics of Datalog for the evidential tool bus (extended abstract)
• Verification for everyone? An overview of dynamic logic
• A Datalog hammer for supervisor verification conditions modulo simple linear arithmetic

This page was built for publication: On verification in logic database languages

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