scientific article; zbMATH DE number 1538058

zbMATH Open0962.68029MaRDI QIDQ4518915FDOQ4518915

N. Leone, Pasquale Rullo, Simona Perri

Publication date: 13 June 2001

Title of this publication is not available (Why is that?)

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

Mathematics Subject Classification ID

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

Cited In (5)

• An Algorithm for Local Variable Elimination in Normal Logic Programs
• 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
• Computing minimal models by partial instantiation

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)