On computing logic programs

DOI10.1007/BF00283131zbMath0865.68026MaRDI QIDQ5961490

Yannis Dimopoulos

Publication date: 30 June 1997

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

zbMATH Keywords

linear programmingconstraint satisfactionproblem-solving methodsgraph methodspropositional satisfiability

Mathematics Subject Classification ID

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

Related Items

Graph theoretical structures in logic programs and default theories, Answering the “why” in answer set programming – A survey of explanation approaches, Extending and implementing the stable model semantics