7 citations · 15 across the 9 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
cs.LO2019
Game Description Logic with Integers: A GDL Numerical Extension
Munyque Mittelmann, Laurent Perrussel
Many problems can be viewed as games, where one or more agents try to ensure that certain objectives hold no matter the behavior from the environment and other agents. In recent ye…
cs.AI2019★ 2 cited
Refining HTN Methods via Task Insertion with Preferences
Zhanhao Xiao, Hai Wan, Hankui Hankz Zhuo +3
Hierarchical Task Network (HTN) planning is showing its power in real-world planning. Although domain experts have partial hierarchical domain knowledge, it is time-consuming to sp…