Logic, Computational Complexity and Rule Based Systems
{'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}
This project concerns three areas of research that deal with                    particular kinds of rule based systems: (1) logic programming,                  (2) stratification and knowledge base management, and (3)                       Petri nets and vector addition systems.  In area (1) several                    problems are being investigated that deal with the analysis                     of fundamental algorithms of unification &amp; generalization                       and semantic &amp; recursion theoretic issues for Prolog and                        extensions such as Constraint Logic Programming.  In area                       (2), the PI is seeking applications of the notion of                            stratification to rule based systems whose semantics are                        those of propositional logic.  Intended Model Semantics,                        querying and related issues are also under study.  In area                      (3), the PI is making proof-theoretic analyses of algorithms                    for Petri nets and possible extensions.                                                                                                                         The problems proposed are important ones for which solutions                    are needed to make logic programming sound and more generally                   applicable.  Results that will have practical impact are                        anticipated.
{'FirstName': 'Ken', 'LastName': 'McAloon', 'PI_MID_INIT': None, 'PI_SUFX_NAME': None, 'PI_FULL_NAME': 'Ken McAloon', 'EmailAddress': None, 'NSF_ID': '000172357', 'StartDate': '07/15/1987', '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'}
{'url': 'https://www.nsf.gov/awardsearch/download?DownloadFileName=1987&All=true', 'xml': '8703086.xml'}