Automata-Theoretic Foundations of FOND Planning for LTLf and LDLf Goals.

Giuseppe De Giacomo Sasha Rubin

Published in: IJCAI (2018)

Keyphrases

automata theoretic
artificial intelligence
temporal logic
databases
database systems
knowledge representation
description logics