Diana F. Spears

Geoffrey Levine, Ugur Kuter, Antons Rebguns, Derek T. Green, Diana F. Spears: Learning and Verifying Safety Constraints for Planners in a Knowledge-Impoverished System. Computational Intelligence 28(3): 329-357 (2012)

Xiaoqin Zhang, Bhavesh Shrestha, Sung Wook Yoon, Subbarao Kambhampati, Phillip DiBona, Jinhong K. Guo, Daniel McFarlane, Martin O. Hofmann, Kenneth R. Whitebread, Darren Scott Appling, Elizabeth T. Whitaker, Ethan Trewhitt, Li Ding, James Michaelis, Deborah L. McGuinness, James A. Hendler, Janardhan Rao Doppa, Charles Parker, Thomas G. Dietterich, Prasad Tadepalli, Weng-Keen Wong, Derek T. Green, Antons Rebguns, Diana F. Spears, Ugur Kuter, Geoffrey Levine, Gerald DeJong, Reid MacTavish, Santiago Ontañón, Jainarayan Radhakrishnan, Ashwin Ram, Hala Mostafa, Huzaifa Zafar, Chongjie Zhang, Daniel D. Corkill, Victor R. Lesser, Zhexuan Song: An Ensemble Architecture for Learning Complex Problem-Solving Techniques from Demonstration. ACM TIST 3(4): 75 (2012)

Diana F. Gordon: Asimovian Adaptive Agents. CoRR abs/1106.0244 (2011)

William M. Spears, Derek T. Green, Diana F. Spears: Biases in Particle Swarm Optimization. IJSIR 1(2): 34-57 (2010)

Antons Rebguns, Diana F. Spears, Richard Anderson-Sprecher, Aleksey Kletsov: A Theoretical Framework for Estimating Swarm Success Probability Using Scouts. IJSIR 1(4): 17-45 (2010)

Xiaoqin Zhang, Sung Wook Yoon, Phillip DiBona, Darren Scott Appling, Li Ding, Janardhan Rao Doppa, Derek T. Green, Jinhong K. Guo, Ugur Kuter, Geoffrey Levine, Reid MacTavish, Daniel McFarlane, James Michaelis, Hala Mostafa, Santiago Ontañón, Charles Parker, Jainarayan Radhakrishnan, Antons Rebguns, Bhavesh Shrestha, Zhexuan Song, Ethan Trewhitt, Huzaifa Zafar, Chongjie Zhang, Daniel D. Corkill, Gerald DeJong, Thomas G. Dietterich, Subbarao Kambhampati, Victor R. Lesser, Deborah L. McGuinness, Ashwin Ram, Diana F. Spears, Prasad Tadepalli, Elizabeth T. Whitaker, Weng-Keen Wong, James A. Hendler, Martin O. Hofmann, Kenneth R. Whitebread: An Ensemble Learning and Problem Solving Architecture for Airspace Management. IAAI 2009

Paul M. Maxim, Suranga Hettiarachchi, William M. Spears, Diana F. Spears, Jerry C. Hamann, Thomas Kunkel, Caleb Speiser: Trilateration Localization for Multi-robot Teams. ICINCO-RA (2) 2008: 301-307

Michael Fisher, Munindar P. Singh, Diana F. Spears, Michael Wooldridge: Logic-Based Agent Verification. J. Applied Logic 5(2): 193-195 (2007)

William M. Spears, Jerry C. Hamann, Paul M. Maxim, Thomas Kunkel, Rodney Heil, Dimitri Zarzhitsky, Diana F. Spears, Christer Karlsson: Where Are You? Swarm Robotics 2006: 129-143

Wesley Kerr, Diana F. Spears: Robotic simulation of gases for a surveillance task. IROS 2005: 2905-2910

Dimitri Zarzhitsky, Diana F. Spears, William M. Spears: Distributed robotics approach to chemical plume tracing. IROS 2005: 4034-4039

Dimitri Zarzhitsky, Diana F. Spears: Swarm Approach to Chemical Source Localization. SMC 2005: 1435-1440

William M. Spears, Diana F. Spears, Jerry C. Hamann, Rodney Heil: Distributed, Physics-Based Control of Swarms of Vehicles. Auton. Robots 17(2-3): 137-162 (2004)

Dimitri Zarzhitsky, Diana F. Spears, William M. Spears, David R. Thayer: A Fluid Dynamics Approach to Multi-Robot Chemical Plume Tracing. AAMAS 2004: 1476-1477

