default search action

combined dblp search
author search
venue search
publication search

ask others

Natasha Alechina

> Home > Persons

Person information

affiliation: University of Utrecht, The Netherlands
affiliation (former): University of Nottingham, UK

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[c117]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/VarricchioneADG24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/VarricchioneADG24
Giovanni Varricchione, Natasha Alechina, Mehdi Dastani, Giuseppe De Giacomo, Brian Logan, Giuseppe Perelli:
Pure-Past Action Masking. AAAI 2024: 21646-21655
[c116]
- view
  authority control:
- export record
  dblp key:
  - conf/ecai/VarricchioneAD024
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecai/VarricchioneAD024
Giovanni Varricchione, Natasha Alechina, Mehdi Dastani, Brian Logan:
Maximally Permissive Reward Machines. ECAI 2024: 1181-1188
[c115]
- view
  - electronic edition @ ijcai.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/ijcai/0007A024
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/0007A024
Yuan Yao, Natasha Alechina, Brian Logan:
Intention Progression with Temporally Extended Goals. IJCAI 2024: 292-301
[c114]
- view
  - electronic edition @ ijcai.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/ijcai/MotamedADD24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/MotamedADD24
Nima Motamed, Natasha Alechina, Mehdi Dastani, Dragan Doder:
Revising Beliefs and Intentions in Stochastic Environments. IJCAI 2024: 3513-3522
[e4]
- view
  authority control:
- export record
  dblp key:
  - conf/atal/2024
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/2024
Mehdi Dastani, Jaime Simão Sichman, Natasha Alechina, Virginia Dignum:
Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2024, Auckland, New Zealand, May 6-10, 2024. International Foundation for Autonomous Agents and Multiagent Systems / ACM 2024 [contents]
[i9]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2408-08059
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2408-08059
Giovanni Varricchione, Natasha Alechina, Mehdi Dastani, Brian Logan:
Maximally Permissive Reward Machines. CoRR abs/2408.08059 (2024)
2023
[j40]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jair/DuAFLZC23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jair/DuAFLZC23
Heshan Du, Natasha Alechina, Amin Farjudian, Brian Logan, Can Zhou, Anthony G. Cohn:
A Logic of East and West. J. Artif. Intell. Res. 76: 527-565 (2023)
[j39]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/logcom/AlechinaDFG23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/logcom/AlechinaDFG23
Natasha Alechina, Hans van Ditmarsch, Tim French, Rustam Galimullin:
The Expressivity of Quantified Group Announcements. J. Log. Comput. 33(6): 1122-1151 (2023)
[c113]
- view
  authority control:
- export record
  dblp key:
  - conf/atal/WuYA0T23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/WuYA0T23
Di Wu, Yuan Yao, Natasha Alechina, Brian Logan, John Thangarajah:
Intention Progression with Maintenance Goals. AAMAS 2023: 2400-2402
[c112]
- view
  authority control:
- export record
  dblp key:
  - conf/ecai/GladyshevADD023
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecai/GladyshevADD023
Maksim Gladyshev, Natasha Alechina, Mehdi Dastani, Dragan Doder, Brian Logan:
Dynamic Causality. ECAI 2023: 867-874
[c111]
- view
  authority control:
- export record
  dblp key:
  - conf/emas/GladyshevADD23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/emas/GladyshevADD23
Maksim Gladyshev, Natasha Alechina, Mehdi Dastani, Dragan Doder:
Dynamics of Causal Dependencies in Multi-agent Settings. EMAS 2023: 95-112
[c110]
- view
  authority control:
- export record
  dblp key:
  - conf/eumas/VarricchioneADL23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eumas/VarricchioneADL23
Giovanni Varricchione, Natasha Alechina, Mehdi Dastani, Brian Logan:
Synthesising Reward Machines for Cooperative Multi-Agent Reinforcement Learning. EUMAS 2023: 328-344
[c109]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/ijcai/DannYA0MT23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/DannYA0MT23
Michael Dann, Yuan Yao, Natasha Alechina, Brian Logan, Felipe Meneguzzi, John Thangarajah:
Multi-Agent Intention Recognition and Progression. IJCAI 2023: 91-99
[c108]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/ijcai/MotamedADD023
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/MotamedADD023
Nima Motamed, Natasha Alechina, Mehdi Dastani, Dragan Doder, Brian Logan:
Probabilistic Temporal Logic for Reasoning about Bounded Policies. IJCAI 2023: 3296-3303
[c107]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/ijcai/DellAnnaADD023
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/DellAnnaADD023
Davide Dell'Anna, Natasha Alechina, Fabiano Dalpiaz, Mehdi Dastani, Brian Logan:
Data-Driven Revision of Conditional Norms in Multi-Agent Systems (Extended Abstract). IJCAI 2023: 6868-6872
[c106]
- view
  authority control:
- export record
  dblp key:
  - conf/kr/GladyshevADD23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kr/GladyshevADD23
Maksim Gladyshev, Natasha Alechina, Mehdi Dastani, Dragan Doder:
Group Responsibility for Exceeding Risk Threshold. KR 2023: 322-332
[e3]
- view
  authority control:
- export record
  dblp key:
  - conf/lori/2023
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lori/2023
Natasha Alechina, Andreas Herzig, Fei Liang:
Logic, Rationality, and Interaction - 9th International Workshop, LORI 2023, Jinan, China, October 26-29, 2023, Proceedings. Lecture Notes in Computer Science 14329, Springer 2023, ISBN 978-3-031-45557-5 [contents]
2022
[j38]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jair/DellAnnaADDL22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jair/DellAnnaADDL22
Davide Dell'Anna, Natasha Alechina, Fabiano Dalpiaz, Mehdi Dastani, Brian Logan:
Data-Driven Revision of Conditional Norms in Multi-Agent Systems. J. Artif. Intell. Res. 75: 1549-1593 (2022)
[j37]
- view
  authority control:
- export record
  dblp key:
  - journals/jolli/AgotnesAG22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jolli/AgotnesAG22
