Linear multi-agent logic knowledge with multivaluations : доклад, тезисы доклада

Телефон: +7 (391) 291-28-63
E-mail: sppa [at] sfu-kras [dot] ru

Служба поддержки публикационной активности СФУ

Целью службы является создание условий для увеличения количества и повышения качества публикаций научно-педагогических работников СФУ.

Тип публикации: доклад, тезисы доклада, статья из сборника материалов конференций

Конференция: Математика; Новосибирск; Новосибирск

Год издания: 2024

Ключевые слова: multi-agent logic, logical operators, satisfiability problem, Decidability Problem

Номера страниц: 28

Место издания: Новосибирск