scientific article; zbMATH DE number 2090539

zbMATH Open1045.68607MaRDI QIDQ4812972FDOQ4812972

Yannis Dimopoulos, Andreas Sideris

Publication date: 12 August 2004

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2401/24010363.htm

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 (5)

• A Theory of Local Set Queries
• New stochastic local search approaches for computing preferred extensions of abstract argumentation
• Title not available (Why is that?)
• Gradient-based supported model computation in vector spaces
• Adaptive large-neighbourhood search for optimisation in answer-set programming

   Recommendations

• Logic Programming 👍 👎
• Answer set programming based on propositional satisfiability 👍 👎
• Logic Programming and Nonmonotonic Reasoning 👍 👎
• ASSAT: computing answer sets of a logic program by SAT solvers 👍 👎
• Conflict-Driven Answer Set Enumeration 👍 👎

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