default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDNatasha Alechina
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
- 2024
[c114]Giovanni Varricchione
, Natasha Alechina, Mehdi Dastani, Giuseppe De Giacomo, Brian Logan, Giuseppe Perelli:
Pure-Past Action Masking. AAAI 2024: 21646-21655- [e4]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]Giovanni Varricchione, Natasha Alechina, Mehdi Dastani, Brian Logan:
Maximally Permissive Reward Machines. CoRR abs/2408.08059 (2024) - 2023
- [j40]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]Natasha Alechina, Hans van Ditmarsch, Tim French, Rustam Galimullin:
The Expressivity of Quantified Group Announcements. J. Log. Comput. 33(6): 1122-1151 (2023) - [c113]Di Wu, Yuan Yao, Natasha Alechina, Brian Logan, John Thangarajah:
Intention Progression with Maintenance Goals. AAMAS 2023: 2400-2402 - [c112]Maksim Gladyshev, Natasha Alechina, Mehdi Dastani, Dragan Doder, Brian Logan:
Dynamic Causality. ECAI 2023: 867-874 - [c111]Maksim Gladyshev, Natasha Alechina, Mehdi Dastani, Dragan Doder:
Dynamics of Causal Dependencies in Multi-agent Settings. EMAS 2023: 95-112 - [c110]Giovanni Varricchione, Natasha Alechina, Mehdi Dastani, Brian Logan:
Synthesising Reward Machines for Cooperative Multi-Agent Reinforcement Learning. EUMAS 2023: 328-344 - [c109]Michael Dann, Yuan Yao, Natasha Alechina, Brian Logan, Felipe Meneguzzi, John Thangarajah:
Multi-Agent Intention Recognition and Progression. IJCAI 2023: 91-99 - [c108]Nima Motamed, Natasha Alechina, Mehdi Dastani, Dragan Doder, Brian Logan:
Probabilistic Temporal Logic for Reasoning about Bounded Policies. IJCAI 2023: 3296-3303 - [c107]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]Maksim Gladyshev, Natasha Alechina, Mehdi Dastani, Dragan Doder:
Group Responsibility for Exceeding Risk Threshold. KR 2023: 322-332 - [e3]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]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]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]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]Michael Dann, Yuan Yao, Natasha Alechina, Brian Logan, John Thangarajah:
Multi-Agent Intention Progression with Reward Machines. IJCAI 2022: 215-222 - [c103]Natasha Alechina, Giuseppe De Giacomo, Brian Logan, Giuseppe Perelli:
Automatic Synthesis of Dynamic Norms for Multi-Agent Systems. KR 2022 - [e2]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]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]Yuan Yao, Natasha Alechina, Brian Logan, John Thangarajah:
Intention Progression using Quantitative Summary Information. AAMAS 2021: 1416-1424 - [i8]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]Natasha Alechina, Valentin Goranko:
Editorial Foreword. J. Log. Lang. Inf. 29(1): 1-2 (2020) - [c101]Natasha Alechina, Stéphane Demri, Brian Logan:
Parameterised Resource-Bounded ATL. AAAI 2020: 7040-7046 - [c100]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]Yuan Yao, Natasha Alechina, Brian Logan, John Thangarajah:
Intention Progression under Uncertainty. IJCAI 2020: 10-16 - [c98]Heshan Du, Natasha Alechina, Anthony G. Cohn:
A Logic of Directions. IJCAI 2020: 1695-1702 - [i7]Natasha Alechina, Joseph Y. Halpern, Brian Logan:
Causality, Responsibility and Blame in Team Plans. CoRR abs/2005.10297 (2020)
2010 – 2019
- 2019
- [j34]Thomas Ågotnes, Natasha Alechina:
Coalition logic with individual, distributed and common knowledge1. J. Log. Comput. 29(7): 1041-1069 (2019) - [c97]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]Heshan Du, Natasha Alechina:
Qualitative Spatial Logic over 2D Euclidean Spaces Is Not Finitely Axiomatisable. AAAI 2019: 2776-2783 - [c95]Natasha Alechina, Mehdi Dastani, Brian Logan:
Decidable Model Checking with Uniform Strategies. AAMAS 2019: 170-178 - [c94]Vahid Yazdanpanah, Mehdi Dastani, Wojciech Jamroga, Natasha Alechina, Brian Logan:
Strategic Responsibility Under Imperfect Information. AAMAS 2019: 592-600 - [c93]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]Rustam Galimullin, Thomas Ågotnes, Natasha Alechina:
Group Announcement Logic with Distributed Knowledge. LORI 2019: 98-111 - [c91]Elise Perrotin, Rustam Galimullin, Quentin Canu, Natasha Alechina:
Public Group Announcements and Trust in Doxastic Logic. LORI 2019: 199-213 - 2018
- [j33]Natasha Alechina, Brian Logan, Mehdi Dastani:
Modeling Norm Specification and Verification in Multiagent Systems. FLAP 5(2): 457-490 (2018) - [j32]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]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]Charles A. Stewart, Valeria de Paiva, Natasha Alechina:
Intuitionistic Modal Logic: A 15-year retrospective. J. Log. Comput. 28(5): 873-882 (2018) - [j29]Natasha Alechina, Fenrong Liu, Brian Logan:
Efficient minimal preference change. J. Log. Comput. 28(8): 1715-1733 (2018) - [j28]Natasha Alechina, Nils Bulling, Stéphane Demri, Brian Logan:
On the complexity of resource-bounded logics. Theor. Comput. Sci. 750: 69-100 (2018) - [c90]Giuseppe De Giacomo, Moshe Y. Vardi, Paolo Felli, Natasha Alechina, Brian Logan:
Synthesis of Orchestrations of Transducers for Manufacturing. AAAI 2018: 6161-6168 - [c89]Natasha Alechina, Brian Logan:
Resource Logics with a Diminishing Resource. AAMAS 2018: 1847-1849 - [c88]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]Rustam Galimullin, Natasha Alechina, Hans van Ditmarsch:
Model Checking for Coalition Announcement Logic. KI 2018: 11-23 - [e1]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]Natasha Alechina, Brian Logan:
Resource Logics with a Diminishing Resource. CoRR abs/1806.11559 (2018) - [i5]Rustam Galimullin, Natasha Alechina:
Coalition and Group Announcement Logic. CoRR abs/1810.02769 (2018) - 2017
- [j27]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]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]Natasha Alechina, Wiebe van der Hoek, Brian Logan:
Fair decomposition of group obligations. J. Log. Comput. 27(7): 2043-2062 (2017) - [j24]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]Natasha Alechina, Joseph Y. Halpern, Ian A. Kash, Brian Logan:
Incentivising Monitoring in Open Normative Systems. AAAI 2017: 305-311 - [c85]Natasha Alechina, Joseph Y. Halpern, Brian Logan:
Causality, Responsibility and Blame in Team Plans. AAMAS 2017: 1091-1099 - [c84]Rustam Galimullin, Natasha Alechina:
Coalition and Group Announcement Logic. TARK 2017: 207-220 - 2016
- [j23]Heshan Du, Natasha Alechina:
Qualitative Spatial Logics for Buffered Geometries. J. Artif. Intell. Res. 56: 693-745 (2016) - [c83]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]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]Natasha Alechina, Brian Logan:
Verifying Systems of Resource-Bounded Agents. CiE 2016: 3-12 - [c80]Natasha Alechina, Mehdi Dastani, Brian Logan:
Verifying Existence of Resource-Bounded Coalition Uniform Strategies. IJCAI 2016: 24-30 - [c79]Natasha Alechina, Nils Bulling, Stéphane Demri, Brian Logan:
On the Complexity of Resource-Bounded Logics. RP 2016: 36-50 - [i4]Natasha Alechina, Joseph Y. Halpern, Ian A. Kash, Brian Logan:
Decentralised Norm Monitoring in Open Multi-Agent Systems. CoRR abs/1602.06731 (2016) - [i3]Natasha Alechina, Mehdi Dastani, Brian Logan:
Expressibility of norms in temporal logic. CoRR abs/1608.06787 (2016) - 2015
- [c78]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]Natasha Alechina, Nils Bulling, Mehdi Dastani, Brian Logan:
Practical Run-Time Norm Enforcement with Bounded Lookahead. AAMAS 2015: 443-451 - [c76]Natasha Alechina, Brian Logan, Hoang Nga Nguyen, Franco Raimondi, Leonardo Mostarda:
Symbolic Model-checking for Resource-Bounded ATL. AAMAS 2015: 1809-1810 - [c75]Heshan Du, Natasha Alechina, Glen Hart, Michael Jackson:
A tool for matching crowd-sourced and authoritative geospatial data. ICMCIS 2015: 1-8 - [c74]Natasha Alechina, Brian Logan, Hoang Nga Nguyen, Franco Raimondi:
Symbolic Model Checking for One-Resource RB+-ATL. IJCAI 2015: 1069-1075 - [c73]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]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]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]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]Thomas Ågotnes, Natasha Alechina:
Formal Models of Awareness. J. Log. Lang. Inf. 23(2): 105-106 (2014) - [j21]Thomas Ågotnes, Natasha Alechina:
A Logic for Reasoning About Knowledge of Unawareness. J. Log. Lang. Inf. 23(2): 197-217 (2014) - [c70]Natasha Alechina, Mehdi Dastani, Brian Logan:
Norm approximation for imperfect monitors. AAMAS 2014: 117-124 - [c69]Thu Trang Doan, Yuan Yao, Natasha Alechina, Brian Logan:
Verifying heterogeneous multi-agent programs. AAMAS 2014: 149-156 - [c68]Jeehang Lee, Julian A. Padget, Brian Logan, Daniela Dybalova, Natasha Alechina:
Run-time norm compliance in BDI agents. AAMAS 2014: 1581-1582 - [c67]Natasha Alechina, Wiebe van der Hoek, Brian Logan:
Fair Allocation of Group Tasks According to Social Norms. CLIMA 2014: 19-34 - [c66]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]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]Heshan Du, Natasha Alechina:
A Logic of Part and Whole for Buffered Geometries. ECAI 2014: 997-998 - [c63]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]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]Heshan Du, Natasha Alechina:
A Logic of Part and Whole for Buffered Geometries. STAIRS 2014: 91-100 - 2013
- [c60]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]Heshan Du, Natasha Alechina, Mike Jackson, Glen Hart:
Matching Formal and Informal Geospatial Ontologies. AGILE Conf. 2013: 155-171 - [c58]Heshan Du, Natasha Alechina, Kristin Stock, Michael Jackson:
The Logic of NEAR and FAR. COSIT 2013: 475-494 - [c57]Min Zhang, Sarah Atkinson, Natasha Alechina, Guoping Qiu:
'A Is for Art' - My Drawings, Your Paintings. ICIAP Workshops 2013: 308-317 - [c56]Natasha Alechina, Mehdi Dastani, Brian Logan:
Reasoning about Normative Update. IJCAI 2013: 20-26 - [c55]Xiaofan Liu, Natasha Alechina, Brian Logan:
Expressing User Access Authorization Exceptions in Conventional Role-Based Access Control. ISPEC 2013: 233-247 - [c54]Natasha Alechina, Fenrong Liu, Brian Logan:
Minimal Preference Change. LORI 2013: 15-26 - [c53]Heshan Du, Natasha Alechina, Michael Jackson, Glen Hart:
Matching geospatial instances. OM 2013: 239-240 - [c52]Natasha Alechina:
Logic and Agent Programming Languages. WoLLIC 2013: 1-10 - [p1]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]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]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]Natasha Alechina, Mehdi Dastani, Brian Logan:
Programming norm-aware agents. AAMAS 2012: 1057-1064 - [c50]Thomas Ågotnes, Natasha Alechina:
Epistemic coalition logic: completeness and complexity. AAMAS 2012: 1099-1106 - [c49]Julian Zappala, Natasha Alechina, Brian Logan:
Consensus games. AAMAS 2012: 1309-1310 - [c48]Hai H. Nguyen, Natasha Alechina, Brian Logan:
Axiom Pinpointing Using an Assumption-Based Truth Maintenance System. Description Logics 2012 - [c47]Natasha Alechina, Tristan M. Behrens, Koen V. Hindriks, Brian Logan:
Query Caching in Agent Programming Languages. ProMAS 2012: 123-137 - [c46]Heshan Du, Natasha Alechina, Michael Jackson, Glen Hart:
Matching geospatial ontologies. OM 2012 - [c45]Natasha Alechina:
Reasoning about Plan Revision in Agent Programs. TIME 2012: 5 - 2011
- [j18]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]Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib:
Logic for coalitions with bounded resources. J. Log. Comput. 21(6): 907-937 (2011) - [j16]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]Konstantin Vikhorev, Natasha Alechina, Brian Logan:
Agent programming with priorities and deadlines. AAMAS 2011: 397-404 - [c43]Thomas Ågotnes, Natasha Alechina:
Reasoning about Joint Action and Coalitional Ability in K n with Intersection. CLIMA 2011: 139-156 - [i1]Thomas Ågotnes, Natasha Alechina:
Completeness of Epistemic Coalition Logic with Group Knowledge. CoRR abs/1107.0278 (2011) - 2010
- [j15]Natasha Alechina, Brian Logan:
Belief ascription under bounded resources. Synth. 173(2): 179-197 (2010) - [c42]Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib:
Resource-bounded alternating-time temporal logic. AAMAS 2010: 481-488 - [c41]Xiaofan Liu, Natasha Alechina, Brian Logan:
Syntax and Semantics for Business Rules. KES (4) 2010: 41-50 - [c40]Natasha Alechina, Brian Logan:
Computationally Grounded Account of Belief and Awareness for AI Agents. MALLOW 2010 - [c39]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
- 2009
- [j14]Thomas Ågotnes, Natasha Alechina:
Editorial. J. Log. Lang. Inf. 18(1): 1-2 (2009) - [j13]Natasha Alechina, Brian Logan:
A Logic of Situated Resource-Bounded Agents. J. Log. Lang. Inf. 18(1): 79-95 (2009) - [j12]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]Doan Thu Trang, Brian Logan, Natasha Alechina:
Verifying Dribble Agents. DALT 2009: 244-261 - [c37]Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib:
A Logic for Coalitions with Bounded Resources. IJCAI 2009: 659-664 - [c36]Konstantin Vikhorev, Natasha Alechina, Brian Logan:
The ARTS Real-Time Agent Architecture. LADS 2009: 1-15 - [c35]Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib:
Expressing Properties of Coalitional Ability under Resource Bounds. LORI 2009: 1-14 - [c34]Konstantin Vikhorev, Natasha Alechina, Brian Logan:
The ARTS Real-Time Agent Architecture. MALLOW 2009 - 2008
- [j11]Natasha Alechina, Mark Jago, Brian Logan:
Preference-based belief revision for rule-based agents. Synth. 165(2): 159-177 (2008) - [c33]