Browsing by Author "Alechina, Natasha"
Now showing 1 - 11 of 11
- Results Per Page
- Sort Options
Item Data-Driven Revision of Conditional Norms in Multi-Agent Systems(2022-12-28) Dell'Anna, Davide; Alechina, Natasha; Dalpiaz, Fabiano; Dastani, Mehdi; Logan, Brian; University of Aberdeen.Computing Science; University of Aberdeen.Agents at AberdeenItem Dynamic Causality(IOS Press BV, 2023-10-01) Gladyshev, Maksim; Alechina, Natasha; Dastani, Mehdi; Doder, Dragan; Logan, Brian; Gal, Kobi; Nowe, Ann; Nalepa, Grzegorz J.; Fairstein, Roy; Radulescu, Roxana; University of Aberdeen.Computing Science; University of Aberdeen.Agents at AberdeenItem Intention Progression with Temporally Extended Goals(2024-08-03) Yao, Yuan; Alechina, Natasha; Logan, Brian; University of Aberdeen.Agents at Aberdeen; University of Aberdeen.Computing ScienceItem Intention Progression with Temporally Extended Goals(International Joint Conferences on Artificial Intelligence Organization, 2024-08-09) Yao, Yuan; Alechina, Natasha; Logan, Brian; Larson, Kate; University of Aberdeen.Computing Science; University of Aberdeen.Agents at AberdeenItem Maximally Permissive Reward Machines(2024-10-24) Varricchione, Giovanni; Alechina, Natasha; Dastani, Mehdi; Logan, Brian; University of Aberdeen.Agents at Aberdeen; University of Aberdeen.Computing ScienceItem Multi-Agent Intention Recognition and Progression(IJCAI, 2023-08-19) Dann, Michael; Yao, Yuan; Alechina, Natasha; Logan, Brian; Meneguzzi, Felipe; Thangarajah, John; University of Aberdeen.Agents at Aberdeen; University of Aberdeen.Computing ScienceItem Probabilistic Strategy Logic with Degrees of Observability(2025-04-11) Mu, Chunyan; Motamed, Nima; Alechina, Natasha; Logan, Brian; University of Aberdeen.Agents at Aberdeen; University of Aberdeen.Computing ScienceItem Pure-Past Action Masking(AAAI Press, 2024-03-25) Varricchione, Giovanni; Alechina, Natasha; Dastani, Mehdi; De Giacomo, Giuseppe; Logan, Brian; Perelli, Giuseppe; University of Aberdeen.Agents at Aberdeen; University of Aberdeen.Computing ScienceItem Run-time verification of robot-assisted surgery using visual input(2025-08-09) Gogoladze, Kristina; Alechina, Natasha; van Jaarsveld, Romy; De Jong, Ronald; Al Khalil, Yasmina; Kuiper, Gino; Logan, Brian; Ruurda, Jelle; University of Aberdeen.Agents at Aberdeen; University of Aberdeen.Computing ScienceItem Synthesising Minimum Cost Dynamic Norms(IJCAI, 2025-08-22) Alechina, Natasha; Logan, Brian; Perelli, Giuseppe; Kwok, James; University of Aberdeen.Agents at Aberdeen; University of Aberdeen.Computing ScienceItem Temporal Causal Reasoning with (Non-Recursive) Structural Equation Models(2025-04-11) Gladyshev, Maksim; Alechina, Natasha; Dastani, Mehdi; Doder, Dragan; Logan, Brian; University of Aberdeen.Computing Science; University of Aberdeen.Agents at Aberdeen