Thomas Ågotnes, Natasha Alechina, Rustam Galimullin:
Logics with Group Announcements and Distributed Knowledge: Completeness and Expressive Power. J. Log. Lang. Inf. 31(2): 141-166 (2022)
[c105]
- view
  authority control:
- export record
  dblp key:
  - conf/coin-ws/DellAnnaADDLL22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coin-ws/DellAnnaADDLL22
Davide Dell'Anna, Natasha Alechina, Fabiano Dalpiaz, Mehdi Dastani, Maarten Löffler, Brian Logan:
The Complexity of Norm Synthesis and Revision. COINE 2022: 38-53
[c104]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/ijcai/Dann0A0T22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/Dann0A0T22
Michael Dann, Yuan Yao, Natasha Alechina, Brian Logan, John Thangarajah:
Multi-Agent Intention Progression with Reward Machines. IJCAI 2022: 215-222
[c103]
- view
  - electronic edition @ kr.org
  - details & citations
- export record
  dblp key:
  - conf/kr/AlechinaG0P22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kr/AlechinaG0P22
Natasha Alechina, Giuseppe De Giacomo, Brian Logan, Giuseppe Perelli:
Automatic Synthesis of Dynamic Norms for Multi-Agent Systems. KR 2022
[e2]
- view
  authority control:
- export record
  dblp key:
  - conf/emas/2021
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/emas/2021
Natasha Alechina, Matteo Baldoni, Brian Logan:
Engineering Multi-Agent Systems - 9th International Workshop, EMAS 2021, Virtual Event, May 3-4, 2021, Revised Selected Papers. Lecture Notes in Computer Science 13190, Springer 2022, ISBN 978-3-030-97456-5 [contents]
2021
[j36]
- view
  authority control:
- export record
  dblp key:
  - journals/jolli/AlechinaDGW21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jolli/AlechinaDGW21
Natasha Alechina, Hans van Ditmarsch, Rustam Galimullin, Tuo Wang:
Verification and Strategy Synthesis for Coalition Announcement Logic. J. Log. Lang. Inf. 30(4): 671-700 (2021)
[c102]
- view
  authority control:
- export record
  dblp key:
  - conf/atal/0007ALT21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/0007ALT21
Yuan Yao, Natasha Alechina, Brian Logan, John Thangarajah:
Intention Progression using Quantitative Summary Information. AAMAS 2021: 1416-1424
[i8]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2112-02626
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2112-02626
Davide Dell'Anna, Natasha Alechina, Brian Logan, Maarten Löffler, Fabiano Dalpiaz, Mehdi Dastani:
The Complexity of Data-Driven Norm Synthesis and Revision. CoRR abs/2112.02626 (2021)
2020
[j35]
- view
  authority control:
- export record
  dblp key:
  - journals/jolli/AlechinaG20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jolli/AlechinaG20
Natasha Alechina, Valentin Goranko:
Editorial Foreword. J. Log. Lang. Inf. 29(1): 1-2 (2020)
[c101]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/AlechinaDL20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/AlechinaDL20
Natasha Alechina, Stéphane Demri, Brian Logan:
Parameterised Resource-Bounded ATL. AAAI 2020: 7040-7046
[c100]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/AlechinaL20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/AlechinaL20
Natasha Alechina, Brian Logan:
State of the Art in Logics for Verification of Resource-Bounded Multi-Agent Systems. Fields of Logic and Computation III 2020: 9-29
[c99]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/ijcai/0007ALT20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/0007ALT20
Yuan Yao, Natasha Alechina, Brian Logan, John Thangarajah:
Intention Progression under Uncertainty. IJCAI 2020: 10-16
[c98]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/ijcai/DuAC20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/DuAC20
Heshan Du, Natasha Alechina, Anthony G. Cohn:
A Logic of Directions. IJCAI 2020: 1695-1702
[i7]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2005-10297
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2005-10297
Natasha Alechina, Joseph Y. Halpern, Brian Logan:
Causality, Responsibility and Blame in Team Plans. CoRR abs/2005.10297 (2020)

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[j34]
- view
  authority control:
- export record
  dblp key:
  - journals/logcom/AgotnesA19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/logcom/AgotnesA19
Thomas Ågotnes, Natasha Alechina:
Coalition logic with individual, distributed and common knowledge1. J. Log. Comput. 29(7): 1041-1069 (2019)
[c97]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/AlechinaBGFLV19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/AlechinaBGFLV19
Natasha Alechina, Tomás Brázdil, Giuseppe De Giacomo, Paolo Felli, Brian Logan, Moshe Y. Vardi:
Unbounded Orchestrations of Transducers for Manufacturing. AAAI 2019: 2646-2653
[c96]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/DuA19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/DuA19
Heshan Du, Natasha Alechina:
Qualitative Spatial Logic over 2D Euclidean Spaces Is Not Finitely Axiomatisable. AAAI 2019: 2776-2783
[c95]
- view
  - electronic edition @ acm.org
  - details & citations
- export record
  dblp key:
  - conf/atal/AlechinaDL19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/AlechinaDL19
Natasha Alechina, Mehdi Dastani, Brian Logan:
Decidable Model Checking with Uniform Strategies. AAMAS 2019: 170-178
[c94]
- view
  - electronic edition @ acm.org
  - details & citations
- export record
  dblp key:
  - conf/atal/YazdanpanahDJAL19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/YazdanpanahDJAL19
Vahid Yazdanpanah, Mehdi Dastani, Wojciech Jamroga, Natasha Alechina, Brian Logan:
Strategic Responsibility Under Imperfect Information. AAMAS 2019: 592-600
[c93]
- view
  - electronic edition @ acm.org
  - details & citations
- export record
  dblp key:
  - conf/atal/0002GDA19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/0002GDA19
Tim French, Rustam Galimullin, Hans van Ditmarsch, Natasha Alechina:
Groups Versus Coalitions: On the Relative Expressivity of GAL and CAL. AAMAS 2019: 953-961
[c92]
- view
  authority control:
- export record
  dblp key:
  - conf/lori/GalimullinAA19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lori/GalimullinAA19
Rustam Galimullin, Thomas Ågotnes, Natasha Alechina:
Group Announcement Logic with Distributed Knowledge. LORI 2019: 98-111
[c91]
- view
  authority control:
