Diana F. Gordon-Spears, Diana F. Gordon
List of publications from the
2007 |
31 | EE | Michael Fisher,
Munindar P. Singh,
Diana F. Spears,
Michael Wooldridge:
Logic-Based Agent Verification.
J. Applied Logic 5(2): 193-195 (2007) |
2006 |
30 | EE | 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 |
2004 |
29 | EE | 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 |
28 | EE | William M. Spears,
Rodney Heil,
Diana F. Spears,
Dimitri Zarzhitsky:
Physicomimetics for Mobile Robot Formations.
AAMAS 2004: 1528-1529 |
27 | EE | 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 |
26 | EE | William M. Spears,
Diana F. Spears,
Rodney Heil:
A Formal Analysis of Potential Energy in a Multi-agent System.
FAABS 2004: 131-145 |
25 | EE | Dimitri Zarzhitsky,
Diana F. Spears,
David R. Thayer,
William M. Spears:
Agent-Based Chemical Plume Tracing Using Fluid Dynamics.
FAABS 2004: 146-160 |
24 | EE | William M. Spears,
Diana F. Spears,
Rodney Heil,
Wesley Kerr,
Suranga Hettiarachchi:
An Overview of Physicomimetics.
Swarm Robotics 2004: 84-97 |
23 | EE | 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) |
2003 |
22 | | Michael G. Hinchey,
James L. Rash,
Walt Truszkowski,
Christopher Rouff,
Diana F. Gordon-Spears:
Formal Approaches to Agent-Based Systems, Second International Workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002, Revised Papers
Springer 2003 |
2002 |
21 | EE | Diana F. Gordon-Spears,
William M. Spears:
Analysis of a Phase Transition in a Physics-Based Multiagent System.
FAABS 2002: 193-207 |
20 | EE | Diana F. Gordon-Spears:
Asimov's Laws: Current Progress.
FAABS 2002: 257-259 |
19 | EE | Kiriakos Kiriakidis,
Diana F. Gordon-Spears:
Formal Modeling and Supervisory Control of Reconfigurable Robot Teams.
FAABS 2002: 92-102 |
2001 |
18 | | James L. Rash,
Christopher Rouff,
Walt Truszkowski,
Diana F. Gordon,
Michael G. Hinchey:
Formal Approaches to Agent-Based Systems, First International Workshop, FAABS 2000 Greenbelt, MD, USA, April 5-7, 2000, Revised Papers
Springer 2001 |
2000 |
17 | EE | Diana F. Gordon:
APT Agents: Agents That Are Adaptive, Predictable, and Timely.
FAABS 2000: 278-293 |
16 | EE | Kiriakos Kiriakidis,
Diana F. Gordon:
Adaptive Supervisory Control of Multi-agent Systems.
FAABS 2000: 304-305 |
15 | EE | Diana F. Gordon,
Henry Hexmoor,
Robert L. Axtell,
Nenad Ivezic:
Panel Discussion: Empirical versus Formal Methods.
FAABS 2000: 345-353 |
14 | EE | 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 |
13 | EE | William M. Spears,
Diana F. Gordon:
Evolving Finite-State Machine Strategies for Protecting Resources.
ISMIS 2000: 166-175 |
12 | EE | Diana F. Gordon:
Asimovian Adaptive Agents.
J. Artif. Intell. Res. (JAIR) 13: 95-153 (2000) |
1998 |
11 | | Diana F. Gordon:
Well-Behaved Borgs, Bolos, and Berserkers.
ICML 1998: 224-232 |
1995 |
10 | | 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 |
9 | | Diana F. Gordon,
Marie desJardins:
Evaluation and Selection of Biases in Machine Learning.
Machine Learning 20(1-2): 5-22 (1995) |
1994 |
8 | | Kenneth A. De Jong,
William M. Spears,
Diana F. Gordon:
Using Markov Chains to Analyze GAFOs.
FOGA 1994: 115-137 |
1993 |
7 | | Diana F. Gordon,
Devika Subramanian:
A Multistrategy Learning Scheme for Agent Knowledge Acquisition.
Informatica (Slovenia) 17(4): (1993) |
6 | | Kenneth A. De Jong,
William M. Spears,
Diana F. Gordon:
Using Genetic Algorithms for Concept Learning.
Machine Learning 13: 161-188 (1993) |
1991 |
5 | | Diana F. Gordon:
Improving the Comprehensibility, Accuracy, and Generality of Reactive Plans.
ISMIS 1991: 358-367 |
4 | | Diana F. Gordon:
An Enhancer for Reactive Plans.
ML 1991: 505-508 |
1990 |
3 | | Diana F. Gordon,
John J. Grefenstette:
Explanations of Empirically Derived Reactive Plans.
ML 1990: 198-203 |
1989 |
2 | | Diana F. Gordon:
Screening Hypotheses with Explicit Bias.
ML 1989: 499-500 |
1 | | Diana F. Gordon,
Donald Perlis:
Explicitly biased generalization.
Computational Intelligence 5: 67-81 (1989) |