Search and optimization problems in Datalog

DOI10.1007/3-540-45632-5_3MaRDI QIDQ4707759zbMATH OpenFDO

Authors Sergio Greco, Domenico Saccà

Publication date 11 June 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

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

• scientific article; zbMATH DE number 1407678
• \(\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
• Search algorithms in the situation calculus
• 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: Search and optimization problems in Datalog

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4707759)