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

Mathematics Subject Classification ID

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

Cited In (4)

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

Uses Software

• Walksat
• SATO

Recommendations

• Title not available (Why is that?) 👍 👎
• Propositional semantics for disjunctive logic programs 👍 👎
• Computing minimal models by partial instantiation 👍 👎
• Logic Programming 👍 👎
• On look-ahead heuristics in disjunctive logic programming 👍 👎

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)