Task planning in human-robot environments tends to be particularly complex as it involves additional uncertainty introduced by the human user. Several plans, entailing few or various differences, can ...

In classical planning, we aren't constrained to symbols that only take on true or false values, as we were in propositional logic. Instead, we introduce objects that can represent things in our ...

Imagine having to narrow down a video of passing vehicles captured on a traffic camera to red SUVs that are exceeding the speed limit. Such queries over images, videos and text are an increasingly ...

For the purpose of propositional logic, propositions are (almost) atomic black-boxes: They have names and definitions, but their names are just atomic symbols in the logic syntax, and their ...