{"title":"Believability in Default Logic Entails Logical Consequence from Circumscription (Somestimes)","authors":"A. Togashi, Ben-Hui Hou, S. Noguchi","doi":"10.1007/BFb0018386","DOIUrl":"https://doi.org/10.1007/BFb0018386","url":null,"abstract":"","PeriodicalId":118065,"journal":{"name":"Knowledge Based Computer Systems","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1990-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127198768","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Mental Models of Recursion and Their Use in the SCENT Programming Advisor","authors":"Shawkat Bhuiyan, J. Greer, G. McCalla","doi":"10.1007/BFb0018374","DOIUrl":"https://doi.org/10.1007/BFb0018374","url":null,"abstract":"","PeriodicalId":118065,"journal":{"name":"Knowledge Based Computer Systems","volume":"41 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1989-12-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122718358","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Representing Discursive Temporal Knowledge: A Computational Application of DRT","authors":"M. Bras","doi":"10.1007/BFb0018390","DOIUrl":"https://doi.org/10.1007/BFb0018390","url":null,"abstract":"","PeriodicalId":118065,"journal":{"name":"Knowledge Based Computer Systems","volume":"23 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1989-12-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116870751","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Knowledge Representation in Distributed Blackboard Architecture - Some Issues","authors":"M. K. Saxena, K. K. Biswas, P. Bhatt","doi":"10.1007/BFb0018382","DOIUrl":"https://doi.org/10.1007/BFb0018382","url":null,"abstract":"","PeriodicalId":118065,"journal":{"name":"Knowledge Based Computer Systems","volume":"31 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1989-12-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123999247","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Differing Perspectives of Knowledge Representation in Artificial Intelligence and Discrete Event Modeling","authors":"A. Radiya, R. Sargent","doi":"10.1007/BFb0018380","DOIUrl":"https://doi.org/10.1007/BFb0018380","url":null,"abstract":"","PeriodicalId":118065,"journal":{"name":"Knowledge Based Computer Systems","volume":"55 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1989-12-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126509716","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Novel Terms and Cooperation in a Natural Language Interface","authors":"P. McFetridge, Chris Groeneboer","doi":"10.1007/BFb0018391","DOIUrl":"https://doi.org/10.1007/BFb0018391","url":null,"abstract":"","PeriodicalId":118065,"journal":{"name":"Knowledge Based Computer Systems","volume":"139-140 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1989-12-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132660751","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Design and Implementation of a Broadcast Cube Multiprocessor","authors":"R. Moona, V. Rajaraman","doi":"10.1007/BFb0018368","DOIUrl":"https://doi.org/10.1007/BFb0018368","url":null,"abstract":"","PeriodicalId":118065,"journal":{"name":"Knowledge Based Computer Systems","volume":"108 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1989-12-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133733668","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Central Government Pension Rules as a Logic Program","authors":"K. Bajaj, R. Dubash, R. Kowalski","doi":"10.1007/BFb0018365","DOIUrl":"https://doi.org/10.1007/BFb0018365","url":null,"abstract":"","PeriodicalId":118065,"journal":{"name":"Knowledge Based Computer Systems","volume":"22 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1989-12-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125014186","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Pruning by Upperbounds in Heuristic Search: Use of Approximate Algorithms","authors":"U. Sarkar, P. Chakrabarti, S. Ghose, S. Sarkar","doi":"10.1007/BFb0018402","DOIUrl":"https://doi.org/10.1007/BFb0018402","url":null,"abstract":"","PeriodicalId":118065,"journal":{"name":"Knowledge Based Computer Systems","volume":"25 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1989-12-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125460686","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Research and Development at KBCS Nodal Centre, IISc, Bangalore","authors":"V. Rajaraman","doi":"10.1007/BFb0018409","DOIUrl":"https://doi.org/10.1007/BFb0018409","url":null,"abstract":"","PeriodicalId":118065,"journal":{"name":"Knowledge Based Computer Systems","volume":"54 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1989-12-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127743829","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}