- export record
  dblp key:
  - conf/lori/PerrotinGCA19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lori/PerrotinGCA19
Elise Perrotin, Rustam Galimullin, Quentin Canu, Natasha Alechina:
Public Group Announcements and Trust in Doxastic Logic. LORI 2019: 199-213
2018
[j33]
- view
  - electronic edition @ collegepublications.co.uk (open access)
  - details & citations
- export record
  dblp key:
  - journals/flap/AlechinaLD18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/flap/AlechinaLD18
Natasha Alechina, Brian Logan, Mehdi Dastani:
Modeling Norm Specification and Verification in Multiagent Systems. FLAP 5(2): 457-490 (2018)
[j32]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jair/AlechinaHKL18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jair/AlechinaHKL18
Natasha Alechina, Joseph Y. Halpern, Ian A. Kash, Brian Logan:
Incentive-Compatible Mechanisms for Norm Monitoring in Open Multi-Agent Systems. J. Artif. Intell. Res. 62: 433-458 (2018)
[j31]
- view
  authority control:
- export record
  dblp key:
  - journals/logcom/NguyenALR18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/logcom/NguyenALR18
Hoang Nga Nguyen, Natasha Alechina, Brian Logan, Abdur Rakib:
Alternating-time temporal logic with resource bounds. J. Log. Comput. 28(4): 631-663 (2018)
[j30]
- view
  authority control:
- export record
  dblp key:
  - journals/logcom/StewartPA18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/logcom/StewartPA18
Charles A. Stewart, Valeria de Paiva, Natasha Alechina:
Intuitionistic Modal Logic: A 15-year retrospective. J. Log. Comput. 28(5): 873-882 (2018)
[j29]
- view
  authority control:
- export record
  dblp key:
  - journals/logcom/AlechinaLL18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/logcom/AlechinaLL18
Natasha Alechina, Fenrong Liu, Brian Logan:
Efficient minimal preference change. J. Log. Comput. 28(8): 1715-1733 (2018)
[j28]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/AlechinaBDL18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/AlechinaBDL18
Natasha Alechina, Nils Bulling, Stéphane Demri, Brian Logan:
On the complexity of resource-bounded logics. Theor. Comput. Sci. 750: 69-100 (2018)
[c90]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/GiacomoVFAL18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/GiacomoVFAL18
Giuseppe De Giacomo, Moshe Y. Vardi, Paolo Felli, Natasha Alechina, Brian Logan:
Synthesis of Orchestrations of Transducers for Manufacturing. AAAI 2018: 6161-6168
[c89]
- view
  - electronic edition @ acm.org
  - details & citations
- export record
  dblp key:
  - conf/atal/AlechinaL18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/AlechinaL18
Natasha Alechina, Brian Logan:
Resource Logics with a Diminishing Resource. AAMAS 2018: 1847-1849
[c88]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/ijcai/AlechinaHKL18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/AlechinaHKL18
Natasha Alechina, Joseph Y. Halpern, Ian A. Kash, Brian Logan:
Incentive-Compatible Mechanisms for Norm Monitoring in Open Multi-Agent Systems (Extended Abstract). IJCAI 2018: 5543-5547
[c87]
- view
  authority control:
- export record
  dblp key:
  - conf/ki/GalimullinAD18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ki/GalimullinAD18
Rustam Galimullin, Natasha Alechina, Hans van Ditmarsch:
Model Checking for Coalition Announcement Logic. KI 2018: 11-23
[e1]
- view
- export record
  dblp key:
  - conf/time/2018
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/time/2018
Natasha Alechina, Kjetil Nørvåg, Wojciech Penczek:
25th International Symposium on Temporal Representation and Reasoning, TIME 2018, Warsaw, Poland, October 15-17, 2018. LIPIcs 120, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2018, ISBN 978-3-95977-089-7 [contents]
[i6]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1806-11559
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1806-11559
Natasha Alechina, Brian Logan:
Resource Logics with a Diminishing Resource. CoRR abs/1806.11559 (2018)
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1810-02769
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1810-02769
Rustam Galimullin, Natasha Alechina:
Coalition and Group Announcement Logic. CoRR abs/1810.02769 (2018)
2017
[j27]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/ai/AlechinaBLN17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/AlechinaBLN17
Natasha Alechina, Nils Bulling, Brian Logan, Hoang Nga Nguyen:
The virtues of idleness: A decidable fragment of resource agent logic. Artif. Intell. 245: 56-85 (2017)
[j26]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jcss/AlechinaLNR17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jcss/AlechinaLNR17
Natasha Alechina, Brian Logan, Hoang Nga Nguyen, Franco Raimondi:
Model-checking for Resource-Bounded ATL with production and consumption of resources. J. Comput. Syst. Sci. 88: 126-144 (2017)
[j25]
- view
  authority control:
- export record
  dblp key:
  - journals/logcom/AlechinaHL17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/logcom/AlechinaHL17
Natasha Alechina, Wiebe van der Hoek, Brian Logan:
Fair decomposition of group obligations. J. Log. Comput. 27(7): 2043-2062 (2017)
[j24]
- view
  authority control:
- export record
  dblp key:
  - journals/tgis/DuAJH17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tgis/DuAJH17
Heshan Du, Natasha Alechina, Michael Jackson, Glen Hart:
A Method for Matching Crowd-sourced and Authoritative Geospatial Data. Trans. GIS 21(2): 406-427 (2017)
[c86]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/AlechinaHKL17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/AlechinaHKL17
Natasha Alechina, Joseph Y. Halpern, Ian A. Kash, Brian Logan:
Incentivising Monitoring in Open Normative Systems. AAAI 2017: 305-311
[c85]
- view
  - electronic edition @ acm.org
  - details & citations
- export record
  dblp key:
  - conf/atal/AlechinaHL17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/AlechinaHL17
