Research in Artificial Intelligence at the University of Pennsylvania

This report describes recent and continuing research in artificial intelligence and related fields being conducted at the University of Pennsylvania. Although AI research takes place primarily in the Department of Computer and Information Science ( in School of Engineering and Applied Science), many aspects of this research are preformed in collaboration with other engineering departments as well as other schools at the University, such as the College of Arts and Sciences, the School of Medicine, and Wharton School.

[1]  Arthur J. Bernstein,et al.  Proving real-time properties of programs with temporal logic , 1981, SOSP.

[2]  Lokendra Shastri,et al.  Evidential Reasoning in Semantic Networks: A Formal Theory , 1985, IJCAI.

[3]  Bonnie L. Webber,et al.  Preventing False Inferences , 1984, ACL.

[4]  Norman I. Badler,et al.  Three-dimensional representations for computer graphics and computer vision , 1978, SIGGRAPH.

[5]  Martha E. Pollack,et al.  A Model of Plan Inference That Distinguishes Between the Beliefs of Actors and Observers , 1986, ACL.

[6]  Ronald J. Brachman,et al.  An overview of the KL-ONE Knowledge Representation System , 1985 .

[7]  Timothy W. Finin,et al.  Natural language interactions with artificial experts , 1986, Proceedings of the IEEE.

[8]  Eric Keener Mays.  A modal temporal logic for reasoning about changing databases with applications to natural language question answering (artificial intelligence) , 1984 .

[9]  Eric Mays,et al.  Failures in Natural Language Systems: Applications to Data Base Query Systems , 1980, AAAI.

[10]  Philip R. Cohen.  On knowing what to say: planning speech acts. , 1978 .

[11]  David J. Weir,et al.  The Relationship Between Tree Adjoining Grammars And Head Grammarst , 1986, ACL.

[12]  Sharon A. Stansfield,et al.  Primitives, features, and exploratory procedures: Building a robot tactile perception system , 1986, Proceedings. 1986 IEEE International Conference on Robotics and Automation.

[13]  Amy P. Felty,et al.  An Integration of Resolution and Natural Deduction Theorem Proving , 1986, AAAI.

[14]  Gopalan Nadathur,et al.  Some Uses of Higher-Order Logic in Computational Linguistics , 1986, ACL.

[15]  Tamar Ezekiel Granor,et al.  A user interface mangement system generator , 1986 .

[16]  C. A. R. Hoare,et al.  Communicating Sequential Processes (Reprint) , 1983, Commun. ACM.

[17]  J. O'Rourke,et al.  A spherical representation of a human body for visualizing movement , 1979, Proceedings of the IEEE.

[18]  Richard P. Paul,et al.  Design of a robot force/motion server , 1986, Proceedings. 1986 IEEE International Conference on Robotics and Automation.

[19]  James U. Korein,et al.  A geometric investigation of reach , 1985 .

[20]  Greg Hager,et al.  Computational Aspects of Proofs in Modal Logic , 1985 .

[21]  J. Allen.  Recognizing intentions from natural language utterances , 1982 .

[22]  Aravind K. Joshi,et al.  Tree Adjunct Grammars , 1975, J. Comput. Syst. Sci..

[23]  Robert Rubinoff,et al.  Explaining Concepts in Expert Systems: The CLEAR System , 1985, CAIA.

[24]  David Baraff,et al.  Physician's Workstation with Real-Time Performance , 1985, IEEE Computer Graphics and Applications.

[25]  Stephen Michael Platt.  A structural model of the human face (graphics, animation, object representation) , 1985 .

[26]  Jeffrey Scott Gangel.  A Motion Verb Interface to a Task Animation System , 1985 .

[27]  Bonnie Webber,et al.  So what can we talk about now , 1986 .

[28]  Julia Hirschberg,et al.  A theory of scalar implicature , 1985 .

[29]  Gopalan Nadathur,et al.  Higher-Order Logic Programming , 1986, ICLP.

[30]  David J. Weir,et al.  Tree Adjoining and Head Wrapping , 1986, COLING.

[31]  E PollackMartha.  Information sought and information provided , 1985 .

[32]  Paul Anthony Fishwick.  Hierarchical reasoning: simulating complex processes over multiple levels of abstraction , 1986 .

[33]  Geoffrey K. Pullum,et al.  Generalized Phrase Structure Grammar , 1985 .

[34]  Anthony S. Kroch,et al.  The Linguistic Relevance of Tree Adjoining Grammar , 1985 .

[35]  Robert Rubinoff,et al.  Adapting MUMBLE: Experience with Natural Language Generation , 1986, HLT.

[36]  Bonnie L. Webber,et al.  Living Up to Expectations: Computing Expert Responses , 1984, HLT.

[37]  Aravind K. Joshi,et al.  Some Computational Properties of Tree Adjoining Grammars , 1985, ACL.

[38]  Eric Krotkov,et al.  Range from focus , 1986, Proceedings. 1986 IEEE International Conference on Robotics and Automation.

[39]  Insup Lee,et al.  Proving a Network of Real-Time Processes Correct , 1985, RTSS.

[40]  K. Vijay-Shankar,et al.  SOME COMPUTATIONAL PROPERTIES OF TREE ADJOINING GRAMMERS , 1985, ACL 1985.

[41]  M. Brady,et al.  Recognizing Intentions From Natural Language Utterances , 1983 .

[42]  Samuel M. Goldwasser,et al.  Real-time display and manipulation of 3-d medical objects: the voxel processor architecture , 1987 .

[43]  Carl Jesse Pollard,et al.  Generalized phrase structure grammars, head grammars, and natural language , 1984 .

[44]  Ronald J. Brachman,et al.  An Overview of the KL-ONE Knowledge Representation System , 1985, Cogn. Sci..