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

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

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

Publication date: 7 February 2006

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

Full work available at URL: https://doi.org/10.1016/s0004-3702(02)00367-3

zbMATH Keywords

Incomplete informationAnswer setsConformant planningDeductive planning systemDisjunctive logic programmingKnowledge-statesSecure planning

Mathematics Subject Classification ID

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

Related Items (18)

Algorithmic Decision Theory Meets Logic ⋮ Applications of Action Languages in Cognitive Robotics ⋮ Reasoning about actions with Temporal Answer Sets ⋮ Reducts of propositional theories, satisfiability relations, and generalizations of semantics of logic programs ⋮ An action-based approach to the formal specification and automatic analysis of business processes under authorization constraints ⋮ Detecting and repairing anomalous evolutions in noisy environments. Logic programming formalization and complexity results ⋮ Unnamed Item ⋮ Conformant planning via heuristic forward search: A new approach ⋮ Strong planning under partial observability ⋮ Modeling biological networks by action languages via answer set programming ⋮ Undoing the effects of action sequences ⋮ Logic programs with abstract constraint atoms: the role of computations ⋮ Approximation of action theories and its application to conformant planning ⋮ The system Kato: Detecting cases of plagiarism for answer-set programs ⋮ \textsc{Argonauts}: a working system for motivated cooperative agents ⋮ Graph-based construction of minimal models ⋮ Planning with Incomplete Information in Quantified Answer Set Programming ⋮ Conformant planning via symbolic model checking and heuristic search

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

This page was built for publication: A logic programming approach to knowledge-state planning. II: The DLV\(^\mathcal K\) system