Natasha Alechina, Joseph Y. Halpern, Brian Logan:
Causality, Responsibility and Blame in Team Plans. AAMAS 2017: 1091-1099
[c84]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/GalimullinA17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/GalimullinA17
Rustam Galimullin, Natasha Alechina:
Coalition and Group Announcement Logic. TARK 2017: 207-220
2016
[j23]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jair/DuA16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jair/DuA16
Heshan Du, Natasha Alechina:
Qualitative Spatial Logics for Buffered Geometries. J. Artif. Intell. Res. 56: 693-745 (2016)
[c83]
- view
  - electronic edition @ acm.org
  - details & citations
- export record
  dblp key:
  - conf/atal/AlechinaHKL16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/AlechinaHKL16
Natasha Alechina, Joseph Y. Halpern, Ian A. Kash, Brian Logan:
Decentralised Norm Monitoring in Open Multi-Agent Systems: (Extended Abstract). AAMAS 2016: 1399-1400
[c82]
- view
  authority control:
- export record
  dblp key:
  - conf/bdas/LawanRAK16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/bdas/LawanRAK16
Abba Lawan, Abdur Rakib, Natasha Alechina, Asha Karunaratne:
The Onto-CropBase - A Semantic Web Application for Querying Crops Linked-Data. BDAS 2016: 384-399
[c81]
- view
  authority control:
- export record
  dblp key:
  - conf/cie/AlechinaL16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cie/AlechinaL16
Natasha Alechina, Brian Logan:
Verifying Systems of Resource-Bounded Agents. CiE 2016: 3-12
[c80]
- view
  - electronic edition @ ijcai.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/ijcai/AlechinaDL16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/AlechinaDL16
Natasha Alechina, Mehdi Dastani, Brian Logan:
Verifying Existence of Resource-Bounded Coalition Uniform Strategies. IJCAI 2016: 24-30
[c79]
- view
  authority control:
- export record
  dblp key:
  - conf/rp/AlechinaBDL16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rp/AlechinaBDL16
Natasha Alechina, Nils Bulling, Stéphane Demri, Brian Logan:
On the Complexity of Resource-Bounded Logics. RP 2016: 36-50
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/AlechinaHKL16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/AlechinaHKL16
Natasha Alechina, Joseph Y. Halpern, Ian A. Kash, Brian Logan:
Decentralised Norm Monitoring in Open Multi-Agent Systems. CoRR abs/1602.06731 (2016)
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/AlechinaDL16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/AlechinaDL16
Natasha Alechina, Mehdi Dastani, Brian Logan:
Expressibility of norms in temporal logic. CoRR abs/1608.06787 (2016)
2015
[c78]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/DuNALJG15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/DuNALJG15
Heshan Du, Hai H. Nguyen, Natasha Alechina, Brian Logan, Michael Jackson, John Goodwin:
Using Qualitative Spatial Logic for Validating Crowd-Sourced Geospatial Data. AAAI 2015: 3948-3953
[c77]
- view
  - electronic edition @ acm.org
  - details & citations
- export record
  dblp key:
  - conf/atal/AlechinaBDL15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/AlechinaBDL15
Natasha Alechina, Nils Bulling, Mehdi Dastani, Brian Logan:
Practical Run-Time Norm Enforcement with Bounded Lookahead. AAMAS 2015: 443-451
[c76]
- view
  - electronic edition @ acm.org
  - details & citations
- export record
  dblp key:
  - conf/atal/AlechinaLNRM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/AlechinaLNRM15
Natasha Alechina, Brian Logan, Hoang Nga Nguyen, Franco Raimondi, Leonardo Mostarda:
Symbolic Model-checking for Resource-Bounded ATL. AAMAS 2015: 1809-1810
[c75]
- view
  authority control:
- export record
  dblp key:
  - conf/icmcis/DuAHJ15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icmcis/DuAHJ15
Heshan Du, Natasha Alechina, Glen Hart, Michael Jackson:
A tool for matching crowd-sourced and authoritative geospatial data. ICMCIS 2015: 1-8
[c74]
- view
  - electronic edition @ ijcai.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/ijcai/AlechinaLNR15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/AlechinaLNR15
Natasha Alechina, Brian Logan, Hoang Nga Nguyen, Franco Raimondi:
Symbolic Model Checking for One-Resource RB+-ATL. IJCAI 2015: 1069-1075
[c73]
- view
  - electronic edition @ ijcai.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/ijcai/AlechinaBLN15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/AlechinaBLN15
Natasha Alechina, Nils Bulling, Brian Logan, Hoang Nga Nguyen:
On the Boundary of (Un)decidability: Decidable Model-Checking for a Fragment of Resource Agent Logic. IJCAI 2015: 1494-1501
[c72]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/interact/ZhangQAA15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/interact/ZhangQAA15
Min Zhang, Guoping Qiu, Natasha Alechina, Sarah Atkinson:
A Comparison of Five HSV Color Selection Interfaces for Mobile Painting Search. INTERACT (2) 2015: 265-273
[c71]
- view
  authority control:
- export record
  dblp key:
  - conf/momm/ZhangQAA15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/momm/ZhangQAA15
Min Zhang, Guoping Qiu, Natasha Alechina, Sarah Atkinson:
A Preliminary Examination of the User Behavior in Query-by-Drawing Portrait Painting Search on Mobile Devices. MoMM 2015: 117-121
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/AlechinaLNR15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/AlechinaLNR15
Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Franco Raimondi:
Technical Report: Model-Checking for Resource-Bounded ATL with Production and Consumption of Resources. CoRR abs/1504.06766 (2015)
2014
[j22]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jolli/AgotnesA14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jolli/AgotnesA14
Thomas Ågotnes, Natasha Alechina:
Formal Models of Awareness. J. Log. Lang. Inf. 23(2): 105-106 (2014)
[j21]
- view
  authority control:
- export record
  dblp key:
  - journals/jolli/AgotnesA14a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jolli/AgotnesA14a
Thomas Ågotnes, Natasha Alechina:
A Logic for Reasoning About Knowledge of Unawareness. J. Log. Lang. Inf. 23(2): 197-217 (2014)
[c70]
- view
  - electronic edition @ acm.org
  - details & citations
- export record
  dblp key:
  - conf/atal/AlechinaDL14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/AlechinaDL14
