| 2008 |
|---|
| 42 | EE | 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 |
| 41 | EE | Natasha Alechina,
Brian Logan,
Mehdi Dastani,
John-Jules Ch. Meyer:
Reasoning about agent execution strategies.
AAMAS (3) 2008: 1455-1458 |
| 40 | | Natasha Alechina,
Mehdi Dastani,
Brian Logan,
John-Jules Ch. Meyer:
Reasoning about Agent Deliberation.
KR 2008: 16-26 |
| 39 | EE | Natasha Alechina,
Brian Logan,
Nguyen Hoang Nga,
Abdur Rakib:
Verifying Time and Communication Costs of Rule-Based Reasoners.
MoChArt 2008: 1-14 |
| 38 | EE | Natasha Alechina,
Brian Logan,
Nguyen Hoang Nga,
Abdur Rakib:
Verifying Resource Requirements for Distributed Rule-Based Systems.
RuleML 2008: 31-38 |
| 37 | EE | 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 | EE | Thomas Ågotnes,
Natasha Alechina:
Full and relative awareness: a decidable logic for reasoning about knowledge of unawareness.
TARK 2007: 6-14 |
| 34 | EE | 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 | EE | Natasha Alechina,
Rafael H. Bordini,
Jomi Fred Hübner,
Mark Jago,
Brian Logan:
Belief revision for AgentSpeak agents.
AAMAS 2006: 1288-1290 |
| 31 | EE | 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 | EE | Natasha Alechina,
Dmitry Shkatov:
Logics with an existential modality.
Advances in Modal Logic 2006: 31-48 |
| 29 | EE | 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 | EE | 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 | EE | Natasha Alechina,
Dmitry Shkatov:
A general method for proving decidability of intuitionistic modal logics.
J. Applied Logic 4(3): 219-230 (2006) |
| 2005 |
|---|
| 23 | EE | 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 | EE | Natasha Alechina:
Editorial.
Journal of Logic, Language and Information 14(3): 261-262 (2005) |
| 2004 |
|---|
| 20 | EE | Natasha Alechina,
Brian Logan,
Mark Whitsey:
A Complete and Decidable Logic for Resource-Bounded Agents.
AAMAS 2004: 606-613 |
| 19 | EE | Natasha Alechina,
Brian Logan,
Mark Whitsey:
Modelling Communicating Agents in Timed Reasoning Logics.
JELIA 2004: 95-107 |
| 2003 |
|---|
| 18 | EE | Graham Mackenzie,
Natasha Alechina:
Classifying Sketches of Animals Using an Agent-Based System.
CAIP 2003: 521-529 |
| 17 | EE | Natasha Alechina,
Stéphane Demri,
Maarten de Rijke:
A Modal Perspective on Path Constraints.
J. Log. Comput. 13(6): 939-956 (2003) |
| 2002 |
|---|
| 16 | EE | Natasha Alechina,
Brian Logan:
Ascribing beliefs to resource bounded agents.
AAMAS 2002: 881-888 |
| 2001 |
|---|
| 15 | EE | Natasha Alechina,
Michael Mendler,
Valeria de Paiva,
Eike Ritter:
Categorical and Kripke Semantics for Constructive S4 Modal Logic.
CSL 2001: 292-307 |
| 14 | EE | Natasha Alechina,
Stéphane Demri,
Maarten de Rijke:
Path Constraints from a Modal Logic Point of View.
KRDB 2001 |
| 13 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | Natasha Alechina,
Michiel van Lambalgen:
Correspondence and Completeness for Generalized Quantifiers.
Logic Journal of the IGPL 3(2-3): 167-190 (1995) |
