Nonmonotonic Temporal Reasoning
{'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 extensions to classical logic                     which are both                                                                   - flexible enough to represent aspects of the real world                          such as approximate knowledge and change in knowledge                           over time which escape traditional logic                                      - theoretically sound and capable of being built into                             effective computer systems.                                                  A particular emphasis is on sound principles which enable a                     reasoning system to successfully ignore irrelevant parts of                     its knowledge in arriving at conclusions.                                            The importance of this work is in bridging the gap between                 pure theory about the consistency and effectiveness of various                  new logics and real world applications in computer reasoning                    systems and robots.
{'FirstName': 'Yoav', 'LastName': 'Shoham', 'PI_MID_INIT': None, 'PI_SUFX_NAME': None, 'PI_FULL_NAME': 'Yoav Shoham', 'EmailAddress': 'shoham@cs.stanford.edu', 'NSF_ID': '000114210', 'StartDate': '07/01/1988', 'EndDate': None, 'RoleCode': 'Principal Investigator'}
{'Name': 'Stanford University', 'CityName': 'STANFORD', 'ZipCode': '943052004', 'PhoneNumber': '6507232300', 'StreetAddress': '450 JANE STANFORD WAY', 'StreetAddress2': None, 'CountryName': 'United States', 'StateName': 'California', 'StateCode': 'CA', 'CONGRESSDISTRICT': '16', 'CONGRESS_DISTRICT_ORG': 'CA16', 'ORG_UEI_NUM': 'HJD6G4D6TJY5', 'ORG_LGL_BUS_NAME': 'THE LELAND STANFORD JUNIOR 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': '6856', 'Text': 'ARTIFICIAL INTELL & COGNIT SCI'}
{'url': 'https://www.nsf.gov/awardsearch/download?DownloadFileName=1987&All=true', 'xml': '8721701.xml'}