scientific article; zbMATH DE number 1538058

MaRDI QIDQ4518915zbMATH OpenFDO

Authors N. Leone, Simona Perri, Pasquale Rullo

Publication date 13 June 2001

Mathematics Subject Classification ID

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

Recommendations

• Computing minimal models by partial instantiation
• On look-ahead heuristics in disjunctive logic programming
• scientific article; zbMATH DE number 1114054
• Logic Programming
• Propositional semantics for disjunctive logic programs

Cited in

(5)

• On look-ahead heuristics in disjunctive logic programming
• Propagation based local search for bit-precise reasoning
• Incremental Algorithms for Local Search from Existential Second-Order Logic
• Computing minimal models by partial instantiation
• An Algorithm for Local Variable Elimination in Normal Logic Programs

Describes a project that uses

Uses Software

• Walksat
• SATO

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 Q4518915)