A logic programming approach to knowledge-state planning. II: The DLV\(^\mathcal K\) system

DOI10.1016/S0004-3702(02)00367-3zbMath1079.68619WikidataQ58049487 ScholiaQ58049487MaRDI QIDQ814436

Thomas Eiter, Nicola Leone, Wolfgang Faber, Gerald Pfeifer, Axel Polleres

Publication date: 7 February 2006

Published in: Artificial Intelligence (Search for Journal in Brave)

zbMATH Keywords

Incomplete information; Answer sets; Conformant planning; Deductive planning system; Disjunctive logic programming; Knowledge-states; Secure planning

Mathematics Subject Classification ID

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

68N17: Logic programming

Related Items

Conformant planning via symbolic model checking and heuristic search, Modeling biological networks by action languages via answer set programming, Undoing the effects of action sequences, Conformant planning via heuristic forward search: A new approach, Strong planning under partial observability

Uses Software

• SATO
• PDDL
• Graphplan

Cites Work

• Representing action: indeterminacy and ramifications
• Fast planning through planning graph analysis
• Logic programs with stable model semantics as a constraint programming paradigm
• Representing action and change by logic programs
• Representing actions in logic programs and default theories a situation calculus approach
• SATO: An efficient propositional prover
• A logic programming approach to knowledge-state planning
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item