Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Natasha Alechina
2010 – today
- 2013
[c52]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- [c51]Xiaofan Liu, Natasha Alechina, Brian Logan: Expressing User Access Authorization Exceptions in Conventional Role-Based Access Control. ISPEC 2013: 233-247
- 2012
- [j20]Natasha Alechina, Philippe Balbiani, Dmitry Shkatov: Modal logics for reasoning about infinite unions and intersections of binary relations. Journal of Applied Non-Classical 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. T. GIS 16(4): 455-476 (2012)
- [c50]
- [c49]Thomas Ågotnes, Natasha Alechina: Epistemic coalition logic: completeness and complexity. AAMAS 2012: 1099-1106
- [c48]
- [c47]Hai H. Nguyen, Natasha Alechina, Brian Logan: Axiom Pinpointing Using an Assumption-Based Truth Maintenance System. Description Logics 2012
- [c46]Natasha Alechina, Tristan M. Behrens, Koen V. Hindriks, Brian Logan: Query Caching in Agent Programming Languages. ProMAS 2012: 123-137
- [c45]
- 2011
- [j18]Natasha Alechina, Mehdi Dastani, Brian Logan, John-Jules Ch. Meyer: Reasoning about agent deliberation. Autonomous Agents and Multi-Agent Systems 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. Synthese 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. Journal of Logic, Language and Information 18(1): 1-2 (2009)
- [j13]Natasha Alechina, Brian Logan: A Logic of Situated Resource-Bounded Agents. Journal of Logic, Language and Information 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. Synthese 169(2): 385-403 (2009)
- [c38]
- [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. Synthese 165(2): 159-177 (2008)
- [c33]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]Natasha Alechina, Brian Logan, Mehdi Dastani, John-Jules Ch. Meyer: Reasoning about agent execution strategies. AAMAS (3) 2008: 1455-1458
- [c31]Alexandre Albore, Natasha Alechina, Piergiorgio Bertoli, Chiara Ghidini, Brian Logan: Bounded-Resource Reasoning as (Strong or Classical) Planning. CLIMA 2008: 77-96
- [c30]Natasha Alechina, Mehdi Dastani, Brian Logan, John-Jules Ch. Meyer: Reasoning about Agent Deliberation. KR 2008: 16-26
- [c29]Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib: Reasoning about Other Agents' Beliefs under Bounded Resources. KRAMAS 2008: 1-15
- [c28]Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib: Verifying Time and Communication Costs of Rule-Based Reasoners. MoChArt 2008: 1-14
- [c27]Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib: Verifying Resource Requirements for Distributed Rule-Based Systems. RuleML 2008: 31-38
- 2007
- [j10]Thomas Ågotnes, Natasha Alechina: The Dynamics of Syntactic Knowledge. J. Log. Comput. 17(1): 83-116 (2007)
- [c26]Natasha Alechina, Mehdi Dastani, Brian Logan, John-Jules Ch. Meyer: A Logic of Agent Programs. AAAI 2007: 795-800
- [c25]Thomas Ågotnes, Natasha Alechina: Full and relative awareness: a decidable logic for reasoning about knowledge of unawareness. TARK 2007: 6-14
- 2006
- [j9]Natasha Alechina, Dmitry Shkatov: A general method for proving decidability of intuitionistic modal logics. J. Applied Logic 4(3): 219-230 (2006)
- [c24]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]Natasha Alechina, Dmitry Shkatov: Logics with an existential modality. Advances in Modal Logic 2006: 31-48
- [c22]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]Natasha Alechina, Rafael H. Bordini, Jomi Fred Hübner, Mark Jago, Brian Logan: Belief revision for AgentSpeak agents. AAMAS 2006: 1288-1290
- [c20]Natasha Alechina, Rafael H. Bordini, Jomi Fred Hübner, Mark Jago, Brian Logan: Automating Belief Revision for AgentSpeak. DALT 2006: 61-77
- [c19]
- [c18]Natasha Alechina, Mark Jago, Brian Logan: Modal Logics for Communicating Rule-Based Agents. ECAI 2006: 322-326
- [c17]Thomas Ågotnes, Natasha Alechina: Semantics for Dynamic Syntactic Epistemic Logics. KR 2006: 411-419
- [c16]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]
- [c15]Natasha Alechina, Mark Jago, Brian Logan: Resource-Bounded Belief Revision and Contraction. DALT 2005: 141-154
- [c14]Natasha Alechina, Brian Logan: Verifying Bounds on Deliberation Time in Multi-Agent Systems. EUMAS 2005: 25-34
- 2004
- [c13]Natasha Alechina, Brian Logan, Mark Whitsey: A Complete and Decidable Logic for Resource-Bounded Agents. AAMAS 2004: 606-613
- [c12]Natasha Alechina, Brian Logan, Mark Whitsey: Modelling Communicating Agents in Timed Reasoning Logics. JELIA 2004: 95-107
- 2003
- [j7]Natasha Alechina, Stéphane Demri, Maarten de Rijke: A Modal Perspective on Path Constraints. J. Log. Comput. 13(6): 939-956 (2003)
- [c11]Graham Mackenzie, Natasha Alechina: Classifying Sketches of Animals Using an Agent-Based System. CAIP 2003: 521-529
- 2002
- [c10]
- 2001
- [j6]Natasha Alechina, Brian Logan: State Space Search with Prioritised Soft Constraints. Appl. Intell. 14(3): 263-272 (2001)
- [c9]Natasha Alechina, Michael Mendler, Valeria de Paiva, Eike Ritter: Categorical and Kripke Semantics for Constructive S4 Modal Logic. CSL 2001: 292-307
- [c8]Natasha Alechina, Stéphane Demri, Maarten de Rijke: Path Constraints from a Modal Logic Point of View. KRDB 2001
- [c7]
- 2000
- [j5]Natasha Alechina, Neil Immerman: Reachability Logic: An Efficient Fragment of Transitive Closure Logic. Logic Journal of the IGPL 8(3): 325-337 (2000)
- [j4]
1990 – 1999
- 1999
- [c6]
- 1998
- [c5]
- [c4]Natasha Alechina, Maarten de Rijke: Describing and Quering Semistructured Data: Some Expressiveness Results. BNCOD 1998: 167-168
- 1997
- [c3]Natasha Alechina, Yuri Gurevich: Syntax vs. Semantics on Finite Structures. Structures in Logic and Computer Science 1997: 14-33
- 1996
- [j3]Natasha Alechina, Michiel van Lambalgen: Generalized Quantification as Substructural Logic. J. Symb. Log. 61(3): 1006-1044 (1996)
- [c2]Natasha Alechina: Interpolation for a Sequent Calculus of Generalized Quantifiers. TABLEAUX 1996: 36-47
- 1995
- [j2]Natasha Alechina, Michiel van Lambalgen: Correspondence and Completeness for Generalized Quantifiers. Logic Journal of the IGPL 3(2-3): 167-190 (1995)
- [j1]Natasha Alechina: On a Decidable Generalized Quantifier Logic Corresponding to a Decidable Fragment of First-Order Logic. Journal of Logic, Language and Information 4(3): 177-189 (1995)
- [c1]
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-05-31 22:18 CEST by the dblp team