5 projects found matching your search criteria :
Subjectivity of software agents - legal theoretical approach
Call: PRELUDIUM 8 , Panel: HS5
Principal investigator: dr Rafał Michalczak
Uniwersytet Jagielloński, Wydział Prawa i Administracji
Development and implementation of model checking methods for real-time and multi-agent systems
Call: OPUS 1 , Panel: ST6
Principal investigator: dr hab. Bożena Woźna-Szcześniak
Akademia im. Jana Długosza w Częstochowie, Wydział Matematyczno-Przyrodniczy
Structure and interpretation of programming languages in the "proofs-as-programs" paradigm
Call: OPUS 2 , Panel: ST6
Principal investigator: dr Małgorzata Biernacka
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Development of rule-based query languages applied in intelligent systems
Call: OPUS 1 , Panel: ST6
Principal investigator: prof. Andrzej Szałas
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Modelling of software agent society in knowledge-based organizations
Call: SONATA 2 , Panel: HS4
Principal investigator: dr Mariusz Żytniewski
Uniwersytet Ekonomiczny w Katowicach, Wydział Informatyki i Komunikacji