Publications
Filters: Author is Natasha Alechina [Clear All Filters]
"Resource-Bounded Belief Revision and Contraction." In Declarative Agent Languages and Technologies III, Third InternationalWorkshop, DALT 2005, Utrecht, The Netherlands, July 25, 2005, Selected and Revised Papers, edited by Matteo Baldoni, Ulle Endriss, Andrea Omicini and Paolo Torroni, 141-154. Vol. 3904. Lecture Notes in Computer Science 3904. Springer, 2006.
"Semantics for Dynamic Syntactic Epistemic Logics." In Proceedings of the 10th International Conference on Principles of Knowledge Representation and Reasoning (KR'06), edited by Patrick Doherty, John Mylopoulos and Christopher Welty, 411–419. AAAI Press, 2006.
"Verifying space and time requirements for resource-bounded agents." In Proceedings of the Fourth Workshop on Model Checking and Artificial Intelligence (MoChArt-2006), edited by Stefan Edelkamp and Alessio Lomuscio, 16–30., 2006.
"Resource-bounded belief revision and contraction." In Proceedings of the Third International Workshop on Declarative Agent Languages and Technologies (DALT 2005), edited by Matteo Baldoni, Ulle Endriss, Andrea Omicini and Paolo Torroni, 118–131. Utrecht, 2005.
"Verifying bounds on deliberation time in multi-agent systems." In Proceedings of the Third European Workshop on Multiagent Systemss (EUMAS'05), edited by M. P. Gleizes, G. Kaminka, A. Nowe, S. Ossowski, K. Tuyls and K. Verbeeck, 25–34. Brussels, Belgium: Koninklijke Vlaamse Academie van Belgie voor Wetenschappen en Kunsten, 2005.
Verifying space and time requirements for resource-bounded agents. {ITC}-irst, 2005.
"Modelling Communicating Agents in Timed Reasoning Logics." In Proceedings of the Ninth European Conference on Logics in Artificial Intelligence (JELIA 2004), edited by José Júlio Alferes and Jõao Leite, 95–107. LNAI. Lisbon: Springer, 2004.
"A Complete and Decidable Logic for Resource-Bounded Agents." In Proceedings of the Third International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2004), edited by Nicholas R. Jennings, Charles Sierra, Liz Sonenberg and Milind Tambe, 606–613. New York: {ACM} Press, 2004.
"Ascribing beliefs to resource bounded agents." In Proceedings of the First International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2002), 881–888. Vol. 2. Bologna: {ACM} Press, 2002.
"Grounding Knowledge and Action Selection in Agent-Based Systems." In Working Notes of the Fifth UK Workshop on Multi-Agent Systems (UKMAS 2002), edited by Peter McBurney and Michael Wooldridge. Liverpool, 2002.
"Grounding Knowledge and Action Selection in Agent-Based Systems." In Proceedings of the Workshop on Logics for Agent-Based Systems (LABS) at the Eighth International Conference on Principles of Knowledge Representation and Reasoning (KR2002), edited by Ch. J. - J. Meyer and M. J. Wooldridge, 61–73. Toulouse, 2002.
"State space search with prioritised soft constraints." Applied Intelligence 14 (2001): 263–272.
"Logical omniscience and the cost of deliberation." In Proceedings of the 8th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR'01), edited by R. Nieuwenhuis and A. Voronkov, 100-109. {LNAI} {N}o. 2250. Springer Verlag, 2001.
"A* with bounded costs." In Proceedings of the Fifteenth National Conference on Artificial Intelligence, AAAI-98, 444–449. Menlo Park CA & Cambridge MA: AAAI, 1998.
"State space search with prioritised soft constraints." In Proceedings of the ECAI-98 Workshop `Decision theory meets artificial intelligence: qualitative and quantitative approaches', 33–42. ECCAI, 1998.
- « first
- ‹ previous
- 1
- 2
- 3