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-2012 (20) 2013-2014 (22) 2015-2016 (16) 2017-2018 (20) 2019 (7)
Publication types (Num. hits)
article(39) incollection(1) inproceedings(96) proceedings(1)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 6 occurrences of 5 keywords

Results
Found 138 publication records. Showing 137 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Rustam Galimullin, Thomas Ågotnes, Natasha Alechina Group Announcement Logic with Distributed Knowledge. Search on Bibsonomy LORI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Elise Perrotin, Rustam Galimullin, Quentin Canu, Natasha Alechina Public Group Announcements and Trust in Doxastic Logic. Search on Bibsonomy LORI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Natasha Alechina, Tomás Brázdil, Giuseppe De Giacomo, Paolo Felli, Brian Logan, Moshe Y. Vardi Unbounded Orchestrations of Transducers for Manufacturing. Search on Bibsonomy AAAI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Heshan Du, Natasha Alechina Qualitative Spatial Logic over 2D Euclidean Spaces Is Not Finitely Axiomatisable. Search on Bibsonomy AAAI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Natasha Alechina, Mehdi Dastani, Brian Logan Decidable Model Checking with Uniform Strategies. Search on Bibsonomy AAMAS The full citation details ... 2019 DBLP  BibTeX  RDF
1Tim French 0002, Rustam Galimullin, Hans van Ditmarsch, Natasha Alechina Groups Versus Coalitions: On the Relative Expressivity of GAL and CAL. Search on Bibsonomy AAMAS The full citation details ... 2019 DBLP  BibTeX  RDF
1Vahid Yazdanpanah, Mehdi Dastani, Wojciech Jamroga, Natasha Alechina, Brian Logan Strategic Responsibility Under Imperfect Information. Search on Bibsonomy AAMAS The full citation details ... 2019 DBLP  BibTeX  RDF
1Natasha Alechina, Brian Logan, Mehdi Dastani Modeling Norm Specification and Verification in Multiagent Systems. Search on Bibsonomy FLAP The full citation details ... 2018 DBLP  BibTeX  RDF
1Natasha Alechina, Nils Bulling, Stéphane Demri, Brian Logan On the complexity of resource-bounded logics. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Natasha Alechina, Joseph Y. Halpern, Ian A. Kash, Brian Logan Incentive-Compatible Mechanisms for Norm Monitoring in Open Multi-Agent Systems. Search on Bibsonomy J. Artif. Intell. Res. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Rustam Galimullin, Natasha Alechina Coalition and Group Announcement Logic. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Natasha Alechina, Brian Logan Resource Logics with a Diminishing Resource. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Charles Stewart, Valeria de Paiva, Natasha Alechina Intuitionistic Modal Logic: A 15-year retrospective. Search on Bibsonomy J. Log. Comput. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Hoang Nga Nguyen, Natasha Alechina, Brian Logan, Abdur Rakib Alternating-time temporal logic with resource bounds. Search on Bibsonomy J. Log. Comput. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Natasha Alechina, Fenrong Liu, Brian Logan Efficient minimal preference change. Search on Bibsonomy J. Log. Comput. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Rustam Galimullin, Natasha Alechina, Hans van Ditmarsch Model Checking for Coalition Announcement Logic. Search on Bibsonomy KI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Giuseppe De Giacomo, Moshe Y. Vardi, Paolo Felli, Natasha Alechina, Brian Logan Synthesis of Orchestrations of Transducers for Manufacturing. Search on Bibsonomy AAAI The full citation details ... 2018 DBLP  BibTeX  RDF
1Natasha Alechina, Kjetil Nørvåg, Wojciech Penczek (eds.) 25th International Symposium on Temporal Representation and Reasoning, TIME 2018, Warsaw, Poland, October 15-17, 2018 Search on Bibsonomy TIME The full citation details ... 2018 DBLP  BibTeX  RDF
1Natasha Alechina, Joseph Y. Halpern, Ian A. Kash, Brian Logan Incentive-Compatible Mechanisms for Norm Monitoring in Open Multi-Agent Systems (Extended Abstract). Search on Bibsonomy IJCAI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Natasha Alechina, Brian Logan Resource Logics with a Diminishing Resource. Search on Bibsonomy AAMAS The full citation details ... 2018 DBLP  BibTeX  RDF
1Natasha Alechina, Nils Bulling, Brian Logan, Hoang Nga Nguyen The virtues of idleness: A decidable fragment of resource agent logic. Search on Bibsonomy Artif. Intell. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Natasha Alechina, Brian Logan, Hoang Nga Nguyen, Franco Raimondi Model-checking for Resource-Bounded ATL with production and consumption of resources. Search on Bibsonomy J. Comput. Syst. Sci. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Rustam Galimullin, Natasha Alechina Coalition and Group Announcement Logic. Search on Bibsonomy TARK The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Heshan Du, Natasha Alechina, Michael Jackson 0005, Glen Hart A Method for Matching Crowd-sourced and Authoritative Geospatial Data. Search on Bibsonomy Trans. GIS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Natasha Alechina, Wiebe van der Hoek, Brian Logan Fair decomposition of group obligations. Search on Bibsonomy J. Log. Comput. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Natasha Alechina, Joseph Y. Halpern, Ian A. Kash, Brian Logan Incentivising Monitoring in Open Normative Systems. Search on Bibsonomy AAAI The full citation details ... 2017 DBLP  BibTeX  RDF
1Natasha Alechina, Joseph Y. Halpern, Brian Logan Causality, Responsibility and Blame in Team Plans. Search on Bibsonomy AAMAS The full citation details ... 2017 DBLP  BibTeX  RDF
1Heshan Du, Natasha Alechina Qualitative Spatial Logics for Buffered Geometries. Search on Bibsonomy J. Artif. Intell. Res. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Natasha Alechina, Joseph Y. Halpern, Ian A. Kash, Brian Logan Decentralised Norm Monitoring in Open Multi-Agent Systems. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Natasha Alechina, Mehdi Dastani, Brian Logan Expressibility of norms in temporal logic. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Abba Lawan, Abdur Rakib, Natasha Alechina, Asha Karunaratne The Onto-CropBase - A Semantic Web Application for Querying Crops Linked-Data. Search on Bibsonomy BDAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Natasha Alechina, Nils Bulling, Stéphane Demri, Brian Logan On the Complexity of Resource-Bounded Logics. Search on Bibsonomy RP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Natasha Alechina, Brian Logan Verifying Systems of Resource-Bounded Agents. Search on Bibsonomy CiE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Natasha Alechina, Mehdi Dastani, Brian Logan Verifying Existence of Resource-Bounded Coalition Uniform Strategies. Search on Bibsonomy IJCAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Natasha Alechina, Joseph Y. Halpern, Ian A. Kash, Brian Logan Decentralised Norm Monitoring in Open Multi-Agent Systems: (Extended Abstract). Search on Bibsonomy AAMAS The full citation details ... 2016 DBLP  BibTeX  RDF
1Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Franco Raimondi Technical Report: Model-Checking for Resource-Bounded ATL with Production and Consumption of Resources. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Min Zhang, Guoping Qiu, Natasha Alechina, Sarah Atkinson A Preliminary Examination of the User Behavior in Query-by-Drawing Portrait Painting Search on Mobile Devices. Search on Bibsonomy MoMM The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Heshan Du, Hai H. Nguyen, Natasha Alechina, Brian Logan, Michael Jackson 0005, John Goodwin Using Qualitative Spatial Logic for Validating Crowd-Sourced Geospatial Data. Search on Bibsonomy AAAI The full citation details ... 2015 DBLP  BibTeX  RDF
1Min Zhang, Guoping Qiu, Natasha Alechina, Sarah Atkinson A Comparison of Five HSV Color Selection Interfaces for Mobile Painting Search. Search on Bibsonomy INTERACT (2) The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Natasha Alechina, Nils Bulling, Brian Logan, Hoang Nga Nguyen On the Boundary of (Un)decidability: Decidable Model-Checking for a Fragment of Resource Agent Logic. Search on Bibsonomy IJCAI The full citation details ... 2015 DBLP  BibTeX  RDF
1Natasha Alechina, Brian Logan, Hoang Nga Nguyen, Franco Raimondi Symbolic Model Checking for One-Resource RB+-ATL. Search on Bibsonomy IJCAI The full citation details ... 2015 DBLP  BibTeX  RDF
1Natasha Alechina, Nils Bulling, Mehdi Dastani, Brian Logan Practical Run-Time Norm Enforcement with Bounded Lookahead. Search on Bibsonomy AAMAS The full citation details ... 2015 DBLP  BibTeX  RDF
1Natasha Alechina, Brian Logan, Hoang Nga Nguyen, Franco Raimondi, Leonardo Mostarda Symbolic Model-checking for Resource-Bounded ATL. Search on Bibsonomy AAMAS The full citation details ... 2015 DBLP  BibTeX  RDF
1Thomas Ågotnes, Natasha Alechina A Logic for Reasoning About Knowledge of Unawareness. Search on Bibsonomy Journal of Logic, Language and Information The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Thomas Ågotnes, Natasha Alechina Formal Models of Awareness. Search on Bibsonomy Journal of Logic, Language and Information The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Jeehang Lee, Julian A. Padget, Brian Logan, Daniela Dybalova, Natasha Alechina N-Jason: Run-Time Norm Compliance in AgentSpeak(L). Search on Bibsonomy EMAS@AAMAS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Abba Lawan, Abdur Rakib, Natasha Alechina, Asha Karunaratne Advancing Underutilized Crops Knowledge Using SWRL-enabled Ontologies - A survey and early experiment. Search on Bibsonomy JIST (Workshops & Posters) The full citation details ... 2014 DBLP  BibTeX  RDF
1Min Zhang, Sarah Atkinson, Guoping Qiu, Natasha Alechina Can People Finger-draw Color-sketches from Memory for Painting Search on Mobile Phone? Search on Bibsonomy MoMM The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Natasha Alechina, Brian Logan, Hoang Nga Nguyen, Franco Raimondi Decidable Model-Checking for a Resource Logic with Production of Resources. Search on Bibsonomy ECAI The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Heshan Du, Natasha Alechina A Logic of Part and Whole for Buffered Geometries. Search on Bibsonomy ECAI The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Heshan Du, Natasha Alechina A Logic of Part and Whole for Buffered Geometries. Search on Bibsonomy STAIRS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Natasha Alechina, Wiebe van der Hoek, Brian Logan Fair Allocation of Group Tasks According to Social Norms. Search on Bibsonomy CLIMA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Natasha Alechina, Mehdi Dastani, Brian Logan Norm approximation for imperfect monitors. Search on Bibsonomy AAMAS The full citation details ... 2014 DBLP  BibTeX  RDF
1Jeehang Lee, Julian A. Padget, Brian Logan, Daniela Dybalova, Natasha Alechina Run-time norm compliance in BDI agents. Search on Bibsonomy AAMAS The full citation details ... 2014 DBLP  BibTeX  RDF
1Thu Trang Doan, Yuan Yao 0007, Natasha Alechina, Brian Logan Verifying heterogeneous multi-agent programs. Search on Bibsonomy AAMAS The full citation details ... 2014 DBLP  BibTeX  RDF
1Natasha Alechina, Fenrong Liu, Brian Logan Minimal Preference Change. Search on Bibsonomy LORI The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Natasha Alechina Logic and Agent Programming Languages. Search on Bibsonomy WoLLIC The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Natasha Alechina, Nick Bassiliades, Mehdi Dastani, Marina De Vos, Brian Logan, Sergio Mera, Andreasa Morris-Martin, Fernando Schapachnik Computational Models for Normative Multi-Agent Systems. Search on Bibsonomy Normative Multi-Agent Systems The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Heshan Du, Natasha Alechina, Michael Jackson 0005, Glen Hart Matching geospatial instances. Search on Bibsonomy OM The full citation details ... 2013 DBLP  BibTeX  RDF
1Heshan Du, Natasha Alechina, Mike Jackson 0004, Glen Hart Matching Formal and Informal Geospatial Ontologies. Search on Bibsonomy AGILE Conf. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Min Zhang, Sarah Atkinson, Natasha Alechina, Guoping Qiu 'A Is for Art' - My Drawings, Your Paintings. Search on Bibsonomy ICIAP Workshops The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Natasha Alechina, Tristan M. Behrens, Mehdi Dastani, Koen V. Hindriks, Jomi Fred Hübner, Brian Logan, Hai H. Nguyen, Marc van Zee Multi-Cycle Query Caching in Agent Programming. Search on Bibsonomy AAAI The full citation details ... 2013 DBLP  BibTeX  RDF
1Xiaofan Liu, Natasha Alechina, Brian Logan Expressing User Access Authorization Exceptions in Conventional Role-Based Access Control. Search on Bibsonomy ISPEC The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Natasha Alechina, Mehdi Dastani, Brian Logan Reasoning about Normative Update. Search on Bibsonomy IJCAI The full citation details ... 2013 DBLP  BibTeX  RDF
1Heshan Du, Natasha Alechina, Kristin Stock, Michael Jackson 0005 The Logic of NEAR and FAR. Search on Bibsonomy COSIT The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Natasha Alechina, Philippe Balbiani, Dmitry Shkatov Modal logics for reasoning about infinite unions and intersections of binary relations. Search on Bibsonomy Journal of Applied Non-Classical Logics The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Heshan Du, Suchith Anand, Natasha Alechina, Jeremy G. Morley, Glen Hart, Didier G. Leibovici, Mike Jackson 0004, J. Mark Ware Geospatial Information Integration for Authoritative and Crowd Sourced Road Vector Data. Search on Bibsonomy Trans. GIS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Heshan Du, Natasha Alechina, Michael Jackson 0005, Glen Hart Matching geospatial ontologies. Search on Bibsonomy OM The full citation details ... 2012 DBLP  BibTeX  RDF
1Julian Zappala, Natasha Alechina, Brian Logan Consensus games. Search on Bibsonomy AAMAS The full citation details ... 2012 DBLP  BibTeX  RDF
1Natasha Alechina, Mehdi Dastani, Brian Logan Programming norm-aware agents. Search on Bibsonomy AAMAS The full citation details ... 2012 DBLP  BibTeX  RDF
1Thomas Ågotnes, Natasha Alechina Epistemic coalition logic: completeness and complexity. Search on Bibsonomy AAMAS The full citation details ... 2012 DBLP  BibTeX  RDF
1Natasha Alechina, Tristan M. Behrens, Koen V. Hindriks, Brian Logan Query Caching in Agent Programming Languages. Search on Bibsonomy ProMAS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Natasha Alechina Reasoning about Plan Revision in Agent Programs. Search on Bibsonomy TIME The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Hai H. Nguyen, Natasha Alechina, Brian Logan Axiom Pinpointing Using an Assumption-Based Truth Maintenance System. Search on Bibsonomy Description Logics The full citation details ... 2012 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
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
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, 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 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
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
1Xiaofan Liu, Natasha Alechina, Brian Logan Syntax and Semantics for Business Rules. Search on Bibsonomy KES (4) 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, Nguyen Hoang Nga, Abdur Rakib Resource-bounded alternating-time temporal logic. Search on Bibsonomy AAMAS The full citation details ... 2010 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 Synthese The full citation details ... 2009 DBLP  DOI  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 Expressing Properties of Coalitional Ability under Resource Bounds. Search on Bibsonomy LORI The full citation details ... 2009 DBLP  DOI  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
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
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
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 Reasoning about Other Agents' Beliefs under Bounded Resources. Search on Bibsonomy KRAMAS 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 Resource Requirements for Distributed Rule-Based Systems. Search on Bibsonomy RuleML The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
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, Mehdi Dastani, John-Jules Ch. Meyer Reasoning about agent execution strategies. Search on Bibsonomy AAMAS (3) The full citation details ... 2008 DBLP  BibTeX  RDF
Displaying result #1 - #100 of 137 (100 per page; Change: )
Pages: [1][2][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license