Natasha Alechina, Mehdi Dastani, Brian Logan:
Norm approximation for imperfect monitors. AAMAS 2014: 117-124
[c69]
- view
  - electronic edition @ acm.org
  - details & citations
- export record
  dblp key:
  - conf/atal/DoanYAL14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/DoanYAL14
Thu Trang Doan, Yuan Yao, Natasha Alechina, Brian Logan:
Verifying heterogeneous multi-agent programs. AAMAS 2014: 149-156
[c68]
- view
  - electronic edition @ acm.org
  - details & citations
- export record
  dblp key:
  - conf/atal/LeePLDA14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/LeePLDA14
Jeehang Lee, Julian A. Padget, Brian Logan, Daniela Dybalova, Natasha Alechina:
Run-time norm compliance in BDI agents. AAMAS 2014: 1581-1582
[c67]
- view
  authority control:
- export record
  dblp key:
  - conf/clima/AlechinaHL14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/clima/AlechinaHL14
Natasha Alechina, Wiebe van der Hoek, Brian Logan:
Fair Allocation of Group Tasks According to Social Norms. CLIMA 2014: 19-34
[c66]
- view
  authority control:
- export record
  dblp key:
  - conf/dalt/LeePLDA14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dalt/LeePLDA14
Jeehang Lee, Julian A. Padget, Brian Logan, Daniela Dybalova, Natasha Alechina:
N-Jason: Run-Time Norm Compliance in AgentSpeak(L). EMAS@AAMAS 2014: 367-387
[c65]
- view
  authority control:
- export record
  dblp key:
  - conf/ecai/AlechinaLNR14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecai/AlechinaLNR14
Natasha Alechina, Brian Logan, Hoang Nga Nguyen, Franco Raimondi:
Decidable Model-Checking for a Resource Logic with Production of Resources. ECAI 2014: 9-14
[c64]
- view
  authority control:
- export record
  dblp key:
  - conf/ecai/DuA14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecai/DuA14
Heshan Du, Natasha Alechina:
A Logic of Part and Whole for Buffered Geometries. ECAI 2014: 997-998
[c63]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/jist/LawanRAK14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jist/LawanRAK14
Abba Lawan, Abdur Rakib, Natasha Alechina, Asha Karunaratne:
Advancing Underutilized Crops Knowledge Using SWRL-enabled Ontologies - A survey and early experiment. JIST (Workshops & Posters) 2014: 69-84
[c62]
- view
  authority control:
- export record
  dblp key:
  - conf/momm/ZhangAQA14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/momm/ZhangAQA14
Min Zhang, Sarah Atkinson, Guoping Qiu, Natasha Alechina:
Can People Finger-draw Color-sketches from Memory for Painting Search on Mobile Phone? MoMM 2014: 115-118
[c61]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/stairs/DuA14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/stairs/DuA14
Heshan Du, Natasha Alechina:
A Logic of Part and Whole for Buffered Geometries. STAIRS 2014: 91-100
2013
[c60]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/AlechinaBDHHLNZ13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/AlechinaBDHHLNZ13
Natasha Alechina, Tristan M. Behrens, Mehdi Dastani, Koen V. Hindriks, Jomi Fred Hübner, Brian Logan, Hai H. Nguyen, Marc van Zee:
Multi-Cycle Query Caching in Agent Programming. AAAI 2013: 32-38
[c59]
- view
  authority control:
- export record
  dblp key:
  - conf/agile/DuA0H13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/agile/DuA0H13
Heshan Du, Natasha Alechina, Mike Jackson, Glen Hart:
Matching Formal and Informal Geospatial Ontologies. AGILE Conf. 2013: 155-171
[c58]
- view
  authority control:
- export record
  dblp key:
  - conf/cosit/DuASJ13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cosit/DuASJ13
Heshan Du, Natasha Alechina, Kristin Stock, Michael Jackson:
The Logic of NEAR and FAR. COSIT 2013: 475-494
[c57]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/iciap/ZhangAAQ13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iciap/ZhangAAQ13
Min Zhang, Sarah Atkinson, Natasha Alechina, Guoping Qiu:
'A Is for Art' - My Drawings, Your Paintings. ICIAP Workshops 2013: 308-317
[c56]
- view
- export record
  dblp key:
  - conf/ijcai/AlechinaDL13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/AlechinaDL13
Natasha Alechina, Mehdi Dastani, Brian Logan:
Reasoning about Normative Update. IJCAI 2013: 20-26
[c55]
- view
  authority control:
- export record
  dblp key:
  - conf/ispec/LiuAL13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ispec/LiuAL13
Xiaofan Liu, Natasha Alechina, Brian Logan:
Expressing User Access Authorization Exceptions in Conventional Role-Based Access Control. ISPEC 2013: 233-247
[c54]
- view
  authority control:
- export record
  dblp key:
  - conf/lori/AlechinaLL13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lori/AlechinaLL13
Natasha Alechina, Fenrong Liu, Brian Logan:
Minimal Preference Change. LORI 2013: 15-26
[c53]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/semweb/DuAJH13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/semweb/DuAJH13
Heshan Du, Natasha Alechina, Michael Jackson, Glen Hart:
Matching geospatial instances. OM 2013: 239-240
[c52]
- view
  authority control:
- export record
  dblp key:
  - conf/wollic/Alechina13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wollic/Alechina13
Natasha Alechina:
Logic and Agent Programming Languages. WoLLIC 2013: 1-10
[p1]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/dagstuhl/AlechinaBDVLMMS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/AlechinaBDVLMMS13
Natasha Alechina, Nick Bassiliades, Mehdi Dastani, Marina De Vos, Brian Logan, Sergio Mera, Andreasa Morris-Martin, Fernando Schapachnik:
Computational Models for Normative Multi-Agent Systems. Normative Multi-Agent Systems 2013: 71-92
2012
[j20]
- view
  authority control:
- export record
  dblp key:
  - journals/jancl/AlechinaBS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jancl/AlechinaBS12
Natasha Alechina, Philippe Balbiani, Dmitry Shkatov:
Modal logics for reasoning about infinite unions and intersections of binary relations. J. Appl. Non Class. Logics 22(4): 275-294 (2012)
[j19]
- view
  authority control:
