Bibliography

Audi, Robert. Action, Intention, and Reason . Ithaca, N.Y.: Cornell University Press, 1993.

Axford, Tom. Concurrent Programming: Fundamental Techniques for Real-Time and Parallel Software Design . Chichester, U.K.: John Wiley, 1989.

Baase, Sarah. Computer Algorithms: Introduction to Design and Analysis . 2nd ed. Reading, Mass.: Addison-Wesley, 1988.

Barfield, Woodrow, and Thomas A. Furnell III. Virtual Environments and Advanced Interface Design . New York: Oxford University Press, 1995.

Binkley, Robert, Bronaugh, Richard, and Ausonio Marras. Agent, Action, and Reason . Toronto: University of Toronto Press, 1971.

Booch, Grady, James Rumbaugh, and Ivar Jacobson. The Unified Modeling Language User Guide . Boston: Addison-Wesley, 1999.

Bowan, Howard, and John Derrick. Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches . New York: Cambridge University Press, 2001.

Brewka, Gerhard, Jurgen Diz, and Kurt Konolige. Nonmonotonic Reasoning . Stanford, Calif.: CSLI Publications, 1997.

Carroll, Martin D., and Margaret A. Ellis. Designing and Coding Reusable C++ . Reading, Mass.: Addison-Wesley, 1995.

Cassell, Justine, Joseph Sullivan, Scott Prevost, and Elizabeth Churchill. Embodied Conversational Agents . Cambridge, Mass.: MIT Press, 2000.

Chellas, Brian F. Modal Logic: An Introduction . New York: Cambridge University Press, 1980.

Coplien, James O. Multi-Paradigm Design for C++ . Reading, Mass.: Addison-Wesley, 1999.

Cormen, Thomas, Charles Leiserson, and Ronald Rivet. Introduction to Algorithms . Cambridge, Mass.: MIT Press, 1995.

Englemore, Robert, and Tony Morgan. Blackboard Systems . Wokingham, England: Addison-Wesley, 1988.

Garg, Vijay K. Principles of Distributed Systems . Norwell, Mass.: Kluwer Academic, 1996.

Geist, Al, Adam Beguelin, Jack Dongarra, Weicheng Jiang, Robert Manchek, and Vaidy Sinderman. PVM: Parallel Virtual Machine . London, England: MIT Press, 1994.

Goodheart, Berny, and James Cox. The Magic Garden Explained: The Internals of Unix System V Release 4 . New York: Prentice Hall, 1994.

Gropp, William, Steven Huss-Lederman, Andrew Lumsdaine, Ewing Lusk, Bill Nitzberg, William Saphir, and Marc Snir. MPI: The Complete Reference . Vol. 2. Cambridge, Mass.: MIT Press, 1998.

Heath, Michael T. Scientific Computing: An Introduction Survey . New York: McGraw-Hill.

Henning, Michi, and Steve Vinoski. Advanced COBRA Programming with C++ . Reading, Mass.: Addison-Wesley, 1999.

Hintikka, Jakko, and Merrill Hintikka. The Logic of Epistemology and the Epistemology of Logic . Amsterdam: Kluwer Academic, 1989.

Horty, John F. Agency and Deontic Logic . New York: Oxford University Press, 2001.

Hughes, Cameron, and Tracey Hughes. Mastering the Standard C++ Classes . New York: John Wiley, 1990.

Hughes, Cameron, and Tracey Hughes. Object-Oriented Multithreading Using C++ . New York: John Wiley, 1997.

Hughes, Cameron, and Tracey Hughes. Linux Rapid Application Development . Foster City, Calif.: M & T Books, 2000.

International Standard Organization. Information Technology: Portable Operating System Interface . Pt. 1 System Application Program Interface. 2nd ed. Std 1003.1 ANSI/IEEE. 1996.

Josuttis, Nicolai M. The C++ Standard . Boston: Addison-Wesley, 1999.

Koeing, Andrew, and Barbara Moo. Ruminations on C++ . Reading, Mass.: Addison-Wesley, 1997.

Krishnamoorthy, C.S., and S. Rajeev. Artificial Intelligence and Expert Systems for Engineers . Boca Raton, Fla.: CRC Press, 1996.

Lewis, Ted, Glenn Andert, Paul Calder, Erich Gamma, Wolfgang Press, Larry Rosenstein, and Kraus, Sarit. Strategic Negotiation in Multitangent Environments . London: MIT Press, 2001.

Luger, George F. Artificial Intelligence . 4th ed. England: Addison-Wesley, 2002.

Mandrioli Dino, and Carlo Ghezzi. Theoretical Foundations of Computer Science . New York: John Wiley, 1987.

Nielsen, Michael A., and Isaac L. Chuang. Quantum Computation and Quantum Information . New York: Cambridge University Press, 2000.

Patel, Mukesh J., Vasant Honavar, and Karthik Balakrishnan. Advances in the Evolutionary Synthesis of Intelligent Agents . Cambridge, Mass.: MIT Press, 2001.

Picard, Rosalind. Affective Computing . London: MIT Press, 1997.

Rescher, Nicholas, and Alasdir Urquhart. Temporal Logic . New York: Springer-Verlag, 1971.

Robbins, Kay A., and Steven Robbins. Practical Unix Programming . Upper Saddle River, N.J.: Prentice Hall, 1996.

Schmucker, Kurt, Ander Weinand, and John M. Vlissides. Object-Oriented Application Frameworks . Greenwich, Conn.: Manning Publications, 1995.

Singh, Harry. Progressing to Distributed Multiprocessing . Upper Saddle River, N.J.: Prentice Hall, 1999.

Skillicorn, David. Foundations of Parallel Programming . New York: Cambridge University Press, 1994.

Soukup, Jiri. Taming C++: Pattern Classes and Persistence for Large Projects . Reading, Mass.: Addison-Wesley, 1994.

Sterling, Thomas L., John Salmon, Donald J. Becker, and Daniel F. Savarese. How to Build a Bewoulf: A Guide to Implementation and Application of PC Clusters . London: MIT Press, 1999.

Stevens, Richard W. UNIX Network Programming: Interprocess Communications . Vol. 2, 2nd ed. Upper Saddle River: Prentice Hall, 1999.

Stroustrup, Bjarne. The Design and Evolution of C++ . Reading, Mass.: Addison-Wesley, 1994.

Subrahmanian, V.S., Piero Bonatti, Jurgen Dix, Thomas Eiter, Sarit Kraus, Fatma Ozcan, and Robert Ross. Heterogeneous Agent Systems . Cambridge, Mass.: MIT Press, 2000.

Tel, Gerard. Introduction to Distributed Algorithms . 2nd ed. New York: Cambridge University Press, 2000.

Thompson, William J. Computing for Scientists and Engineers . New York: John Wiley, 1992.

Tomas, Gerald, and Christoph W. Uebeerhuber. Visualization of Scientific Parallel Programming . New York: Springer-Verlag, 1994.

Tracy, Kim W. and Peter Bouthoorn. Object-Oriented: Artificial Intelligence Using C++ . New York: Computer Science Press, 1997.

Weiss, Gerhard. Multitagent Systems . Cambridge, Mass.: MIT Press, 1999.

Wooldridge, Michael. Reasoning About Rational Agents . London: MIT Press, 2000.