Back to publication index
Publications of year 1990
|
-
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.
[bibtex-entry]
-
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] [bibtex-entry]
-
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.
[bibtex-entry]
-
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.
[bibtex-entry]
-
J. R. Quinlan.
Learning logical definitions from relations.
Machine Learning,
5:239--266,
1990.
Keywords:
inductive logic programming,
machine learning,
honours reading.
[bibtex-entry]
-
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.
[bibtex-entry]
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:00 2010
translated from BibTEX by
bibtex2html