Semantics of Logic Programming
{'Code': '05010100', 'Directorate': {'Abbreviation': 'CSE', 'LongName': 'Direct For Computer & Info Scie & Enginr'}, 'Division': {'Abbreviation': 'CCF', 'LongName': 'Division of Computing and Communication Foundations'}}
{'SignBlockName': 'name not available', 'PO_EMAI': None, 'PO_PHON': None}
The denotational and fixpoint semantics of Prolog and several related           extensions of conventional Logic Programming are under investigation.           The work on Prolog is concerned with the behavior of negation and with          the consequences of the non-fair selection rule in Prolog.  The Logic           Programming extensions being investigated center around the idea of             broadening the underlying space of truth values.  The specific                  extensions being investigated are:  allowing undefined and overdefined          as well as true and false as truth values; allowing truth values in a           Pseudo-Boolean algebra 'evidence space'; allowing truth values in a             topological space, for the purpose of modelling partial or inconsistent         evidence; and allowing Kripke models incorporating multiple modalities,         for the purpose of modelling distributed logic programming.                     The use of languages developed from logic, Prolog in particular, is             expanding rapidly.  Research in progress here is significant in that it         provides a deeper understanding of the design and extension of these            languages and of the process of programming correctly and verifiably            with these languages.
{'FirstName': 'Melvin', 'LastName': 'Fitting', 'PI_MID_INIT': None, 'PI_SUFX_NAME': None, 'PI_FULL_NAME': 'Melvin Fitting', 'EmailAddress': 'melvin.fitting@lehman.cuny.edu', 'NSF_ID': '000149642', 'StartDate': '07/01/1987', 'EndDate': None, 'RoleCode': 'Principal Investigator'}
{'Name': 'Research Foundation Of The City University Of New York (Lehman)', 'CityName': 'BRONX', 'ZipCode': '104681527', 'PhoneNumber': '7189608107', 'StreetAddress': '250 BEDFORD PARK BLVD W', 'StreetAddress2': None, 'CountryName': 'United States', 'StateName': 'New York', 'StateCode': 'NY', 'CONGRESSDISTRICT': '13', 'CONGRESS_DISTRICT_ORG': 'NY13', 'ORG_UEI_NUM': 'DJ4SM8UQBHT7', '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': '286000', 'Text': 'THEORY OF COMPUTING'}
{'url': 'https://www.nsf.gov/awardsearch/download?DownloadFileName=1987&All=true', 'xml': '8702307.xml'}