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

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

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)

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

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)