Introducing Preferences in Planning as Satisfiability

DOI10.1093/logcom/exq023zbMath1216.68245OpenAlexW2052041463MaRDI QIDQ3006114

Enrico Giunchiglia, Marco Maratea

Publication date: 10 June 2011

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.169.7125

zbMATH Keywords

planningpreferencessatisfiability

Mathematics Subject Classification ID

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

Related Items

Anytime heuristic search for partial satisfaction planning, Deterministic planning in the fifth international planning competition: PDDL3 and experimental evaluation of the planners

Uses Software

• MiniSat
• CP-nets
• Walksat
• Yochan