{"title":"Extending abduction from propositional to first-order logic","authors":"P. Marquis","doi":"10.1007/3-540-54507-7_12","DOIUrl":"https://doi.org/10.1007/3-540-54507-7_12","url":null,"abstract":"","PeriodicalId":348936,"journal":{"name":"Fundamentals of Artificial Intelligence Research","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1991-09-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129691103","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":"Possibilistic logic as a logical framework for min-max discrete optimisation problems and prioritized constraints","authors":"J. Lang","doi":"10.1007/3-540-54507-7_10","DOIUrl":"https://doi.org/10.1007/3-540-54507-7_10","url":null,"abstract":"","PeriodicalId":348936,"journal":{"name":"Fundamentals of Artificial Intelligence Research","volume":"255 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1991-09-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132193682","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":"An approach to structural synthesis of data processing programs","authors":"Grazina Taucaite, Justinas Laurinskas","doi":"10.1007/3-540-54507-7_18","DOIUrl":"https://doi.org/10.1007/3-540-54507-7_18","url":null,"abstract":"","PeriodicalId":348936,"journal":{"name":"Fundamentals of Artificial Intelligence Research","volume":"33 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1991-09-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122671548","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":"User-oriented theorem proving with the ATINF graphic proof editor","authors":"R. Caferra, M. Herment, N. Zabel","doi":"10.1007/3-540-54507-7_1","DOIUrl":"https://doi.org/10.1007/3-540-54507-7_1","url":null,"abstract":"","PeriodicalId":348936,"journal":{"name":"Fundamentals of Artificial Intelligence Research","volume":"20 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1991-09-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121713735","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":"Negation as failure and intuitionistic three-valued logic","authors":"J. Vauzeilles","doi":"10.1007/3-540-54507-7_19","DOIUrl":"https://doi.org/10.1007/3-540-54507-7_19","url":null,"abstract":"","PeriodicalId":348936,"journal":{"name":"Fundamentals of Artificial Intelligence Research","volume":"39 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1991-09-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124842013","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}