NP Datalog

MaRDI QIDQ25360swMATHFDO

Official website http://wwwinfo.deis.unical.it/npdatalog/

Described by source

• \(\mathcal {NPD}\)atalog: A logic language for expressing \(\mathcal {NP}\) search and optimization problems

Cited in

(8)

• Magic Sets and their application to data integration
• Database Theory - ICDT 2005
• ACIDE
• MYSTIQ
• Datalog LITE
• Incremental computation of deterministic extensions for dynamic argumentation frameworks
• Positive Dedalus programs tolerate non-causality
• Using linear constraints for logic program termination analysis

This page was built for software: NP Datalog