- export record
  dblp key:
  - journals/tgis/DuAAMHL0W12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tgis/DuAAMHL0W12
Heshan Du, Suchith Anand, Natasha Alechina, Jeremy G. Morley, Glen Hart, Didier G. Leibovici, Mike Jackson, J. Mark Ware:
Geospatial Information Integration for Authoritative and Crowd Sourced Road Vector Data. Trans. GIS 16(4): 455-476 (2012)
[c51]
- view
  - electronic edition @ acm.org
  - details & citations
- export record
  dblp key:
  - conf/aamas/AlechinaDL12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aamas/AlechinaDL12
Natasha Alechina, Mehdi Dastani, Brian Logan:
Programming norm-aware agents. AAMAS 2012: 1057-1064
[c50]
- view
  - electronic edition @ acm.org
  - details & citations
- export record
  dblp key:
  - conf/aamas/AgotnesA12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aamas/AgotnesA12
Thomas Ågotnes, Natasha Alechina:
Epistemic coalition logic: completeness and complexity. AAMAS 2012: 1099-1106
[c49]
- view
  - electronic edition @ acm.org
  - details & citations
- export record
  dblp key:
  - conf/aamas/ZappalaAL12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aamas/ZappalaAL12
Julian Zappala, Natasha Alechina, Brian Logan:
Consensus games. AAMAS 2012: 1309-1310
[c48]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/dlog/NguyenAL12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/NguyenAL12
Hai H. Nguyen, Natasha Alechina, Brian Logan:
Axiom Pinpointing Using an Assumption-Based Truth Maintenance System. Description Logics 2012
[c47]
- view
  authority control:
- export record
  dblp key:
  - conf/promas/AlechinaBHL12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/promas/AlechinaBHL12
Natasha Alechina, Tristan M. Behrens, Koen V. Hindriks, Brian Logan:
Query Caching in Agent Programming Languages. ProMAS 2012: 123-137
[c46]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/semweb/DuAJH12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/semweb/DuAJH12
Heshan Du, Natasha Alechina, Michael Jackson, Glen Hart:
Matching geospatial ontologies. OM 2012
[c45]
- view
  authority control:
- export record
  dblp key:
  - conf/time/Alechina12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/time/Alechina12
Natasha Alechina:
Reasoning about Plan Revision in Agent Programs. TIME 2012: 5
2011
[j18]
- view
  authority control:
- export record
  dblp key:
  - journals/aamas/AlechinaDLM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aamas/AlechinaDLM11
Natasha Alechina, Mehdi Dastani, Brian Logan, John-Jules Ch. Meyer:
Reasoning about agent deliberation. Auton. Agents Multi Agent Syst. 22(2): 356-381 (2011)
[j17]
- view
  authority control:
- export record
  dblp key:
  - journals/logcom/AlechinaLNR11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/logcom/AlechinaLNR11
Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib:
Logic for coalitions with bounded resources. J. Log. Comput. 21(6): 907-937 (2011)
[j16]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/AlechinaDLM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/AlechinaDLM11
Natasha Alechina, Mehdi Dastani, Brian Logan, John-Jules Ch. Meyer:
Reasoning about plan revision in BDI agent programs. Theor. Comput. Sci. 412(44): 6115-6134 (2011)
[c44]
- view
  - electronic edition @ acm.org
  - details & citations
- export record
  dblp key:
  - conf/atal/VikhorevAL11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/VikhorevAL11
Konstantin Vikhorev, Natasha Alechina, Brian Logan:
Agent programming with priorities and deadlines. AAMAS 2011: 397-404
[c43]
- view
  authority control:
- export record
  dblp key:
  - conf/clima/AgotnesA11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/clima/AgotnesA11
Thomas Ågotnes, Natasha Alechina:
Reasoning about Joint Action and Coalitional Ability in K n with Intersection. CLIMA 2011: 139-156
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1107-0278
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1107-0278
Thomas Ågotnes, Natasha Alechina:
Completeness of Epistemic Coalition Logic with Group Knowledge. CoRR abs/1107.0278 (2011)
2010
[j15]
- view
  authority control:
- export record
  dblp key:
  - journals/synthese/AlechinaL10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/synthese/AlechinaL10
Natasha Alechina, Brian Logan:
Belief ascription under bounded resources. Synth. 173(2): 179-197 (2010)
[c42]
- view
  - electronic edition @ acm.org
  - details & citations
- export record
  dblp key:
  - conf/atal/AlechinaLNR10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/AlechinaLNR10
Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib:
Resource-bounded alternating-time temporal logic. AAMAS 2010: 481-488
[c41]
- view
  authority control:
- export record
  dblp key:
  - conf/kes/LiuAL10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kes/LiuAL10
Xiaofan Liu, Natasha Alechina, Brian Logan:
Syntax and Semantics for Business Rules. KES (4) 2010: 41-50
[c40]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/mallow/AlechinaL10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mallow/AlechinaL10
Natasha Alechina, Brian Logan:
Computationally Grounded Account of Belief and Awareness for AI Agents. MALLOW 2010
[c39]
- view
  authority control:
- export record
  dblp key:
  - conf/mochart/AlechinaLNR10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mochart/AlechinaLNR10
Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib:
Automated Verification of Resource Requirements in Multi-Agent Systems Using Abstraction. MoChArt 2010: 69-84

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[j14]
- view
  authority control:
- export record
  dblp key:
  - journals/jolli/AgotnesA09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jolli/AgotnesA09
Thomas Ågotnes, Natasha Alechina:
Editorial. J. Log. Lang. Inf. 18(1): 1-2 (2009)
[j13]
- view
  authority control:
- export record
  dblp key:
  - journals/jolli/AlechinaL09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jolli/AlechinaL09
Natasha Alechina, Brian Logan:
A Logic of Situated Resource-Bounded Agents. J. Log. Lang. Inf. 18(1): 79-95 (2009)
[j12]
- view
  authority control:
- export record
  dblp key:
  - journals/synthese/AlechinaLNR09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/synthese/AlechinaLNR09
Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib:
Verifying time, memory and communication bounds in systems of reasoning agents. Synth. 169(2): 385-403 (2009)
[c38]
- view
  authority control:
