Search Results - Alechina, Natasha

Refine Results
  1. 1
    A logic for reasoning about knowledge of unawareness

    A logic for reasoning about knowledge of unawareness by Agotnes, Thomas, Alechina, Natasha

    Published 2014
    Get full text
  2. 2
    Qualitative spatial logics for buffered geometries

    Qualitative spatial logics for buffered geometries by Du, Heshan, Alechina, Natasha

    Published 2016
    Get full text
  3. 3
    Verifying systems of resource-bounded agents

    Verifying systems of resource-bounded agents by Alechina, Natasha, Logan, Brian

    Published 2016
    Get full text
  4. 4
    Coalition logic with individual, distributed and common knowledge

    Coalition logic with individual, distributed and common knowledge by Ågotnes, Thomas, Alechina, Natasha

    Published 2016
    Get full text
  5. 5
    Resource logics with a diminishing resource: extended abstract

    Resource logics with a diminishing resource: extended abstract by Alechina, Natasha, Logan, Brian

    Published 2018
    Get full text
  6. 6
    Coalition and coalition announcement logic

    Coalition and coalition announcement logic by Galimullin, Rustam, Alechina, Natasha

    Published 2017
    Get full text
  7. 7
    Norm approximation for imperfect monitors

    Norm approximation for imperfect monitors by Alechina, Natasha, Dastani, Mehdi, Logan, Brian

    Published 2014
    Get full text
  8. 8
    Efficient minimal preference change

    Efficient minimal preference change by Alechina, Natasha, Liu, Fenrong, Logan, Brian

    Published 2015
    Get full text
  9. 9
    Verifying existence of resource-bounded coalition uniform strategies

    Verifying existence of resource-bounded coalition uniform strategies by Alechina, Natasha, Dastani, Mehdi, Logan, Brian

    Published 2016
    Get full text
  10. 10
    Causality, responsibility and blame in team plans

    Causality, responsibility and blame in team plans by Alechina, Natasha, Halpern, Joseph Y., Logan, Brian

    Published 2017
    Get full text
  11. 11
    A logic of directions

    A logic of directions by Du, Heshan, Alechina, Natasha, Cohn, Anthony G.

    Published 2020
    Get full text
  12. 12
    Practical run-time norm enforcement with bounded lookahead

    Practical run-time norm enforcement with bounded lookahead by Alechina, Natasha, Bulling, Nils, Dastani, Mehdi, Logan, Brian

    Published 2015
    Get full text
  13. 13
    A method for matching crowd-sourced and authoritative geospatial data

    A method for matching crowd-sourced and authoritative geospatial data by Du, Heshan, Alechina, Natasha, Jackson, Mike, Hart, Glen

    Published 2016
    Get full text
  14. 14
    Fair decomposition of group obligations

    Fair decomposition of group obligations by Alechina, Natasha, Hoek, Wiebe van der, Logan, Brian

    Published 2017
    Get full text
  15. 15
    On the complexity of resource-bounded logics

    On the complexity of resource-bounded logics by Alechina, Natasha, Bulling, Nils, Demri, Stephane, Logan, Brian

    Published 2016
    Get full text
  16. 16
    Symbolic model checking for one-resource RB+-ATL

    Symbolic model checking for one-resource RB+-ATL by Alechina, Natasha, Logan, Brian, Nguyen, Hoang Nga, Raimondi, Franco

    Published 2015
    Get full text
  17. 17
    On the boundary of (un)decidability: decidable model-checking for a fragment of resource agent logic

    On the boundary of (un)decidability: decidable model-checking for a fragment of resource agent logic by Alechina, Natasha, Bulling, Nils, Logan, Brian, Nguyen, Hoang Nga

    Published 2015
    Get full text
  18. 18
    Decidable model-checking for a resource logic with production of resources

    Decidable model-checking for a resource logic with production of resources by Alechina, Natasha, Logan, Brian, Nguyen, Hoang Nga, Raimondi, Franco

    Published 2014
    Get full text
  19. 19
    Verifying heterogeneous multi-agent programs

    Verifying heterogeneous multi-agent programs by Doan, Thu Trang, Yuan, Yao, Alechina, Natasha, Logan, Brian

    Published 2014
    Get full text
  20. 20
    Alternating-time temporal logic with resource bounds

    Alternating-time temporal logic with resource bounds by Nguyen, Hoang Nga, Alechina, Natasha, Logan, Brian, Rakib, Abdur

    Published 2015
    Get full text

Search Tools: