RUI: Applications of Logic to Computer Science
{'Code': '05010100', 'Directorate': {'Abbreviation': 'CSE', 'LongName': 'Direct For Computer & Info Scie & Enginr'}, 'Division': {'Abbreviation': 'CCF', 'LongName': 'Division of Computing and Communication Foundations'}}
{'SignBlockName': 'Krishna M. Kavi', 'PO_EMAI': None, 'PO_PHON': None}
The principal purpose of this research proposal is to investigate the           possible applications of the recent developments in the Logic of                Knowledge, in Distributed Computing, Artificial Intelligence and other          areas.  In particular knowledge revision, the problem of logical                omniscience, formalization of probabilistic knowledge, and other areas          where the notion of knowledge can be expected to play an important role         will be investigated.
{'FirstName': 'Rohit', 'LastName': 'Parikh', 'PI_MID_INIT': 'J', 'PI_SUFX_NAME': None, 'PI_FULL_NAME': 'Rohit J Parikh', 'EmailAddress': 'rparikh@gc.cuny.edu', 'NSF_ID': '000093777', 'StartDate': '09/01/1988', 'EndDate': None, 'RoleCode': 'Principal Investigator'}
{'Name': 'CUNY Brooklyn College', 'CityName': 'BROOKLYN', 'ZipCode': '112102850', 'PhoneNumber': '7189515622', 'StreetAddress': '2900 BEDFORD AVE', 'StreetAddress2': None, 'CountryName': 'United States', 'StateName': 'New York', 'StateCode': 'NY', 'CONGRESSDISTRICT': '09', 'CONGRESS_DISTRICT_ORG': 'NY09', 'ORG_UEI_NUM': 'XNAKYW3FTSE1', 'ORG_LGL_BUS_NAME': 'RESEARCH FOUNDATION OF THE CITY UNIVERSITY OF NEW YORK', 'ORG_PRNT_UEI_NUM': None}
{'Name': None, 'CityName': None, 'StateCode': None, 'ZipCode': None, 'StreetAddress': None, 'CountryCode': None, 'CountryName': None, 'StateName': None, 'CountryFlag': None, 'CONGRESSDISTRICT': None, 'CONGRESS_DISTRICT_PERF': '""'}
[{'Code': '2860', 'Text': 'THEORY OF COMPUTING'}, {'Code': '9120', 'Text': 'CROSS-DIRECTORATE PROGRAMS'}]
{'url': 'https://www.nsf.gov/awardsearch/download?DownloadFileName=1988&All=true', 'xml': '8803409.xml'}