scientific article; zbMATH DE number 7453145

MaRDI QIDQ5020588

Sarat Chandra Varanasi

Publication date: 6 January 2022

Full work available at URL: https://arxiv.org/abs/1909.09058

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Logic programming (68N17)

Uses Software

• Datalog
• sCASP

Cites Work

• Unnamed Item
• Unnamed Item
• Dynamic Consistency Checking in Goal-Directed Answer Set Programming
• Constraint Answer Set Programming without Grounding
• From program verification to program synthesis
• Semantic Web: The Story of the RIFt so Far
• Logic Programming and Nonmonotonic Reasoning
• An axiomatic basis for computer programming

This page was built for publication: