Natasha Alechina

	2011
63		Konstantin Vikhorev, Natasha Alechina, Brian Logan: Agent programming with priorities and deadlines. AAMAS 2011: 397-404
62		Thomas Ågotnes, Natasha Alechina: Reasoning about Joint Action and Coalitional Ability in K n with Intersection. CLIMA 2011: 139-156
61		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)
60		Thomas Ågotnes, Natasha Alechina: Completeness of Epistemic Coalition Logic with Group Knowledge CoRR abs/1107.0278: (2011)
59		Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib: Logic for coalitions with bounded resources. J. Log. Comput. 21(6): 907-937 (2011)
58		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)
	2010
57		Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib: Resource-bounded alternating-time temporal logic. AAMAS 2010: 481-488
56		Xiaofan Liu, Natasha Alechina, Brian Logan: Syntax and Semantics for Business Rules. KES (4) 2010: 41-50
55		Natasha Alechina, Brian Logan: Computationally Grounded Account of Belief and Awareness for AI Agents. MALLOW 2010
54		Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib: Automated Verification of Resource Requirements in Multi-Agent Systems Using Abstraction. MoChArt 2010: 69-84
53		Natasha Alechina, Brian Logan: Belief ascription under bounded resources. Synthese 173(2): 179-197 (2010)
	2009
52		Doan Thu Trang, Brian Logan, Natasha Alechina: Verifying Dribble Agents. DALT 2009: 244-261
51		Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib: A Logic for Coalitions with Bounded Resources. IJCAI 2009: 659-664
50		Konstantin Vikhorev, Natasha Alechina, Brian Logan: The ARTS Real-Time Agent Architecture. LADS 2009: 1-15
49		Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib: Expressing Properties of Coalitional Ability under Resource Bounds. LORI 2009: 1-14
48		Konstantin Vikhorev, Natasha Alechina, Brian Logan: The ARTS Real-Time Agent Architecture. MALLOW 2009
47		Thomas Ågotnes, Natasha Alechina: Editorial. Journal of Logic, Language and Information 18(1): 1-2 (2009)
46		Natasha Alechina, Brian Logan: A Logic of Situated Resource-Bounded Agents. Journal of Logic, Language and Information 18(1): 79-95 (2009)
45		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)
	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 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: 213-218
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): 325-337 (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] [47] [60] [62]
2	Alexandre Albore	[33] [42]
3	Piergiorgio Bertoli	[25] [31] [33] [42]
4	Rafael H. Bordini	[29] [32]
5	Mehdi Dastani	[36] [41] [43] [58] [61]
6	Stéphane Demri	[14] [17]
7	Chiara Ghidini	[25] [31] [33] [42]
8	Yuri Gurevich	[6]
9	Jomi Fred Hübner (Jomi 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	Xiaofan Liu	[56]
14	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] [48] [49] [50] [51] [52] [53] [54] [55] [56] [57] [58] [59] [61] [63]
15	Graham Mackenzie	[18]
16	Michael Mendler	[15]
17	John-Jules Ch. Meyer	[36] [41] [43] [58] [61]
18	Nguyen Hoang Nga	[38] [39] [40] [44] [45] [49] [51] [54] [57] [59]
19	Valeria de Paiva	[15]
20	Abdur Rakib	[38] [39] [40] [44] [45] [49] [51] [54] [57] [59]
21	Maarten de Rijke	[7] [14] [17]
22	Eike Ritter	[15]
23	Luciano Serafini	[25] [31] [33]
24	Dmitry Shkatov	[24] [30]
25	Doan Thu Trang	[52]
26	Konstantin Vikhorev	[48] [50] [63]
27	Mark Whitsey	[19] [20]

Colors in the list of coauthors

Last update Sat May 26 04:23:17 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page