Back to publication index

Publications of year 1986
Books
  1. Joseph Y. Halpern, International Business Machines Corporation., American Association for Artificial Intelligence., United States. Office of Naval Research., and Association for Computing Machinery., editors. Theoretical aspects of reasoning about knowledge : proceedings of the 1986 conference, March 19-22, 1986, Monterey, California. M. Kaufmann Publishers, Los Altos, Calif., 1986.
    Note: Edited by Joseph Y. Halpern ; cosponsored by IBM, American Association of Artificial Intelligence, and the Office of Naval Research, in cooperation with Association for Computing Machinery. Includes bibliographies and index.
    Keywords: modal logic, model theory, honours reading.
    @Book{Halpern1986,
    editor = "Joseph Y. Halpern and International Business Machines Corporation. and American Association for Artificial Intelligence. and United States. Office of Naval Research. and Association for Computing Machinery.",
    title = "Theoretical aspects of reasoning about knowledge : proceedings of the 1986 conference, March 19-22, 1986, Monterey, California",
    publisher = "M. Kaufmann Publishers",
    address = "Los Altos, Calif.",
    note = "edited by Joseph Y. Halpern ; cosponsored by IBM, American Association of Artificial Intelligence, and the Office of Naval Research, in cooperation with Association for Computing Machinery. Includes bibliographies and index.",
    keywords = "modal logic, model theory, honours reading",
    year = "1986",
    
    }
    


Journal Articles and Chapters
  1. Gerald Dejong and Raymond J. Mooney. Explanation-Based Learning: An Alternative View. Machine Learning, 1(2):145--176, 1986.
    Keywords: explanation-based learning, machine learning, honours reading.
    @Article{Dejong1986,
    author = "Gerald Dejong and Raymond J. Mooney",
    title = "Explanation-Based Learning: An Alternative View",
    journal = "Machine Learning",
    volume = "1",
    number = "2",
    pages = "145--176",
    keywords = "explanation-based learning, machine learning, honours reading",
    year = "1986",
    
    }
    


  2. E. Allen Emerson and Joseph Y. Halpern. 'Sometimes' and 'Not Never' Revisited: On Branching versus Linear Time Temporal Logic. Journal of the Association for Computing Machinery, 33(1):151--178, 1986.
    Keywords: temporal logic, honours reading.
    @Article{Emerson1986,
    author = "E. Allen Emerson and Joseph Y. Halpern",
    title = "'Sometimes' and 'Not Never' Revisited: On Branching versus Linear Time Temporal Logic",
    journal = "Journal of the Association for Computing Machinery",
    volume = "33",
    number = "1",
    pages = "151--178",
    keywords = "temporal logic, honours reading",
    year = "1986",
    
    }
    


  3. M. Georgeff and A. Lansky. Procedural Knowledge. Proceedings of the IEEE (Special Issue on Knowledge Representation), 74:1383--1398, 1986.
    Keywords: procedural reasoning, honours reading, model theory, belief desires intentions, BDI, logistics.
    @Article{Georgeff1986,
    author = "M. Georgeff and A. Lansky",
    title = "Procedural Knowledge",
    journal = "Proceedings of the IEEE (Special Issue on Knowledge Representation)",
    volume = "74",
    pages = "1383--1398",
    keywords = "procedural reasoning, honours reading, model theory, belief desires intentions, BDI, logistics",
    year = "1986",
    
    }
    


  4. Tom M. Mitchell, Richard M. Keller, and Smadar T. Kedar-Cabelli. Explanation Based Learning A Unifying View. Machine Learning, 1(1):47--80, 1986.
    Keywords: machine learning, explanation-based learning, honours reading.
    @Article{Mitchell1986,
    author = "Tom M. Mitchell and Richard M. Keller and Smadar T. Kedar-Cabelli",
    title = "Explanation Based Learning {A} Unifying View",
    journal = "Machine Learning",
    volume = "1",
    number = "1",
    pages = "47--80",
    keywords = "machine learning, explanation-based learning, honours reading",
    year = "1986",
    
    }
    


  5. L. R. Rabiner and B. H. Juang. An Introduction to Hidden Markov Models. IEEE ASSP Magazine, pp 4--16, 1986.
    Keywords: Markov theory, honours reading.
    @Article{Rabiner1986,
    author = "L. R. Rabiner and B. H. Juang",
    title = "An Introduction to Hidden Markov Models",
    journal = "IEEE ASSP Magazine",
    pages = "4--16",
    keywords = "Markov theory, honours reading",
    year = "1986",
    
    }
    



Back to publication index



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.

Bibliography last modified: Fri Aug 6 11:18:01 2010 translated from BibTEX by bibtex2html