NP Datalog

swMATH13446MaRDI QIDQ25360FDOQ25360

Author name not available (Why is that?)

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
• Positive Dedalus programs tolerate non-causality
• Incremental computation of deterministic extensions for dynamic argumentation frameworks
• ACIDE
• MYSTIQ
• Datalog LITE
• Database Theory - ICDT 2005
• Using linear constraints for logic program termination analysis

This page was built for software: NP Datalog