William M. Spears, Rodney Heil, Diana F. Spears, Dimitri Zarzhitsky: Physicomimetics for Mobile Robot Formations. AAMAS 2004: 1528-1529

Wesley Kerr, Diana F. Spears, William M. Spears, David R. Thayer: Two Formal Gas Models for Multi-agent Sweeping and Obstacle Avoidance. FAABS 2004: 111-130

William M. Spears, Diana F. Spears, Rodney Heil: A Formal Analysis of Potential Energy in a Multi-agent System. FAABS 2004: 131-145

Dimitri Zarzhitsky, Diana F. Spears, David R. Thayer, William M. Spears: Agent-Based Chemical Plume Tracing Using Fluid Dynamics. FAABS 2004: 146-160

William M. Spears, Diana F. Spears, Rodney Heil, Wesley Kerr, Suranga Hettiarachchi: An Overview of Physicomimetics. Swarm Robotics 2004: 84-97

Michael G. Hinchey, James L. Rash, Walt Truszkowski, Christopher Rouff, Diana F. Gordon-Spears (Eds.): Formal Approaches to Agent-Based Systems, Second International Workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002, Revised Papers. Lecture Notes in Computer Science 2699, Springer 2003, isbn 3-540-40665-4

Kiriakos Kiriakidis, Diana F. Gordon-Spears: Formal Modeling and Supervisory Control of Reconfigurable Robot Teams. FAABS 2002: 92-102

Diana F. Gordon-Spears, William M. Spears: Analysis of a Phase Transition in a Physics-Based Multiagent System. FAABS 2002: 193-207

Diana F. Gordon-Spears: Asimov's Laws: Current Progress. FAABS 2002: 257-259

James L. Rash, Christopher Rouff, Walt Truszkowski, Diana F. Gordon, Michael G. Hinchey (Eds.): Formal Approaches to Agent-Based Systems, First International Workshop, FAABS 2000 Greenbelt, MD, USA, April 5-7, 2000, Revised Papers. Lecture Notes in Computer Science 1871, Springer 2001, isbn 3-540-42716-3

Diana F. Gordon: Asimovian Adaptive Agents. J. Artif. Intell. Res. (JAIR) 13: 95-153 (2000)

Diana F. Gordon: APT Agents: Agents That Are Adaptive, Predictable, and Timely. FAABS 2000: 278-293

Kiriakos Kiriakidis, Diana F. Gordon: Adaptive Supervisory Control of Multi-agent Systems. FAABS 2000: 304-305

Diana F. Gordon, Henry Hexmoor, Robert L. Axtell, Nenad Ivezic: Panel Discussion: Empirical versus Formal Methods. FAABS 2000: 345-353

Michael G. Hinchey, James A. Hendler, Charles Pecheur, Constance L. Heitmeyer, Diana F. Gordon, Michael Luck, Walt Truszkowski: Panel Discussion: Future Directions. FAABS 2000: 354-368

William M. Spears, Diana F. Gordon: Evolving Finite-State Machine Strategies for Protecting Resources. ISMIS 2000: 166-175

Diana F. Gordon: Well-Behaved Borgs, Bolos, and Berserkers. ICML 1998: 224-232

Diana F. Gordon, Marie desJardins: Evaluation and Selection of Biases in Machine Learning. Machine Learning 20(1-2): 5-22 (1995)

R. Bharat Rao, Diana F. Gordon, William M. Spears: For Every Generalization Action, Is There Really an Equal and Opposite Reaction? ICML 1995: 471-479

Kenneth A. De Jong, William M. Spears, Diana F. Gordon: Using Markov Chains to Analyze GAFOs. FOGA 1994: 115-137

Diana F. Gordon, Devika Subramanian: A Multistrategy Learning Scheme for Agent Knowledge Acquisition. Informatica (Slovenia) 17(4) (1993)

Kenneth A. De Jong, William M. Spears, Diana F. Gordon: Using Genetic Algorithms for Concept Learning. Machine Learning 13: 161-188 (1993)

Diana F. Gordon: An Enhancer for Reactive Plans. ML 1991: 505-508

Diana F. Gordon: Improving the Comprehensibility, Accuracy, and Generality of Reactive Plans. ISMIS 1991: 358-367

Diana F. Gordon, John J. Grefenstette: Explanations of Empirically Derived Reactive Plans. ML 1990: 198-203

Diana F. Gordon, Donald Perlis: Explicitly biased generalization. Computational Intelligence 5: 67-81 (1989)

Diana F. Gordon: Screening Hypotheses with Explicit Bias. ML 1989: 499-500