- export record
  dblp key:
  - conf/dalt/TrangLA09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dalt/TrangLA09
Doan Thu Trang, Brian Logan, Natasha Alechina:
Verifying Dribble Agents. DALT 2009: 244-261
[c37]
- view
  - electronic edition @ ijcai.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/ijcai/AlechinaLNR09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/AlechinaLNR09
Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib:
A Logic for Coalitions with Bounded Resources. IJCAI 2009: 659-664
[c36]
- view
  authority control:
- export record
  dblp key:
  - conf/lads/VikhorevAL09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lads/VikhorevAL09
Konstantin Vikhorev, Natasha Alechina, Brian Logan:
The ARTS Real-Time Agent Architecture. LADS 2009: 1-15
[c35]
- view
  authority control:
- export record
  dblp key:
  - conf/lori/AlechinaLNR09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lori/AlechinaLNR09
Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib:
Expressing Properties of Coalitional Ability under Resource Bounds. LORI 2009: 1-14
[c34]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/mallow/VikhorevAL09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mallow/VikhorevAL09
Konstantin Vikhorev, Natasha Alechina, Brian Logan:
The ARTS Real-Time Agent Architecture. MALLOW 2009
2008
[j11]
- view
  authority control:
- export record
  dblp key:
  - journals/synthese/AlechinaJL08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/synthese/AlechinaJL08
Natasha Alechina, Mark Jago, Brian Logan:
Preference-based belief revision for rule-based agents. Synth. 165(2): 159-177 (2008)
[c33]
- view
  - electronic edition @ acm.org
  - details & citations
- export record
  dblp key:
  - conf/atal/AlechinaLNR08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/AlechinaLNR08
Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib:
Verifying time, memory and communication bounds in systems of reasoning agents. AAMAS (2) 2008: 736-743
[c32]
- view
  - electronic edition @ acm.org
  - details & citations
- export record
  dblp key:
  - conf/atal/AlechinaLDM08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/AlechinaLDM08
Natasha Alechina, Brian Logan, Mehdi Dastani, John-Jules Ch. Meyer:
Reasoning about agent execution strategies. AAMAS (3) 2008: 1455-1458
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/clima/AlboreABGL08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/clima/AlboreABGL08
Alexandre Albore, Natasha Alechina, Piergiorgio Bertoli, Chiara Ghidini, Brian Logan:
Bounded-Resource Reasoning as (Strong or Classical) Planning. CLIMA 2008: 77-96
[c30]
- view
  - electronic edition @ aaai.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/kr/AlechinaDLM08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kr/AlechinaDLM08
Natasha Alechina, Mehdi Dastani, Brian Logan, John-Jules Ch. Meyer:
Reasoning about Agent Deliberation. KR 2008: 16-26
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/kramas/AlechinaLNR08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kramas/AlechinaLNR08
Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib:
Reasoning about Other Agents' Beliefs under Bounded Resources. KRAMAS 2008: 1-15
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/mochart/AlechinaLNR08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mochart/AlechinaLNR08
Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib:
Verifying Time and Communication Costs of Rule-Based Reasoners. MoChArt 2008: 1-14
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/ruleml/AlechinaLNR08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ruleml/AlechinaLNR08
Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib:
Verifying Resource Requirements for Distributed Rule-Based Systems. RuleML 2008: 31-38
2007
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/logcom/AgotnesA07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/logcom/AgotnesA07
Thomas Ågotnes, Natasha Alechina:
The Dynamics of Syntactic Knowledge. J. Log. Comput. 17(1): 83-116 (2007)
[c26]
- view
  - electronic edition @ aaai.org (archived)
  - details & citations
- export record
  dblp key:
  - conf/aaai/AlechinaDLM07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/AlechinaDLM07
Natasha Alechina, Mehdi Dastani, Brian Logan, John-Jules Ch. Meyer:
A Logic of Agent Programs. AAAI 2007: 795-800
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/tark/AgotnesA07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tark/AgotnesA07
Thomas Ågotnes, Natasha Alechina:
Full and relative awareness: a decidable logic for reasoning about knowledge of unawareness. TARK 2007: 6-14
2006
[j9]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/japll/AlechinaS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/japll/AlechinaS06
Natasha Alechina, Dmitry Shkatov:
A general method for proving decidability of intuitionistic modal logics. J. Appl. Log. 4(3): 219-230 (2006)
[c24]
- view
  - electronic edition @ aaai.org (archived)
  - details & citations
- export record
  dblp key:
  - conf/aaai/AlboreABGLS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/AlboreABGLS06
Alexandre Albore, Natasha Alechina, Piergiorgio Bertoli, Chiara Ghidini, Brian Logan, Luciano Serafini:
Model-Checking Memory Requirements of Resource-Bounded Reasoners. AAAI 2006: 213-218
[c23]
- view
  - electronic edition @ aiml.net (open access)
  - details & citations
- export record
  dblp key:
  - conf/aiml/AlechinaS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiml/AlechinaS06
Natasha Alechina, Dmitry Shkatov:
Logics with an existential modality. Advances in Modal Logic 2006: 31-48
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/atal/AlechinaJBLGS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/AlechinaJBLGS06
Natasha Alechina, Mark Jago, Piergiorgio Bertoli, Brian Logan, Chiara Ghidini, Luciano Serafini:
Verifying space and time requirements for resource-bounded agents. AAMAS 2006: 217-219
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/atal/AlechinaBHJL06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/AlechinaBHJL06
Natasha Alechina, Rafael H. Bordini, Jomi Fred Hübner, Mark Jago, Brian Logan:
Belief revision for AgentSpeak agents. AAMAS 2006: 1288-1290
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/dalt/AlechinaBHJL06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dalt/AlechinaBHJL06
Natasha Alechina, Rafael H. Bordini, Jomi Fred Hübner, Mark Jago, Brian Logan:
Automating Belief Revision for AgentSpeak. DALT 2006: 61-77
[c19]
- view
  - electronic edition @ iospress.nl
  - details & citations
- export record
  dblp key:
  - conf/ecai/AgotnesA06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecai/AgotnesA06
