1. Special issue on ontology research;AI Magazine,2003
2. Special issue on knowledge representation and logic programming;Artificial Intelligence,2002
3. KEE Software Development User's Manual,1985
4. Special issue on Dempster-Shafer theory, methodology, and applications;International Journal of Approximate Reasoning,2002
5. Dimitris Achlioptas. Lower bounds for random 3-SAT via differential equations;Theoretical Computer Science,2001