
Planning with Perspectives -- Decomposing Epistemic Planning using Functional STRIPS
Author(s) -
Guang Hu,
Tim Miller,
Nir Lipovetzky
Publication year - 2022
Publication title -
journal of artificial intelligence research/the journal of artificial intelligence research
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.79
H-Index - 123
eISSN - 1943-5037
pISSN - 1076-9757
DOI - 10.1613/jair.1.13446
Subject(s) - planner , computer science , function (biology) , epistemic modal logic , solver , perspective (graphical) , problem solver , epistemology , artificial intelligence , programming language , description logic , software engineering , philosophy , multimodal logic , evolutionary biology , biology