BibSonomy :: author  ::

bookmarks

publications

(39)

• Verifying Resource Requirements for Distributed Rule-Based Systems.
  Natasha Alechina and Brian Logan and Nguyen Hoang Nga and Abdur Rakib RuleML 31-38 (2008)
  to dblp by dblp on 2008-11-03 00:00:00
  | URL | BibTeX  
• Reasoning about agent execution strategies.
  Natasha Alechina and Brian Logan and Mehdi Dastani and John-Jules Ch. Meyer AAMAS (3) 1455-1458 (2008)
  to dblp by dblp on 2008-08-19 00:00:00
  | URL | BibTeX  
• Verifying time, memory and communication bounds in systems of reasoning agents.
  Natasha Alechina and Brian Logan and Nguyen Hoang Nga and Abdur Rakib AAMAS (2) 736-743 (2008)
  to dblp by dblp on 2008-08-18 00:00:00
  | URL | BibTeX  
• Full and relative awareness: a decidable logic for reasoning about knowledge of unawareness.
  Thomas Ågotnes and Natasha Alechina TARK 6-14 (2007)
  to dblp by dblp on 2008-04-04 00:00:00
  | URL | BibTeX  
• Correspondence and Completeness for Generalized Quantifiers.
  Natasha Alechina and Michiel van Lambalgen Logic Journal of the IGPL 3 167-190 (1995)
  to dblp by dblp on 2008-04-04 00:00:00
  | URL | BibTeX  
• Verifying Space and Time Requirements for Resource-Bounded Agents.
  Natasha Alechina and Piergiorgio Bertoli and Chiara Ghidini and Mark Jago and Brian Logan and Luciano Serafini MoChArt 19-34 (2006)
  to dblp by dblp and 1 other person on 2007-09-10 00:00:00
  | URL | BibTeX  
• A Logic of Agent Programs.
  Natasha Alechina and Mehdi Dastani and Brian Logan and John-Jules Ch. Meyer AAAI 795-800 (2007)
  to dblp by dblp on 2007-09-05 00:00:00
  | URL | BibTeX  
• The Dynamics of Syntactic Knowledge.
  Thomas Ågotnes and Natasha Alechina J. Log. Comput. 17 83-116 (2007)
  to dblp by dblp on 2007-07-11 00:00:00
  | URL | BibTeX  
• A general method for proving decidability of intuitionistic modal logics.
  Natasha Alechina and Dmitry Shkatov J. Applied Logic 4 219-230 (2006)
  to dblp by dblp on 2007-05-09 00:00:00
  | URL | BibTeX  
• Automating Belief Revision for AgentSpeak.
  Natasha Alechina and Rafael H. Bordini and Jomi Fred Hübner and Mark Jago and Brian Logan DALT 61-77 (2006)
  to dblp by dblp on 2007-01-22 00:00:00
  | URL | BibTeX