2日国会意大利协会人工智能,人工智能* IA、巴勒莫、意大利、29-31,1991年10月……在K.H. Blasius, Hedstuck, C.-R。滚动、编辑排序和类型在人工智能…
作者:Associazione italiana / l 'intelligenza artificiale。国会
出版者:施普林格科学与商业媒体
国际标准图书编号:3540547126
类别:电脑
页面:502年
观点:640年
这本书收集科学论文发表在意大利协会第二届国会人工智能,在巴勒莫在1991年10月举行。它显示的意大利和欧洲的艺术在人工智能科学研究。这本书开头的特邀报告w . Wahlster et al。这本书的大部分被分为5个部分:知识表示论文(18),——知识获取(5篇),——自然语言(5篇),-知觉和机器人(5篇),架构和技术论文(5)。一节包含短论文完成这本书。高质量论文反映了巨大的研究活动主要致力于人工智能的理论方面,但显然旨在巩固已经取得的结果。一些贡献是面向技术方面的人工智能。式美元用于引入用户的排序推出,通过声明他们的伪-排序式美元。例如tff (fruit_type,类型tff (list_type类型、水果:$式)。列表:$式)。这是唯一使用美元式。
作者:Nikolaj Bjørner
出版者:施普林格
国际标准图书编号:9783642287176
类别:电脑
页面:446年
观点:434年
这本书是18国际会议的程序逻辑编程,人工智能,和推理,LPAR-18, 2012年3月在委内瑞拉,梅里达举行。25常规文件和6工具描述和实验论文提出检查很仔细,选择从74年提交。逻辑编程的一系列国际会议,人工智能和推理(LPAR)是一个论坛,年复一年,一些最著名的研究领域的逻辑,自动推理、计算逻辑,编程语言和应用程序来展示前沿成果,讨论这些领域的进步,和交流思想的科学新兴世界的一部分。让年代一组方程式的理论排序(例如,在例1.1 S = {EL、队列})。签名/ S是一组操作X连同一个(隐性)输入函数T,分配给每一个运营商f€X类型T (f)……
作者:约翰Retti
出版者:施普林格科学与商业媒体
国际标准图书编号:9783642746888
类别:电脑
页面:452年
观点:164年
死5。奥地利Artificial-Intelligence-Tagung setzt西奇z来自wissenschaftlichem方针、工作坊和教程。Der wissenschaftlich orientierte菩提树des Tagungsprogramms umfa€t sowohl eingeladene als欧什begutachtete Vortrage吧台有定性Schlie€, Methodik Wissensbasierter Systeme和deren Anwendung,逻辑学/ Deduktion Naturlichsprachliche Systeme, Lernen Kognition。Zum Informationsaustausch waren zusatzlich车间苏珥Weiterbildung vorgesehen。感兴趣das主题“消灭哲学和KI”Thema demonstrierte das《感兴趣。死soll后麻省理工学院Beitragen dokumentiert了,模杯Uberblick uber Beruhrungspunkte der KI麻省理工学院philosophischen Stromungen bieten和欧什窝Einflu€der KI als菩提树der Informatik auf das philosophische人生观verdeutlichen。Ebenfalls reprasentative Beitrage wurden吧台研讨会“Konnektionismus”、“定性Schlie€en”和“Begriffsbildung / -modellierung”ausgewahlt。XVIth意大利协会国际会议人工智能、巴里、意大利……只有类型一个特定的排序(称为sortals)提供了持久性原则,个性化、计数和环球的……
作者:Floriana埃斯波西托
出版者:施普林格
国际标准图书编号:9783319701691
类别:电脑
页面:514年
观点:971年
这本书构成了第16届国际会议的执法程序的意大利协会人工智能AI * 2017 (IA),在巴里举行,意大利,2017年11月。37完整论文提出了很仔细,选择从91年提交。论文组织局部部分人工智能的应用;自然语言处理;知识表示和推理;知识工程、本体和语义网;machinelearning;哲学基础,元认知建模和道德;和规划和调度。