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)

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

This page was built for software: NP Datalog