Amy Vanderbilt

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2004
Locally Determined Logic Programs and Recursive Stable Models.
Ann. Math. Artif. Intell., 2004

Properties of a Formal Method for Prediction of Emergent Behaviors in Swarm-Based Systems.
Proceedings of the 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 2004

Formal Methods for Autonomic and Swarm-based Systems.
Proceedings of the International Symposium on Leveraging Applications of Formal Methods, 2004

Verification of Nasa Emergent Systems.
Proceedings of the Artificial Intelligence Applications and Innovations, 2004

Verification of Emergent Behaviors in Swarm-based Systems.
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.
Proceedings of the International Symposium on Artificial Intelligence and Mathematics, 2002

2000
Characterizing the Set of Extensions of a Nonmonotonic Rule System with Levels.
Proceedings of the International Symposium on Artificial Intelligence and Mathematics, 2000

1999
Locally Determined Logic Programs.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1999


  Loading...