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

DOI10.1007/978-3-642-54624-2_13zbMATH Open1407.68079OpenAlexW201569704MaRDI QIDQ5403073FDOQ5403073

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

Recommendations

• Datalog: A self-contained tutorial. II
• An abductive framework for Datalog\(^\pm\) ontologies
• Publication:2767120
• Datalog extensions for database queries and updates
• Extending Datalog with arrays

Mathematics Subject Classification ID

Logic programming (68N17)

Cites Work

• Title not available (Why is that?)
• FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
• Title not available (Why is that?)
• Programming Languages and Systems

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)