scientific article; zbMATH DE number 7453145

MaRDI QIDQ5020588zbMATH OpenFDO

Authors Sarat Chandra Varanasi

Publication date 6 January 2022

Full work available at URL https://arxiv.org/abs/1909.09058, http://eptcs.web.cse.unsw.edu.au/paper.cgi?ICLP2019.55

Mathematics Subject Classification ID

Logic programming (68N17)

Cites work

• An axiomatic basis for computer programming
• Constraint answer set programming without grounding
• Dynamic consistency checking in goal-directed answer set programming
• From program verification to program synthesis
• scientific article; zbMATH DE number 43398 (Why is no real title available?)
• scientific article; zbMATH DE number 3351173 (Why is no real title available?)
• Logic Programming and Nonmonotonic Reasoning
• Semantic Web: The Story of the RIFt so Far

Describes a project that uses

Uses Software

• sCASP
• Datalog

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 Q5020588)