Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Natasha Alechina" ( http://dblp.L3S.de/Authors/Natasha_Alechina )

URL (Homepage):  http://www.cs.nott.ac.uk/~nza/  Author page on DBLP  Author page in RDF  Community of Natasha Alechina in ASPL-2

Publication years (Num. hits)
1995-2001 (15) 2002-2006 (18) 2007-2009 (19) 2010-2011 (11)
Publication types (Num. hits)
article(19) inproceedings(44)
Venues (Conferences, Journals, ...)
AAMAS(8) Journal of Logic, Language and...(4) DALT(3) J. Log. Comput.(3) MoChArt(3) Synthese(3) AAAI(2) CLIMA(2) ECAI(2) KR(2) Logic Journal of the IGPL(2) MALLOW(2) AAAI/IAAI(1) Advances in Modal Logic(1) Appl. Intell.(1) Autonomous Agents and Multi-Ag...(1) More (+10 of total 39)
Authors
Natasha Alechina(63) Brian Logan(39) Abdur Rakib(10) Nguyen Hoang Nga(10) Mark Jago(7) Thomas Ågotnes(7) John-Jules Ch. Meyer(5) Mehdi Dastani(5) Chiara Ghidini(4) Piergiorgio Bertoli(4) Konstantin Vikhorev(3) Luciano Serafini(3) Maarten de Rijke(3) Alexandre Albore(2) Dmitry Shkatov(2) Jomi Fred Hübner(2) More (+10 of total 28)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 6 occurrences of 5 keywords
Results
Found 63 publication records. Showing 63 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Natasha Alechina, Mehdi Dastani, Brian Logan, John-Jules Ch. Meyer Reasoning about plan revision in BDI agent programs. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib Logic for coalitions with bounded resources. Search on Bibsonomy J. Log. Comput. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Thomas Ågotnes, Natasha Alechina Completeness of Epistemic Coalition Logic with Group Knowledge Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Natasha Alechina, Mehdi Dastani, Brian Logan, John-Jules Ch. Meyer Reasoning about agent deliberation. Search on Bibsonomy Autonomous Agents and Multi-Agent Systems The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Thomas Ågotnes, Natasha Alechina Reasoning about Joint Action and Coalitional Ability in K n with Intersection. Search on Bibsonomy CLIMA The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Konstantin Vikhorev, Natasha Alechina, Brian Logan Agent programming with priorities and deadlines. Search on Bibsonomy AAMAS The full citation details ... 2011 DBLP  BibTeX  RDF
1Natasha Alechina, Brian Logan Belief ascription under bounded resources. Search on Bibsonomy Synthese The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Xiaofan Liu, Natasha Alechina, Brian Logan Syntax and Semantics for Business Rules. Search on Bibsonomy KES The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib Automated Verification of Resource Requirements in Multi-Agent Systems Using Abstraction. Search on Bibsonomy MoChArt The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib Resource-bounded alternating-time temporal logic. Search on Bibsonomy AAMAS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Natasha Alechina, Brian Logan Computationally Grounded Account of Belief and Awareness for AI Agents. Search on Bibsonomy MALLOW The full citation details ... 2010 DBLP  BibTeX  RDF
1Natasha Alechina, Brian Logan A Logic of Situated Resource-Bounded Agents. Search on Bibsonomy Journal of Logic, Language and Information The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Thomas Ågotnes, Natasha Alechina Editorial. Search on Bibsonomy Journal of Logic, Language and Information The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib Verifying time, memory and communication bounds in systems of reasoning agents. Search on Bibsonomy Synthese The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib Expressing Properties of Coalitional Ability under Resource Bounds. Search on Bibsonomy LORI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib A Logic for Coalitions with Bounded Resources. Search on Bibsonomy IJCAI The full citation details ... 2009 DBLP  BibTeX  RDF
1Doan Thu Trang, Brian Logan, Natasha Alechina Verifying Dribble Agents. Search on Bibsonomy DALT The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Konstantin Vikhorev, Natasha Alechina, Brian Logan The ARTS Real-Time Agent Architecture. Search on Bibsonomy LADS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Konstantin Vikhorev, Natasha Alechina, Brian Logan The ARTS Real-Time Agent Architecture. Search on Bibsonomy MALLOW The full citation details ... 2009 DBLP  BibTeX  RDF
1Natasha Alechina, Mark Jago, Brian Logan Preference-based belief revision for rule-based agents. Search on Bibsonomy Synthese The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Reason maintenance systems, Rule-based agents, Preferences, Belief revision
1Alexandre Albore, Natasha Alechina, Piergiorgio Bertoli, Chiara Ghidini, Brian Logan Bounded-Resource Reasoning as (Strong or Classical) Planning. Search on Bibsonomy CLIMA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib Reasoning about Other Agents' Beliefs under Bounded Resources. Search on Bibsonomy KRAMAS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib Verifying Time and Communication Costs of Rule-Based Reasoners. Search on Bibsonomy MoChArt The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib Verifying Resource Requirements for Distributed Rule-Based Systems. Search on Bibsonomy RuleML The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Natasha Alechina, Mehdi Dastani, Brian Logan, John-Jules Ch. Meyer Reasoning about Agent Deliberation. Search on Bibsonomy KR The full citation details ... 2008 DBLP  BibTeX  RDF
1Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib Verifying time, memory and communication bounds in systems of reasoning agents. Search on Bibsonomy AAMAS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Natasha Alechina, Brian Logan, Mehdi Dastani, John-Jules Ch. Meyer Reasoning about agent execution strategies. Search on Bibsonomy AAMAS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Thomas Ågotnes, Natasha Alechina The Dynamics of Syntactic Knowledge. Search on Bibsonomy J. Log. Comput. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Thomas Ågotnes, Natasha Alechina Full and relative awareness: a decidable logic for reasoning about knowledge of unawareness. Search on Bibsonomy TARK The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Natasha Alechina, Mehdi Dastani, Brian Logan, John-Jules Ch. Meyer A Logic of Agent Programs. Search on Bibsonomy AAAI The full citation details ... 2007 DBLP  BibTeX  RDF
1Natasha Alechina, Dmitry Shkatov A general method for proving decidability of intuitionistic modal logics. Search on Bibsonomy J. Applied Logic The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Natasha Alechina, Dmitry Shkatov Logics with an existential modality. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2006 DBLP  BibTeX  RDF
1Thomas Ågotnes, Natasha Alechina Knowing Minimum/Maximum n Formulae. Search on Bibsonomy ECAI The full citation details ... 2006 DBLP  BibTeX  RDF
1Natasha Alechina, Mark Jago, Brian Logan Modal Logics for Communicating Rule-Based Agents. Search on Bibsonomy ECAI The full citation details ... 2006 DBLP  BibTeX  RDF
1Natasha Alechina, Rafael H. Bordini, Jomi Fred Hübner, Mark Jago, Brian Logan Automating Belief Revision for AgentSpeak. Search on Bibsonomy DALT The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Natasha Alechina, Piergiorgio Bertoli, Chiara Ghidini, Mark Jago, Brian Logan, Luciano Serafini Verifying Space and Time Requirements for Resource-Bounded Agents. Search on Bibsonomy MoChArt The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Thomas Ågotnes, Natasha Alechina Semantics for Dynamic Syntactic Epistemic Logics. Search on Bibsonomy KR The full citation details ... 2006 DBLP  BibTeX  RDF
1Natasha Alechina, Rafael H. Bordini, Jomi Fred Hübner, Mark Jago, Brian Logan Belief revision for AgentSpeak agents. Search on Bibsonomy AAMAS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF AgentSpeak, Jason, belief revision, BDI
1Natasha Alechina, Mark Jago, Piergiorgio Bertoli, Brian Logan, Chiara Ghidini, Luciano Serafini Verifying space and time requirements for resource-bounded agents. Search on Bibsonomy AAMAS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF MBP, resource-bounded agents
1Alexandre Albore, Natasha Alechina, Piergiorgio Bertoli, Chiara Ghidini, Brian Logan, Luciano Serafini Model-Checking Memory Requirements of Resource-Bounded Reasoners. Search on Bibsonomy AAAI The full citation details ... 2006 DBLP  BibTeX  RDF
1Natasha Alechina Editorial. Search on Bibsonomy Journal of Logic, Language and Information The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Natasha Alechina, Mark Jago, Brian Logan Resource-Bounded Belief Revision and Contraction. Search on Bibsonomy DALT The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Natasha Alechina, Brian Logan Verifying Bounds on Deliberation Time in Multi-Agent Systems. Search on Bibsonomy EUMAS The full citation details ... 2005 DBLP  BibTeX  RDF
1Natasha Alechina, Brian Logan, Mark Whitsey Modelling Communicating Agents in Timed Reasoning Logics. Search on Bibsonomy JELIA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Natasha Alechina, Brian Logan, Mark Whitsey A Complete and Decidable Logic for Resource-Bounded Agents. Search on Bibsonomy AAMAS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Natasha Alechina, Stéphane Demri, Maarten de Rijke A Modal Perspective on Path Constraints. Search on Bibsonomy J. Log. Comput. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Graham Mackenzie, Natasha Alechina Classifying Sketches of Animals Using an Agent-Based System. Search on Bibsonomy CAIP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Natasha Alechina, Brian Logan Ascribing beliefs to resource bounded agents. Search on Bibsonomy AAMAS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF formalisms and logics
1Natasha Alechina, Brian Logan State Space Search with Prioritised Soft Constraints. Search on Bibsonomy Appl. Intell. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Natasha Alechina, Brian Logan Logical Omniscience and the Cost of Deliberation. Search on Bibsonomy LPAR The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Natasha Alechina, Stéphane Demri, Maarten de Rijke Path Constraints from a Modal Logic Point of View. Search on Bibsonomy KRDB The full citation details ... 2001 DBLP  BibTeX  RDF
1Natasha Alechina, Michael Mendler, Valeria de Paiva, Eike Ritter Categorical and Kripke Semantics for Constructive S4 Modal Logic. Search on Bibsonomy CSL The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Natasha Alechina, Neil Immerman Reachability Logic: An Efficient Fragment of Transitive Closure Logic. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Natasha Alechina Functional Dependencies between Variables. Search on Bibsonomy Studia Logica The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Natasha Alechina (Modal) Logics for Semistructed Data. Search on Bibsonomy Description Logics The full citation details ... 1999 DBLP  BibTeX  RDF
1Natasha Alechina, Maarten de Rijke Describing and Quering Semistructured Data: Some Expressiveness Results. Search on Bibsonomy BNCOD The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Brian Logan, Natasha Alechina A* with Bounded Costs. Search on Bibsonomy AAAI/IAAI The full citation details ... 1998 DBLP  BibTeX  RDF
1Natasha Alechina, Yuri Gurevich Syntax vs. Semantics on Finite Structures. Search on Bibsonomy Structures in Logic and Computer Science The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Natasha Alechina, Michiel van Lambalgen Generalized Quantification as Substructural Logic. Search on Bibsonomy J. Symb. Log. The full citation details ... 1996 DBLP  BibTeX  RDF
1Natasha Alechina Interpolation for a Sequent Calculus of Generalized Quantifiers. Search on Bibsonomy TABLEAUX The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Natasha Alechina, Michiel van Lambalgen Correspondence and Completeness for Generalized Quantifiers. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Natasha Alechina On a Decidable Generalized Quantifier Logic Corresponding to a Decidable Fragment of First-Order Logic. Search on Bibsonomy Journal of Logic, Language and Information The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Natasha Alechina For All Typical. Search on Bibsonomy ECSQARU The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #63 of 63 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.