The semantics of Datalog for the evidential tool bus (extended abstract)

DOI10.1007/978-3-642-54624-2_13MaRDI QIDQ5403073zbMATH OpenOpenAlexFDO

Authors Simon Cruanes, Stijn Heymans, Ian A. Mason, Sam Owre, Natarajan Shankar

Publication date 25 March 2014

Published in Specification, Algebra, and Software (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-54624-2_13

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Datalog: A self-contained tutorial. II
• An abductive framework for Datalog\(^\pm\) ontologies
• scientific article; zbMATH DE number 1696847
• Datalog extensions for database queries and updates
• Extending Datalog with arrays

Cites work

• scientific article; zbMATH DE number 3640922 (Why is no real title available?)
• scientific article; zbMATH DE number 839556 (Why is no real title available?)
• FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
• Programming Languages and Systems

Describes a project that uses

Uses Software

• Datalog

This page was built for publication: The semantics of Datalog for the evidential tool bus (extended abstract)

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