{"title":"SAFIR: Intelligente Software für den Zugriff zu unterschiedlichen Datenbanken","authors":"Volkmar H. Haase, Monika Reiter","doi":"10.1007/978-3-642-74688-8_23","DOIUrl":"https://doi.org/10.1007/978-3-642-74688-8_23","url":null,"abstract":"","PeriodicalId":202838,"journal":{"name":"Austrian Conference on Artificial Intelligence","volume":"55 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1989-09-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126547578","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":"Learning Heuristics for a Theorem Prover Using Back Propagation","authors":"W. Ertel, J. Schumann, C. Suttner","doi":"10.1007/978-3-642-74688-8_10","DOIUrl":"https://doi.org/10.1007/978-3-642-74688-8_10","url":null,"abstract":"","PeriodicalId":202838,"journal":{"name":"Austrian Conference on Artificial Intelligence","volume":"28 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1989-09-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122449268","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":"Heideggers Philosophie der Mathematik als Vorbild für eine Philosophie der Künstlichen Intelligenz","authors":"Knut Radbruch","doi":"10.1007/978-3-642-74688-8_40","DOIUrl":"https://doi.org/10.1007/978-3-642-74688-8_40","url":null,"abstract":"","PeriodicalId":202838,"journal":{"name":"Austrian Conference on Artificial Intelligence","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1989-09-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133501162","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":"Ein neues Konzept wissensbasierter Systeme zur Lösung der Wegeprobleme für autonome mobile Roboter","authors":"W. Tian, W. Weber","doi":"10.1007/978-3-642-74688-8_9","DOIUrl":"https://doi.org/10.1007/978-3-642-74688-8_9","url":null,"abstract":"","PeriodicalId":202838,"journal":{"name":"Austrian Conference on Artificial Intelligence","volume":"149 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1989-09-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133515101","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":"Die Anwendung Generalisierter Quantoren in einem natürlichsprachigen Datenbank-Interface","authors":"W. Heinz, Johannes Matiasek","doi":"10.1007/978-3-642-74688-8_14","DOIUrl":"https://doi.org/10.1007/978-3-642-74688-8_14","url":null,"abstract":"","PeriodicalId":202838,"journal":{"name":"Austrian Conference on Artificial Intelligence","volume":"62 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1989-09-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122285362","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":"ARTEX: Configuration-Driven Diagnosis for Routing Systems","authors":"G. Fleischanderl, G. Friedrich, J. Retti","doi":"10.1007/978-3-642-74688-8_6","DOIUrl":"https://doi.org/10.1007/978-3-642-74688-8_6","url":null,"abstract":"","PeriodicalId":202838,"journal":{"name":"Austrian Conference on Artificial Intelligence","volume":"41 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1989-09-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127094484","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}