Logic Programming
From MaRDI portal
Publication:5191497
DOI10.1007/b94619zbMath1204.68056MaRDI QIDQ5191497
Vladimir Lifschitz, Joohyung Lee
Publication date: 6 August 2009
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b94619
68N17: Logic programming
Related Items
Loop-separable programs and their first-order definability, Weight constraint programs with evaluable functions, ASSAT: computing answer sets of a logic program by SAT solvers, A generalization of the Lin-Zhao theorem, Answer set programming based on propositional satisfiability, Hyperequivalence of logic programs with respect to supported models, Semantic forgetting in answer set programming, Loop formulas for circumscription, A characterization of answer sets for logic programs, An empirical study of constraint logic programming and answer set programming solutions of combinatorial problems, Answer Set Programming: A Primer
Uses Software