Zobrazeno 1 - 6
of 6
pro vyhledávání: '"Achen, Andreas"'
Many classical planning frameworks are built on first-order languages. The first-order expressive power is desirable for compactly representing actions via schemas, and for specifying quantified conditions such as $\neg\exists x\mathsf{blocks\_door}(
Externí odkaz:
http://arxiv.org/abs/1906.06047
Autor:
Achen, Andreas
In the present paper syntax and semantics will be presented for an expansion of ordinary n-agent QML with constant domain, non-rigid constants, rigid variables and including both functions, relations, and equality. Further, the number of agents will
Externí odkaz:
http://arxiv.org/abs/1811.01590
Publikováno v:
In Artificial Intelligence September 2020 286
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
In Artificial Intelligence October 2023 323
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.