A Non-monotonic Goal Specification Language for Planning with Preferences

DOI10.1007/978-3-319-14726-0_14zbMath1432.68452OpenAlexW1503671338MaRDI QIDQ5172616

Enrico Pontelli, Chitta R. Baral, Tran Cao Son

Publication date: 4 February 2015

Published in: Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-14726-0_14

zbMATH Keywords

nonmonotonic reasoning

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Specification and verification (program logics, model checking, etc.) (68Q60) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Related Items (1)

Unnamed Item

Uses Software

• PDDL

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• A heuristic search approach to planning with temporally extended preferences
• A logic for default reasoning
• Expressing preferences in default logic
• Planning with preferences using logic programming

This page was built for publication: A Non-monotonic Goal Specification Language for Planning with Preferences