Back to publication index
Publications of year 1992
|
-
G. E. Mints.
A short introduction to modal logic,
CSLI lecture notes ; no. 30..
Center for the Study of Language and Information,
Stanford, CA,
1992.
Note: 92002924 Grigori Mints. Includes bibliographical references.
Keywords:
modal logic,
proof theory,
model theory,
honours reading.
[bibtex-entry]
-
Stephen Muggleton and C. Feng.
Efficient Induction in Logic Programs.
In Stephen Muggleton, editor,Inductive Logic Programming,
pages 281--298.
Academic Press,
1992.
Keywords:
inductive logic programming,
honours reading.
[bibtex-entry]
-
Stephen Muggleton.
Inductive Logic Programming.
In Stephen Muggleton, editor,Inductive Logic Programming,
volume 38 of The APIC Series,
pages 1--27.
Academic Press,
1992.
Keywords:
inductive logic programming,
honours reading.
[bibtex-entry]
-
M. E. Bratman.
Shared Cooperative Activity.
Philosophical Review,
101(2):327--340,
1992.
Keywords:
BDI,
agent communication languages,
agent programming languages,
honours reading,
philosophy.
[download paper
] [bibtex-entry]
-
Joseph Y. Halpern and Yoram Moses.
A guide to completeness and complexity for modal logics of knowledge and belief.
Artificial Intelligence,
54(3):319--379,
1992.
Keywords:
computational complexity,
model theory,
modal logic,
honours reading.
[abstract] [bibtex-entry]
-
Antonis C. Kakas,
Robert A. Kowalski,
and Francesca Toni.
Abductive Logic Programming.
Journal of Logic and Computation,
2(6):719--770,
1992.
Keywords:
abductive logic programming,
honours reading.
[bibtex-entry]
-
Adrian Pearce.
A survey of uncertainty calculi for pattern recognition using machine learning.
Technical Report 1992,
Department of Computer Science, Melbourne University,
May 1992.
Keywords:
Bayesian theory,
agentlab.
[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