Publications
Most of the publications below are available on the
Dokumenten-Server der Universität Leipzig . Comments welcome!
Journal and Conference papers
- Ho Ngoc Duc. On the Epistemic Foundations of Agent Theories. In:
M. Singh et. al., Intelligent Agents IV - Proceedings of
ATAL-97, LNAI, Springer Verlag, 1997. Available online:
Dokumenten-Server
(Also here:
Abstract + BibTeX (2 KB),
gzipped PostScript (64 KB) or
gzipped dvi (18 KB)
- H. N. Duc. Reasoning about Rational, but not Logically
Omniscient Agents. Journal of Logic and Computation, 7(5),
pages 633--648, 1997
Available online: local (in PostScript or
gzipped PostScript format) or on
Dokumenten-Server
- Ho Ngoc Duc. On a Dilemma of Conditional Obligation. In G. Meggle
(ed.), ANALYOMEN 2, Volume I: Logic, Epistemology,
Philosophy of Science, Meggle, Georg (ed) Hawthorne, de
Gruyter, 1997, pages 93-100. Available online on Dokumenten-Server or
local (gzipped PostScript)
- Ho Ngoc Duc. Logical Omniscience vs. Logical Ignorance. On a
Dilemma of Epistemic Logic. In C. P. Pereira and N. Mamede,
editors, Progress in Artificial Intelligence. Proceedings of
EPIA'95, volume 990 of LNAI, pages 237 - 248, Heidelberg
1995. Springer Verlag. Available online as
gzipped PostScript
- Ho Ngoc Duc. Ein System der epistemischen Logik. In W. Stelzner,
editor, Philosophie und Logik. Frege-Kolloquien Jena
1989/1991, pages 205 - 214, Berlin and New York
1993. Walter de Gruyter.
Theses
- Ho Ngoc Duc. Resource-Bounded Reasoning about
Knowledge. Ph.D. thesis, Faculty of
Mathematics and Informatics, University of Leipzig, April
2001. Available:
- Ho Ngoc Duc. Reasoning about Rational, but not Logically
Omniscient Agents. Diplomarbeit (M.Sc. thesis), Faculty of
Mathematics and Informatics, University of Leipzig, May 1996.
PostScript version (gzipped)
- Ho Ngoc Duc. Semantical Investigations in the Logic of Actions
and Norms. Magisterarbeit (M.A. thesis), Faculty of Social
Sciences and Philosophy, University of Leipzig, February
1995. Available as
gzipped PostScript
Ho Ngoc Duc <duc@informatik.uni-leipzig.de>
Last modified: Thu Apr 5 14:40:16 MET DST 2001