scientific article; zbMATH DE number 1926632

MaRDI QIDQ4707759zbMATH OpenFDO

Authors Sergio Greco, Domenico Saccà

Publication date 11 June 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2408/24080061.htm

Mathematics Subject Classification ID

Logic programming (68N17) Database theory (68P15) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Logic in artificial intelligence (68T27)

Recommendations

• Publication:4940933
• \(\mathcal {NPD}\)atalog: A logic language for expressing \(\mathcal {NP}\) search and optimization problems
• Datalog: A self-contained tutorial. II
• Undecidable optimization problems for database logic programs
• Static analysis in Datalog extensions

Cited in

(10)

• \(\mathcal {NPD}\)atalog: A logic language for expressing \(\mathcal {NP}\) search and optimization problems
• scientific article; zbMATH DE number 524379 (Why is no real title available?)
• Greedy algorithms in Datalog
• The consequences of eliminating NP solutions
• Expressing and supporting efficiently greedy algorithms as locally stratified logic programs
• scientific article; zbMATH DE number 1390360 (Why is no real title available?)
• scientific article; zbMATH DE number 1407678 (Why is no real title available?)
• scientific article; zbMATH DE number 1420817 (Why is no real title available?)
• The Choice Construct in the Soufflé Language
• A semantic approach to optimize linear datalog programs

Describes a project that uses

Uses Software

• 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 Q4707759)