Path: utzoo!mnetor!uunet!seismo!sundc!pitstop!sun!decwrl!labrea!agate!pasteur!ames!sunybcs!rapaport
From: rapaport@sunybcs.uucp (William J. Rapaport)
Newsgroups: comp.ai
Subject: Re: Modal Logic and AI -- References Needed
Message-ID: <8904@sunybcs.UUCP>
Date: 29 Feb 88 14:42:52 GMT
References: <1988Feb27.021115.11206@gpu.utcs.toronto.edu>
Sender: news@sunybcs.UUCP
Reply-To: rapaport@gort.UUCP (William J. Rapaport)
Distribution: na
Organization: SUNY/Buffalo Computer Science
Lines: 27

In article <1988Feb27.021115.11206@gpu.utcs.toronto.edu> kurfurst@gpu.utcs.toronto.edu (Thomas Kurfurst) writes:
>
>I am seeking references to seminal works relating modal logic to artifical
>intelligence research, especially more theoretical (philosophical)
>papers rather than applications per se.

Depends, of course, on how broad you intend "modal" to cover, but here
are a few starting points:

S. C. Shapiro (ed.), Encyclopedia of AI (John Wiley, 1987):
    -   articles on Modal Logic, Belief Systems

J. Y. Halpern (ed.), Theoretical Aspects of Reasoning About Knowledge
(Los Altos, CA:  Morgan Kaufmann)

and, not to be shy, my own work on belief representation is rather
philosophical:

Rapaport, William J. (1986), ``Logical Foundations for Belief Representation,''
Cognitive Science 10:  371-422. 
					William J. Rapaport
					Assistant Professor

Dept. of Computer Science||internet:  rapaport@cs.buffalo.edu
SUNY Buffalo		 ||bitnet:    rapaport@sunybcs.bitnet
Buffalo, NY 14260	 ||uucp: {ames,boulder,decvax,rutgers}!sunybcs!rapaport
(716) 636-3193, 3180     ||