BIBLIOGRAPHY
[1] Special issue on ontology research. AI Magazine, 24(3), Fall 2003.
[2] Special issue on knowledge representation and logic programming. Artificial Intelligence, 138(1-2), June 2002.
[3] KEE Software Development User's Manual. IntelliCorp, Mountain View, CA, 1985.
[4] Special issue on Dempster-Shafer theory, methodology, and applications. International Journal of Approximate Reasoning, 31(1–2), 2002.
[5] Dimitris Achlioptas. Lower bounds for random 3-SAT via differential equations. Theoretical Computer Science, 265(1–2):159–185, 2001.
[6] Sheldon B. Akers, Jr. Binary decision diagrams. IEEE Transactions on Computers, C-27(6):509–516, 1978.
[7] Carlos E. Alchourrón and David Makinson. The logic of theory change: ...