1. Philip R. Cohen, Jerry L. Morgan, and Martha E. Pollack. Intentions in communication, Systems Development Foundation benchmark series.. MIT Press, Cambridge, Mass., 1990.
   Note: 89012759 //r91 edited by Philip R. Cohen, Jerry Morgan, and Martha E. Pollack. A Bradford book. Includes bibliographical references and index.
   Keywords: computational linguistics, honours reading, intentionality, agent communication languagess.
   

   @Book{Cohen1990b,
   author = "Philip R. Cohen and Jerry L. Morgan and Martha E. Pollack",
   title = "Intentions in communication",
   publisher = "MIT Press",
   address = "Cambridge, Mass.",
   series = "Systems Development Foundation benchmark series.",
   note = "89012759 //r91 edited by Philip R. Cohen, Jerry Morgan, and Martha E. Pollack. {"}A Bradford book.{"} Includes bibliographical references and index.",
   keywords = "computational linguistics, honours reading, intentionality, agent communication languagess",
   year = "1990",
   
   }
   




2. Lincoln A. Wallen. Automated proof search in non-classical logics : efficient matrix proof methods for modal and intuitionistic logics, MIT Press series in artificial intelligence.. Cambridge, Mass., : M.I.T. Press, 1990.
   Keywords: modal logic, proof theory, model theory, honours reading.
   
   

   Abstract:

   "Notes: Spine title: Automated deduction in nonclassical logics. Bibliography: [228]-234. Subjects: Proof theory. Modality (Logic) Intuitionistic mathematics. ISBN: 0262231441 Library Congress Number: 89014539"

   
   

   @Book{Wallen1990,
   author = "Lincoln A. Wallen",
   title = "Automated proof search in non-classical logics : efficient matrix proof methods for modal and intuitionistic logics",
   publisher = "Cambridge, Mass., : M.I.T. Press",
   series = "MIT Press series in artificial intelligence.",
   abstract = "Notes: Spine title: Automated deduction in nonclassical logics. Bibliography: [228]-234. Subjects: Proof theory. Modality (Logic) Intuitionistic mathematics. ISBN: 0262231441 Library Congress Number: 89014539",
   keywords = "modal logic, proof theory, model theory, honours reading",
   year = "1990",
   
   }
   

1. P. R. Cohen and H. J. Levesque. Intention is choice with commitment. Artificial Intelligence, 42((2--3)):213--361, 1990.
   Keywords: intentionality, model theory, belief desires intentions, BDI, honours reading.
   

   @Article{Cohen1990,
   author = "P. R. Cohen and H. J. Levesque",
   title = "Intention is choice with commitment",
   journal = "Artificial Intelligence",
   volume = "42",
   number = "(2--3)",
   pages = "213--361",
   keywords = "intentionality, model theory, belief desires intentions, BDI, honours reading",
   year = "1990",
   
   }
   




2. J. Y. Halpern and Y. Moses. Knowledge and common knowledge in a distributed environment. Journal of the ACM (JACM), 37(3):549--587, 1990.
   Keywords: epistemic logic, agent programming languages, model theory, honours reading.
   

   @Article{Halpern1990,
   author = "J. Y. Halpern and Y. Moses",
   title = "Knowledge and common knowledge in a distributed environment",
   journal = "Journal of the ACM (JACM)",
   volume = "37",
   number = "3",
   pages = "549--587",
   keywords = "epistemic logic, agent programming languages, model theory, honours reading",
   year = "1990",
   
   }
   




3. J. R. Quinlan. Learning logical definitions from relations. Machine Learning, 5:239--266, 1990.
   Keywords: inductive logic programming, machine learning, honours reading.
   

   @Article{Quinlan1990,
   author = "J. R. Quinlan",
   title = "Learning logical definitions from relations",
   journal = "Machine Learning",
   volume = "5",
   pages = "239--266",
   keywords = "inductive logic programming, machine learning, honours reading",
   year = "1990",
   
   }
   

1. David S. Johnson. Local optimization and the traveling salesman problem. In M. S. Paterson, editor, Automata, Languages and Programming. 17th International Colloquium Proceedings; Coventry, UK, Berlin, Germany, pages p. ix+780, 446--61, 1990. Springer-Verlag.
   Keywords: algorithms, honours reading.
   

   @InProceedings{Johnson1990,
   author = "David S. Johnson",
   title = "Local optimization and the traveling salesman problem",
   booktitle = "Automata, Languages and Programming. 17th International Colloquium Proceedings; Coventry, UK",
   editor = "M. S. Paterson",
   address = "Berlin, Germany",
   publisher = "Springer-Verlag",
   pages = "p. ix+780, 446--61",
   keywords = "algorithms, honours reading",
   year = "1990",
   
   }
   

Disclaimer: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All person copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.