Extending the Domain of Logic Programming
{'Code': '05020000', 'Directorate': {'Abbreviation': 'CSE', 'LongName': 'Direct For Computer & Info Scie & Enginr'}, 'Division': {'Abbreviation': 'IIS', 'LongName': 'Div Of Information & Intelligent Systems'}}
{'SignBlockName': 'Howard Moraff', 'PO_EMAI': None, 'PO_PHON': None}
This research focuses on extending logic programming beyond                first order logic.  One kind ofextension allows more kinds of                   clauses in the knowledge base.  In particular, indefinite clauses               are allowed to exist in the knowledge base, and processing                      strategies are developed so that inference takes not significantly              longer than a multiple of the time required in the case of definite             clauses only.  A second extension permits the use of variables                  in place of predicate and function symbols in definite clauses.                      The importance of this work is in developing automatic program             transformation and verification systems, and in illuminating                    the fundamental processes required for logic programming in                     knowledge based systems.
[{'FirstName': 'Gopalan', 'LastName': 'Nadathur', 'PI_MID_INIT': None, 'PI_SUFX_NAME': None, 'PI_FULL_NAME': 'Gopalan Nadathur', 'EmailAddress': 'ngopalan@umn.edu', 'NSF_ID': '000220975', 'StartDate': '08/01/1988', 'EndDate': None, 'RoleCode': 'Co-Principal Investigator'}, {'FirstName': 'Donald', 'LastName': 'Loveland', 'PI_MID_INIT': 'W', 'PI_SUFX_NAME': None, 'PI_FULL_NAME': 'Donald W Loveland', 'EmailAddress': 'dwl@cs.duke.edu', 'NSF_ID': '000159340', 'StartDate': '08/01/1988', 'EndDate': None, 'RoleCode': 'Principal Investigator'}]
{'Name': 'Duke University', 'CityName': 'DURHAM', 'ZipCode': '277054640', 'PhoneNumber': '9196843030', 'StreetAddress': '2200 W MAIN ST', 'StreetAddress2': None, 'CountryName': 'United States', 'StateName': 'North Carolina', 'StateCode': 'NC', 'CONGRESSDISTRICT': '04', 'CONGRESS_DISTRICT_ORG': 'NC04', 'ORG_UEI_NUM': 'TP7EK8DZV6N5', 'ORG_LGL_BUS_NAME': 'DUKE UNIVERSITY', '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': '287500', 'Text': 'SYSTEM SOFTWARE'}, {'Code': '685600', 'Text': 'ARTIFICIAL INTELL & COGNIT SCI'}]
{'url': 'https://www.nsf.gov/awardsearch/download?DownloadFileName=1988&All=true', 'xml': '8805696.xml'}