Natasha Alechina

	2009
46		Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib: A Logic for Coalitions with Bounded Resources. IJCAI 2009: 659-664
45		Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib: Expressing Properties of Coalitional Ability under Resource Bounds. LORI 2009: 1-14
	2008
44		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
43		Natasha Alechina, Brian Logan, Mehdi Dastani, John-Jules Ch. Meyer: Reasoning about agent execution strategies. AAMAS (3) 2008: 1455-1458
42		Alexandre Albore, Natasha Alechina, Piergiorgio Bertoli, Chiara Ghidini, Brian Logan: Bounded-Resource Reasoning as (Strong or Classical) Planning. CLIMA IX 2008: 77-96
41		Natasha Alechina, Mehdi Dastani, Brian Logan, John-Jules Ch. Meyer: Reasoning about Agent Deliberation. KR 2008: 16-26
40		Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib: Reasoning about Other Agents' Beliefs under Bounded Resources. KRAMAS 2008: 1-15
39		Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib: Verifying Time and Communication Costs of Rule-Based Reasoners. MoChArt 2008: 1-14
38		Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib: Verifying Resource Requirements for Distributed Rule-Based Systems. RuleML 2008: 31-38
37		Natasha Alechina, Mark Jago, Brian Logan: Preference-based belief revision for rule-based agents. Synthese 165(2): 159-177 (2008)
	2007
36		Natasha Alechina, Mehdi Dastani, Brian Logan, John-Jules Ch. Meyer: A Logic of Agent Programs. AAAI 2007: 795-800
35		Thomas Ågotnes, Natasha Alechina: Full and relative awareness: a decidable logic for reasoning about knowledge of unawareness. TARK 2007: 6-14
34		Thomas Ågotnes, Natasha Alechina: The Dynamics of Syntactic Knowledge. J. Log. Comput. 17(1): 83-116 (2007)
	2006
33		Alexandre Albore, Natasha Alechina, Piergiorgio Bertoli, Chiara Ghidini, Brian Logan, Luciano Serafini: Model-Checking Memory Requirements of Resource-Bounded Reasoners. AAAI 2006
32		Natasha Alechina, Rafael H. Bordini, Jomi Fred Hübner, Mark Jago, Brian Logan: Belief revision for AgentSpeak agents. AAMAS 2006: 1288-1290
31		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
30		Natasha Alechina, Dmitry Shkatov: Logics with an existential modality. Advances in Modal Logic 2006: 31-48
29		Natasha Alechina, Rafael H. Bordini, Jomi Fred Hübner, Mark Jago, Brian Logan: Automating Belief Revision for AgentSpeak. DALT 2006: 61-77
28		Thomas Ågotnes, Natasha Alechina: Knowing Minimum/Maximum n Formulae. ECAI 2006: 317-321
27		Natasha Alechina, Mark Jago, Brian Logan: Modal Logics for Communicating Rule-Based Agents. ECAI 2006: 322-326
26		Thomas Ågotnes, Natasha Alechina: Semantics for Dynamic Syntactic Epistemic Logics. KR 2006: 411-419
25		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
24		Natasha Alechina, Dmitry Shkatov: A general method for proving decidability of intuitionistic modal logics. J. Applied Logic 4(3): 219-230 (2006)
	2005
23		Natasha Alechina, Mark Jago, Brian Logan: Resource-Bounded Belief Revision and Contraction. DALT 2005: 141-154
22		Natasha Alechina, Brian Logan: Verifying Bounds on Deliberation Time in Multi-Agent Systems. EUMAS 2005: 25-34
21		Natasha Alechina: Editorial. Journal of Logic, Language and Information 14(3): 261-262 (2005)
	2004
20		Natasha Alechina, Brian Logan, Mark Whitsey: A Complete and Decidable Logic for Resource-Bounded Agents. AAMAS 2004: 606-613
19		Natasha Alechina, Brian Logan, Mark Whitsey: Modelling Communicating Agents in Timed Reasoning Logics. JELIA 2004: 95-107
	2003
