Login / Signup
A First-Order Formalization of Commitments and Goals for Planning.
Felipe Meneguzzi
Pankaj R. Telang
Munindar P. Singh
Published in:
AAAI (2013)
Keyphrases
</>
planning process
higher order
ai planning
first order logic
motion planning
neural network
planning problems
decision support
real time
heuristic search
blocks world
multiagent systems
search algorithm
social networks
goal oriented
horn clauses
mixed initiative
stochastic domains
quantifier elimination