Volume 15, Number 8, 2000
Sameer Singh:
Future profiling of time series behavior.
717-743
Tuan D. Pham:
Computing with words in formal methods.
801-810
Volume 15, Number 9, 2000
Kwang Mong Sim:
Reasoning tractably about explicit belief: A model-theoretic approach.
811-848
Volume 15, Number 10, 2000
Volume 15, Number 11, 2000
Tao Yang II:
Computational verb systems: Verb predictions and their applications.
1087-1102
Volume 15, Number 12, 2000
Adnan Amin:
Prototyping structural description using an inductive learning program.
1103-1123