18		Graham Mackenzie, Natasha Alechina: Classifying Sketches of Animals Using an Agent-Based System. CAIP 2003: 521-529
17		Natasha Alechina, Stéphane Demri, Maarten de Rijke: A Modal Perspective on Path Constraints. J. Log. Comput. 13(6): 939-956 (2003)
	2002
16		Natasha Alechina, Brian Logan: Ascribing beliefs to resource bounded agents. AAMAS 2002: 881-888
	2001
15		Natasha Alechina, Michael Mendler, Valeria de Paiva, Eike Ritter: Categorical and Kripke Semantics for Constructive S4 Modal Logic. CSL 2001: 292-307
14		Natasha Alechina, Stéphane Demri, Maarten de Rijke: Path Constraints from a Modal Logic Point of View. KRDB 2001
13		Natasha Alechina, Brian Logan: Logical Omniscience and the Cost of Deliberation. LPAR 2001: 100-109
12		Natasha Alechina, Brian Logan: State Space Search with Prioritised Soft Constraints. Appl. Intell. 14(3): 263-272 (2001)
	2000
11		Natasha Alechina, Neil Immerman: Reachability Logic: An Efficient Fragment of Transitive Closure Logic. Logic Journal of the IGPL 8(3): (2000)
10		Natasha Alechina: Functional Dependencies between Variables. Studia Logica 66(2): 273-283 (2000)
	1999
9		Natasha Alechina: (Modal) Logics for Semistructed Data. Description Logics 1999
	1998
8		Brian Logan, Natasha Alechina: A* with Bounded Costs. AAAI/IAAI 1998: 444-449
7		Natasha Alechina, Maarten de Rijke: Describing and Quering Semistructured Data: Some Expressiveness Results. BNCOD 1998: 167-168
	1997
6		Natasha Alechina, Yuri Gurevich: Syntax vs. Semantics on Finite Structures. Structures in Logic and Computer Science 1997: 14-33
	1996
5		Natasha Alechina: Interpolation for a Sequent Calculus of Generalized Quantifiers. TABLEAUX 1996: 36-47
4		Natasha Alechina, Michiel van Lambalgen: Generalized Quantification as Substructural Logic. J. Symb. Log. 61(3): 1006-1044 (1996)
	1995
3		Natasha Alechina: For All Typical. ECSQARU 1995: 1-8
2		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)
1		Natasha Alechina, Michiel van Lambalgen: Correspondence and Completeness for Generalized Quantifiers. Logic Journal of the IGPL 3(2-3): 167-190 (1995)

Coauthor Index

1	Thomas Ågotnes	[26] [28] [34] [35]
2	Alexandre Albore	[33] [42]
3	Piergiorgio Bertoli	[25] [31] [33] [42]
4	Rafael H. Bordini	[29] [32]
5	Mehdi Dastani	[36] [41] [43]
6	Stéphane Demri	[14] [17]
7	Chiara Ghidini	[25] [31] [33] [42]
8	Yuri Gurevich	[6]
9	Jomi Fred Hübner	[29] [32]
10	Neil Immerman	[11]
11	Mark Jago	[23] [25] [27] [29] [31] [32] [37]
12	Michiel van Lambalgen	[1] [4]
13	Brian Logan	[8] [12] [13] [16] [19] [20] [22] [23] [25] [27] [29] [31] [32] [33] [36] [37] [38] [39] [40] [41] [42] [43] [44] [45] [46]
14	Graham Mackenzie	[18]
15	Michael Mendler	[15]
16	John-Jules Ch. Meyer	[36] [41] [43]
17	Nguyen Hoang Nga	[38] [39] [40] [44] [45] [46]
18	Valeria de Paiva	[15]
19	Abdur Rakib	[38] [39] [40] [44] [45] [46]
20	Maarten de Rijke	[7] [14] [17]
21	Eike Ritter	[15]
22	Luciano Serafini	[25] [31] [33]
23	Dmitry Shkatov	[24] [30]
24	Mark Whitsey	[19] [20]

Colors in the list of coauthors