-
PROJECTIVE FORMULAS AND UNIFICATION IN LINEAR DISCRETE TEMPORAL MULTI-AGENT LOGICS
Bashmakov, SI; Kosheleva, AV; Rybakov, V SIBERIAN ELECTRONIC MATHEMATICAL REPORTS-SIBIRSKIE ELEKTRONNYE MATEMATICHESKIE IZVESTIYA, 13 923-929; ...
Located in
Publications
/
2017
-
PROJECTIVE FORMULAS AND UNIFICATION IN LINEAR DISCRETE TEMPORAL MULTI-AGENT LOGICS
Bashmakov, SI; Kosheleva, AV; Rybakov, V SIBERIAN ELECTRONIC MATHEMATICAL REPORTS-SIBIRSKIE ELEKTRONNYE MATEMATICHESKIE IZVESTIYA, 13 923-929; ...
Located in
Публикации
/
2017
-
NON-UNIFIABILITY IN LINEAR TEMPORAL LOGIC OF KNOWLEDGE WITH MULTI-AGENT RELATIONS
Bashmakov, S. I.; Kosheleva, A. V.; Rybakov, V. SIBERIAN ELECTRONIC MATHEMATICAL REPORTS-SIBIRSKIE ELEKTRONNYE MATEMATICHESKIE IZVESTIYA, 13 656-663; Doi: ...
Located in
Publications
/
2017
-
NON-UNIFIABILITY IN LINEAR TEMPORAL LOGIC OF KNOWLEDGE WITH MULTI-AGENT RELATIONS
Bashmakov, S. I.; Kosheleva, A. V.; Rybakov, V. SIBERIAN ELECTRONIC MATHEMATICAL REPORTS-SIBIRSKIE ELEKTRONNYE MATEMATICHESKIE IZVESTIYA, 13 656-663; Doi: ...
Located in
Публикации
/
2017