Browse by Journal or other publication
Jump to: 2000
Number of items: 2.
2000
Fox, Maria and Long, Derek (2000) Utilizing automatically inferred invariants in graph construction and search. In: 5th International Conference on Artificial Intelligence Planning Systems, 2000-04-14 - 2000-04-17.
Long, Derek and Fox, Maria (2000) Automatic synthesis and use of generic types in planning. In: 5th International Conference on Artificial Intelligence Planning Systems, 2000-04-14 - 2000-04-17.