[ont.events] Artificial Intelligence Seminar

eas@utcsrgv.UUCP (Ann Struthers) (11/01/84)

                   ARTIFICIAL INTELLIGENCE SEMINAR
			 
			 Tues. Nov. 6, 1984
			     3:00P.M.

       "Early Processing of Spatial - Temporal Visual Information"
			     David Fleet
                      Department of Computer Science
			 University of Toronto

eas@utcsrgv.UUCP (Ann Struthers) (11/02/84)

                 ARTIFICIAL INTELLIGENCE SEMINAR
			Tues. Nov. 6, 1984
			     3:00PM

		  SANFORD FLEMMING BUILDING 1105

			  David Fleet
                  Department of Computer Science
		       University of Toronto



      "Early Processing of Spatial-Temporal Visual Information"
			    

eas@utcsrgv.UUCP (Ann Struthers) (11/29/84)

	            ARTIFICIAL INTELLIGENCE SEMINAR

                       Tuesday, December 4, 1984

                              3:00 P.M.

                    Sandford Fleming Building 1105



		       Professor Hector Levesque
		    Department of Computer Science
		         University of Toronto


	      "A Logic of Implicit and Explicit Belief"


As part of an on-going project to understand the foundations of Knowledge
Representation, we are attempting to characterize a kind of belief that
forms a more appropriate basis for Knowledge Represenation systems than
that captured by the usual possible-world formalizations begun by Hin-
tiakka.  In this talk, we point out deficiencies in current semantic 
treatments of knowledge and belief (including recent sysntactic approaches)
and suggest a new analysis in the form of a logic that avoids these short-
comings and is also more viable computationally.

eas@utcsrgv.UUCP (Ann Struthers) (01/09/85)

                  ARTIFICIAL INTELLIGENCE SEMINAR

                     Tuesday, January 15, 1985

        	3:00 P.M. Sandford Fleming Building 1105



	               Professor Stuart Anstis

		Department of Psychology, York University