Amy Vanderbilt

According to our database, Amy Vanderbilt authored at least 8 papers between 1999 and 2004.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2004

Locally Determined Logic Programs and Recursive Stable Models.

Douglas A. Cenzer, Jeffrey B. Remmel, Amy Vanderbilt

Ann. Math. Artif. Intell., 2004

Properties of a Formal Method for Prediction of Emergent Behaviors in Swarm-Based Systems.

Christopher A. Rouff, Amy Vanderbilt, Michael G. Hinchey, Walt Truszkowski, James L. Rash

Proceedings of the 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 2004

Formal Methods for Autonomic and Swarm-based Systems.

Christopher A. Rouff, Amy Vanderbilt, Walter Truszkowski, James L. Rash, Michael G. Hinchey

Proceedings of the International Symposium on Leveraging Applications of Formal Methods, 2004

Verification of Nasa Emergent Systems.

Christopher A. Rouff, Amy Vanderbilt, Walt Truszkowski, James L. Rash, Michael G. Hinchey

Proceedings of the Artificial Intelligence Applications and Innovations, 2004

Verification of Emergent Behaviors in Swarm-based Systems.

Christopher A. Rouff, Amy Vanderbilt, Michael G. Hinchey, Walt Truszkowski, James L. Rash

Proceedings of the 11th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2004), 2004

2002

Common Derivations in Locally Determined Logic Programs.

Douglas Cenzer, Amy Vanderbilt

Proceedings of the International Symposium on Artificial Intelligence and Mathematics, 2002

2000

Characterizing the Set of Extensions of a Nonmonotonic Rule System with Levels.

Douglas A. Cenzer, Jeffrey B. Remmel, Amy Vanderbilt

Proceedings of the International Symposium on Artificial Intelligence and Mathematics, 2000

1999

Locally Determined Logic Programs.

Douglas A. Cenzer, Jeffrey B. Remmel, Amy Vanderbilt

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1999