Thomas Ågotnes, Natasha Alechina:
Knowing Minimum/Maximum n Formulae. ECAI 2006: 317-321
[c18]
- view
  - electronic edition @ iospress.nl
  - details & citations
- export record
  dblp key:
  - conf/ecai/AlechinaJL06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecai/AlechinaJL06
Natasha Alechina, Mark Jago, Brian Logan:
Modal Logics for Communicating Rule-Based Agents. ECAI 2006: 322-326
[c17]
- view
  - electronic edition @ aaai.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/kr/AgotnesA06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kr/AgotnesA06
Thomas Ågotnes, Natasha Alechina:
Semantics for Dynamic Syntactic Epistemic Logics. KR 2006: 411-419
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/mochart/AlechinaBGJLS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mochart/AlechinaBGJLS06
Natasha Alechina, Piergiorgio Bertoli, Chiara Ghidini, Mark Jago, Brian Logan, Luciano Serafini:
Verifying Space and Time Requirements for Resource-Bounded Agents. MoChArt 2006: 19-34
2005
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/jolli/Alechina05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jolli/Alechina05
Natasha Alechina:
Editorial. J. Log. Lang. Inf. 14(3): 261-262 (2005)
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/dalt/AlechinaJL05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dalt/AlechinaJL05
Natasha Alechina, Mark Jago, Brian Logan:
Resource-Bounded Belief Revision and Contraction. DALT 2005: 141-154
[c14]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/eumas/AlechinaL05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eumas/AlechinaL05
Natasha Alechina, Brian Logan:
Verifying Bounds on Deliberation Time in Multi-Agent Systems. EUMAS 2005: 25-34
2004
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/atal/AlechinaLW04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/AlechinaLW04
Natasha Alechina, Brian Logan, Mark Whitsey:
A Complete and Decidable Logic for Resource-Bounded Agents. AAMAS 2004: 606-613
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/jelia/AlechinaLW04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jelia/AlechinaLW04
Natasha Alechina, Brian Logan, Mark Whitsey:
Modelling Communicating Agents in Timed Reasoning Logics. JELIA 2004: 95-107
2003
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/logcom/AlechinaDR03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/logcom/AlechinaDR03
Natasha Alechina, Stéphane Demri, Maarten de Rijke:
A Modal Perspective on Path Constraints. J. Log. Comput. 13(6): 939-956 (2003)
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/caip/MackenzieA03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/caip/MackenzieA03
Graham Mackenzie, Natasha Alechina:
Classifying Sketches of Animals Using an Agent-Based System. CAIP 2003: 521-529
2002
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/atal/AlechinaL02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/AlechinaL02
Natasha Alechina, Brian Logan:
Ascribing beliefs to resource bounded agents. AAMAS 2002: 881-888
2001
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/apin/AlechinaL01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apin/AlechinaL01
Natasha Alechina, Brian Logan:
State Space Search with Prioritised Soft Constraints. Appl. Intell. 14(3): 263-272 (2001)
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/csl/AlechinaMPR01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csl/AlechinaMPR01
Natasha Alechina, Michael Mendler, Valeria de Paiva, Eike Ritter:
Categorical and Kripke Semantics for Constructive S4 Modal Logic. CSL 2001: 292-307
[c8]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/krdb/AlechinaDR01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/krdb/AlechinaDR01
Natasha Alechina, Stéphane Demri, Maarten de Rijke:
Path Constraints from a Modal Logic Point of View. KRDB 2001
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/lpar/AlechinaL01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/AlechinaL01
Natasha Alechina, Brian Logan:
Logical Omniscience and the Cost of Deliberation. LPAR 2001: 100-109
2000
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/igpl/AlechinaI00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/igpl/AlechinaI00
Natasha Alechina, Neil Immerman:
Reachability Logic: An Efficient Fragment of Transitive Closure Logic. Log. J. IGPL 8(3): 325-337 (2000)
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/sLogica/Alechina00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sLogica/Alechina00
Natasha Alechina:
Functional Dependencies between Variables. Stud Logica 66(2): 273-283 (2000)

1990 – 1999

see FAQ

What is the meaning of the colors in the publication lists?

1999
[c6]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/dlog/Alechina99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/Alechina99
Natasha Alechina:
(Modal) Logics for Semistructed Data. Description Logics 1999
1998
[c5]
- view
  - electronic edition @ aaai.org (archived)
  - details & citations
- export record
  dblp key:
  - conf/aaai/LoganA98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/LoganA98
Brian Logan, Natasha Alechina:
A* with Bounded Costs. AAAI/IAAI 1998: 444-449
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/bncod/AlechinaR98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/bncod/AlechinaR98
Natasha Alechina, Maarten de Rijke:
Describing and Quering Semistructured Data: Some Expressiveness Results. BNCOD 1998: 167-168
1997
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/AlechinaG97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/AlechinaG97
Natasha Alechina, Yuri Gurevich:
Syntax vs. Semantics on Finite Structures. Structures in Logic and Computer Science 1997: 14-33
1996
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/jsyml/AlechinaL96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsyml/AlechinaL96
Natasha Alechina, Michiel van Lambalgen:
Generalized Quantification as Substructural Logic. J. Symb. Log. 61(3): 1006-1044 (1996)
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/tableaux/Alechina96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tableaux/Alechina96
Natasha Alechina:
Interpolation for a Sequent Calculus of Generalized Quantifiers. TABLEAUX 1996: 36-47
1995
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/igpl/AlechinaL95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/igpl/AlechinaL95
Natasha Alechina, Michiel van Lambalgen:
Correspondence and Completeness for Generalized Quantifiers. Log. J. IGPL 3(2-3): 167-190 (1995)
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/jolli/Alechina95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jolli/Alechina95
Natasha Alechina:
On a Decidable Generalized Quantifier Logic Corresponding to a Decidable Fragment of First-Order Logic. J. Log. Lang. Inf. 4(3): 177-189 (1995)
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/ecsqaru/Alechina95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecsqaru/Alechina95
Natasha Alechina:
For All Typical. ECSQARU 1995: 1-8

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.