×

找到351份文件（结果1-100）

最新的 引文 关联
克诺尔，马蒂亚斯;卡洛斯·维加斯·达马西奥;里卡多·贡萨阿尔维斯;约昂·莱特

面向异构知识库的起源。 （英语） Zbl 1515.68317号

Gottlob，Georg（编辑）等人，《逻辑编程和非单调推理》。第16届国际会议，LPNMR 2022，意大利热那亚，2022年9月5日至9日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13416, 287-300 (2022).
MSC公司：68立方英尺 68层35
PDF格式BibTeX公司 XML格式引用
\textit{M.Knorr}等人，Lect。注释计算。科学。13416，287--300（2022；Zbl 1515.68317）
全文： 内政部
多明哥洛佩斯·罗德里格斯;埃米利奥·穆尼奥斯·韦拉斯科;曼纽尔·奥杰达·阿西戈

FCA和大数据中的形式化方法。 （英语） Zbl 1529.68298号

Missaoui，Rokia（编辑）等人，《具有正式概念分析的复杂数据分析》。查姆：斯普林格。201-224 (2022).
MSC公司：68立方英尺 68T09号
PDF格式BibTeX公司 XML格式引用
\textit{D.López-Rodríguez}等人，in：具有形式概念分析的复杂数据分析。查姆：斯普林格。201-224（2022年；Zbl 1529.68298）
全文： 内政部
法比奥·加洛。;杰拉尔多·西马里。;Martinez、Maria Vanina;桑托斯，纳塔利亚·阿巴德;马塞洛·法拉帕。

网络知识库中的局部信念动态。 （英语） 兹比尔1508.68369

ACM事务处理。计算。日志。 23，第1号，第4条，第36页（2021年）.
MSC公司：68立方英尺 03B42号 68T27型 91天30分
PDF格式BibTeX公司 XML格式引用
\textit{F.R.Gallo}等人，《美国医学杂志》。计算。日志。23，第1号，第4条，第36页（2021年；Zbl 1508.68369）
全文： 内政部
穆克甸

不一致知识库中公式之间的冲突程度。 （英语） Zbl 07542364号

Vejnarová，Jiřina（编辑）等人，用符号和定量方法进行不确定性推理。第16届欧洲会议，ECSQARU 2021，捷克共和国布拉格，2021年9月21日至24日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12897, 499-510 (2021).
MSC公司：68层37
PDF格式BibTeX公司 XML格式引用
\textit{K.Mu}，莱克特。注释计算。科学。12897、499--510（2021；Zbl 07542364）
全文： 内政部
埃琳娜·阿拉多娃;鲍里斯·普罗特金;塔贾纳·普洛特金

代数逻辑和知识库。 （英语） Zbl 07442306号

Madarász，Judit（编辑）等人，Hajnal Andréka和István németi关于科学统一的研究。通过代数逻辑从计算到相对论。查姆：斯普林格。外部。控制日志。19, 3-25 (2021).
MSC公司：68倍 2008年X月
PDF格式BibTeX公司 XML格式引用
\textit{E.Aladova}等人，Outst。控制日志。19,3--25（2021；Zbl 07442306）
全文： 内政部
约坦·德维尔;阿诺·阿夫隆

一阶拟正则证明系统。 （英语） Zbl 1435.03085号

Cerrito，Serenella（编辑）等，《使用分析表和相关方法的自动推理》。第28届国际会议，2019年9月3日至5日，英国伦敦，TABLEAUX 2019。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11714, 77-93 (2019).
MSC公司：07年3月 05年3月 68T27型 68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit{Y.Dvir}和\textit{A.Avron}，莱克特。注释计算。科学。11714、77-93（2019年；Zbl 1435.03085）
全文： 内政部
克里斯托夫·贝尔;史蒂文·库奇

条件性知识的系统生成以重命名和等价为基础。 （英语） Zbl 1525.68185号

Calimeri，Francesco（编辑）等人，《人工智能中的逻辑》。第16届欧洲会议，2019年5月7日至11日，意大利伦德，JELIA 2019。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11468, 279-286 (2019).
MSC公司：68立方英尺 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{C.Beierle}和\textit{S.Kutsch}，莱克特。注释计算。科学。11468、279--286（2019年；Zbl 1525.68185）
全文： 内政部
比亚·埃克、乌卡斯;巴巴拉·杜宁·科普里茨;斯扎·阿斯、安德烈吉

在信息复杂的环境中采取行动的次一致性方法。 （英语） Zbl 1471.03058号

安。数学。Artif公司。智力。 86，第4号，231-255（2019）.
审核人：玛丽·杜日伊（俄斯特拉发）
MSC公司：03B53型 03B42号 68N17号 68T27型
PDF格式BibTeX公司 XML格式引用
\textit｛Ł.Białek｝等人，Ann.Math。Artif公司。智力。86，第4号，231--255（2019；Zbl 1471.03058）
全文： 内政部
OA许可证
Belabbes，Sihem教堂;塞勒姆·本费哈特;乔米奇，简

Elect：部分预排序轻量级本体的不一致处理方法。 （英语） Zbl 1522.68535号

Balduccini，Marcello（编辑）等人，《逻辑编程和非单调推理》。2019年6月3日至7日，第15届国际会议，LPNMR 2019，美国宾夕法尼亚州费城。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11481, 210-223 (2019).
MSC公司：68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit｛S.Belabbes｝等人，Lect。注释计算。科学。11481、210-223（2019年；Zbl 1522.68535）
全文： 内政部
塞兰、伊斯梅尔·伊尔坎;托马斯·卢卡西维奇

关于概率知识库的查询回答和推理的教程。 （英语） Zbl 1517.68100号

d’Amato，Claudia（编辑）等人，推理网络。学习、不确定性、流媒体和可扩展性。2018年9月22日至26日，卢森堡埃什苏尔阿尔泽特，2018年第14届国际暑期学校。辅导讲座。查姆：斯普林格。莱克特。注释计算。科学。11078, 35-77 (2018).
MSC公司：第68页，共15页 68T27型 68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit{I.I.Ceylan}和\textit{T.Lukasiewicz}，莱克特。注释计算。科学。11078，35-77（2018年；兹比尔1517.68100）
全文： 内政部 链接
迈克尔·K·伯格曼。

一个知识表达练习者。基于查尔斯·桑德斯·皮尔斯的指南。 （英语） Zbl 1437.68004号

查姆：施普林格（ISBN 978-3-319-98091-1/hbk；978-3-316-98092-8/电子书）。十七、462页。(2018).
审核人：埃里克·马丁（悉尼）
MSC公司：68-02 68立方英尺
PDF格式BibTeX公司 XML格式引用
\文本{M.K.Bergman}，一位知识表征的实践者。基于查尔斯·桑德斯·皮尔斯的指南。查姆：施普林格（2018；Zbl 1437.68004）
全文： 内政部
塞巴斯蒂安·宾纽伊斯;庄、志强;王克文

修改混合知识库的三种方法。 （英语） Zbl 1490.68214号

Costantini，Stefania（编辑）等人，《规则与推理》。2017年7月12日至15日在英国伦敦举行的2017年RuleML+RR国际联合会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10364, 37-52 (2017).
MSC公司：68立方英尺 68N17号 68T27型
PDF格式BibTeX公司 XML格式引用
\textit｛S.Binnewies｝等人，Lect。注释计算。科学。10364，37-52（2017；Zbl 1490.68214）
全文： 内政部 链接
加布里埃尔·克恩·伊斯伯纳;马可·威廉;克里斯托夫·贝尔

使用最大熵原理和Gröbner基理论的概率知识表示。 （英语） Zbl 1420.68203号

安。数学。Artif公司。智力。 79，编号1-3，163-179（2017）.
MSC公司：68立方英尺 13页第10页 68T27型 68层37 94甲17
PDF格式BibTeX公司 XML格式引用
\textit{G.Kern-Isberner}等人，《数学年鉴》。Artif公司。智力。79，编号1--3，163-179（2017；Zbl 1420.68203）
全文： 内政部
马尔科·阿尔贝蒂;伊芙琳娜·拉姆;法布里西奥·里古齐;里卡多·泽斯

分布语义下的概率混合知识库。 （英语） Zbl 1430.68296号

Adorni，Giovanni（编辑）等人，AI*IA 2016：人工智能的进展。意大利人工智能协会第十六届国际会议，意大利热那亚，2016年11月29日至12月1日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10037, 364-376 (2016).
MSC公司：68T27型 68N17号 68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit{M.Alberti}等人，Lect。注释计算。科学。10037364--376（2016年；Zbl 1430.68296）
全文： 内政部 链接
E.阿拉多瓦。;A.格瓦拉米亚。;普洛金，B。;Plotkin，T。

多分类逻辑、模型和逻辑几何。 （英语。俄文原件） Zbl 1344.08006号

数学杂志。科学。，纽约 214，第6号，742-754（2016）; 翻译自Fundam。普里克尔。材料19，第3号，5-22（2014）。
审核人：G.I.Zhitomirskij（赫兹利娅）
MSC公司：08C99号 03C05号机组 68立方英尺 08A70号 03G25号 05年3月
PDF格式BibTeX公司 XML格式引用
\textit{E.Aladova}等人，J.数学。科学。，纽约214，No.6，742--754（2016；Zbl 1344.08006）；翻译自Fundam。普里克尔。材料19，编号3，5--22（2014）
全文： 内政部 arXiv公司
O.O.马琴科。

一种基于词的语义-句法配价向量的形式概念分析方法。 （乌克兰语。英文摘要） 兹比尔1363.68180

视力。，序列号。菲兹-马特·诺基，基辅。进出口大学。塔拉萨·舍甫琴卡 2015年第3期，100-105（2015）.
MSC公司：68立方英尺 68层35 68T50型
PDF格式BibTeX公司 XML格式引用
\textit{O.O.Marchenko}，维森。，序列号。菲兹-马特·诺基，基辅。进出口大学。Tarasa Shevchenka 2015，第3期，100-105（2015；Zbl 1363.68180）
曹善成

带右/尾递归消除的查询子网在Horn知识库查询评估中的效率。 （英语） Zbl 1336.68054号

Thi，Hoai An Le（编辑）等，《知识工程的高级计算方法》，第三届计算机科学、应用数学和应用国际会议论文集——ICCSAMA 2015。论文扩展版，法国梅茨，2015年5月11日至13日。查姆：施普林格（ISBN 978-3-319-17995-7/pbk；978-3-316-17996-4/电子书）。《智能系统与计算进展》358，243-254（2015）。
MSC公司：第68页，共15页 68层35
PDF格式BibTeX公司 XML格式引用
\textit{S.T.Cao}，高级情报。系统。计算。358243-254（2015；Zbl 1336.68054）
全文： 内政部
曹善成;阮林安

一种改进的深度优先控制策略，用于评估Horn知识库查询时的查询子查询网。 （英语） Zbl 1322.68189号

Do，Tien Van（编辑）等人，《知识工程的高级计算方法》，《第二届计算机科学、应用数学和应用国际会议论文集》，ICCSAMA 2014，匈牙利布达佩斯，2014年5月8日至9日。查姆：施普林格（ISBN 978-3-319-06568-7/pbk；978-3-3169-06569-4/ebook）。《智能系统与计算进展》282、281-295（2014）。
MSC公司：68T27型 第68页，共15页 68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit{S.T.Cao}和\textit{L.A.Nguyen}，高级情报。系统。计算。282、281--295（2014年；Zbl 1322.68189）
全文： 内政部
佩雷拉·达席尔瓦，乔·卡洛斯;安德烈·弗雷塔斯

面向逻辑程序的近似本体论不可知论方法。 （英语） Zbl 1407.68484号

Beierle，Christoph（编辑）等人，《信息和知识系统基础》。第八届国际研讨会，FoIKS 2014，法国波尔多，2014年3月3-7日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8367, 415-432 (2014).
MSC公司：68层35 68N17号 68T27型 68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit{J.C.Pereira da Silva}和\textit{A.Freitas}，莱克特。注释计算。科学。8367、415--432（2014年；Zbl 1407.68484）
全文： 内政部
马宗民;张，付;严，李;程景伟

语义网的模糊知识管理。 （英语） Zbl 1283.68017号

模糊与软计算研究306.海德堡：施普林格（ISBN 978-3-642-39282-5/hbk；978-3-442-39283-2/电子书）。xi，第275页。(2014).
审核人：埃里克·马丁（悉尼）
MSC公司：68-02 03B52号 03B70号 68立方英尺 68层37
PDF格式BibTeX公司 XML格式引用
\textit{Z.Ma}等人，语义网的模糊知识管理。海德堡：施普林格（2014；兹bl 1283.68017）
全文： 内政部
约瑟夫·乌尔班;维斯科基尔

大型形式数学中的定理证明是一个新兴的人工智能领域。 （英语） Zbl 1276.68139号

Bonacina，Maria Paola（编辑）等人，《自动推理和数学》。纪念威廉·麦库恩的散文。柏林：施普林格出版社（ISBN 978-3-642-36674-1/pbk）。计算机科学讲义7788。《人工智能课堂讲稿》，240-257（2013）。
审核人：曼弗雷德·科伯（伯明翰）
MSC公司：68吨15
PDF格式BibTeX公司 XML格式引用
\textit｛J.Urban｝和\textit｛J.Vyskočil｝，Lect。注释计算。科学。7788240-257（2013年；Zbl 1276.68139）
全文： 内政部 arXiv公司
约塞菲亚·皮奥里;路易斯·莱塔。;罗恩·洛扎诺，尤金尼奥;安东尼奥·埃尔南多;皮乌里·阿隆索，弗朗西斯科·哈维尔;戈梅斯·阿圭尔斯（Gómez-Argüelles），何塞·M·。;劳拉·莱塔

基于Gröbner的基于规则的纤维肌痛诊断专家系统。 （英语） 兹比尔1263.92020

Rev.R.学术版。中国。精确到Fís。Nat.，Ser。一个垫子，RACSAM 106，第1期，443-456（2012）.
MSC公司：92 C50 68层35 13页第10页 03B99号
PDF格式BibTeX公司 XML格式引用
\textit{J.Piury}等人，Rev.R.Acad。中国。精确到Fís。Nat.，Ser。A Mat.，RACSAM 106，No.1，443--456（2012；Zbl 1263.92020）
全文： 内政部
刘永梅;格哈德·莱克梅耶

关于局部效应作用及其以外的级数的一阶可定义性和可计算性。 （英语） Zbl 1341.68216号

Lakemeyer，Gerhard（编辑）等人，《了解、推理和行动》。为纪念Hector J.Levesque而写的论文。伦敦：学院出版物（ISBN 978-1-84890-044-8/hbk）。致敬16，333-346（2011）。
MSC公司：68T27型 68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit{Y.Liu}和\textit{G.Lakemeyer}，《致敬》16，333--346（2011；Zbl 1341.68216）
迭戈·卡尔瓦内斯;朱塞佩·德贾科莫;莫里齐奥·伦泽里尼;里卡多·罗萨蒂

描述逻辑知识库上的动作和程序：功能方法。 （英语） Zbl 1341.68222号

Lakemeyer，Gerhard（编辑）等人，《了解、推理和行动》。为纪念Hector J.Levesque而写的论文。伦敦：学院出版物（ISBN 978-1-84890-044-8/hbk）。悼念16121-136（2011年）。
MSC公司：68立方英尺 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{D.Calvanee}等人，《致敬》16，121--136（2011；Zbl 1341.68222）
尤金尼奥·罗内斯·洛扎诺;路易斯·莱塔。;安东尼奥·埃尔南多;罗内斯·马西亚斯，尤金尼奥

基于规则的专家系统的代数方法。 （英语） Zbl 1197.68078号

Rev.R.学术版。中国。精确到Fís。Nat.，Ser。一个垫子，RACSAM 104，第1期，19-40（2010）.
MSC公司：68层35 68瓦30 13页第10页
PDF格式BibTeX公司 XML格式引用
\textit{E.Roanes-Lozano}等人，Rev.R.Acad。中国。精确到Fís。Nat.，Ser。A Mat.，RACSAM 104，编号1，19--40（2010；Zbl 1197.68078）
全文： 内政部
内迪亚尔科·彼得罗夫;亚历山大·盖戈夫

使用模糊网络理论对复杂系统进行模型优化。 （英语） Zbl 1335.68263号

Trilling，Leon（编辑）等人，《人工智能、知识工程和数据库的最新进展》。第八届WSEAS人工智能、知识工程和数据库国际会议记录（AIKED’09），英国剑桥，2009年2月21日至23日。雅典：WSEAS出版社（ISBN 978-960-474-051-2/hbk；978-9604-474-060-4/cd-rom）。《人工智能系列》，116-121（2009）。
MSC公司：68层35 93A30型 93立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{N.Petrov}和\textit{A.Gegov}，in：人工智能、知识工程和数据库的最新进展。第八届WSEAS人工智能、知识工程和数据库国际会议记录（AIKED’09），英国剑桥，2009年2月21-23日。雅典：WSEAS出版社。116-121（2009年；Zbl 1335.68263）
利特文采娃，L.V。;乌尔扬诺夫S.V。

智能控制系统。量子计算和自组织算法。 （英语。俄文原件） Zbl 1211.93050号

J.计算。系统。科学。国际。 48，第6期，946-984（2009）; Izv的翻译。罗斯。阿卡德。特奥·诺克。修女。向上。2009年，第6期，第102-141页（2009年）。
MSC公司：93亿B51 2012年第68季度 81第68页
PDF格式BibTeX公司 XML格式引用
\textit{L.V.Litvintseva}和\textit{S.V.Ul'yanov}，J.Compute。系统。科学。国际48号，第6号，946--984（2009；Zbl 1211.93050）；Izv的翻译。罗斯。阿卡德。特奥·诺克。修女。向上。2009年，第6102--141号（2009年）
全文： 内政部
尤金尼奥·罗内斯·洛扎诺;安东尼奥·埃尔南多;路易斯·莱塔。;罗内斯·马西亚斯，尤金尼奥

基于规则的专家系统中基于Groebner的反向推理方法。 （英语） Zbl 1184.68494号

安。数学。Artif公司。智力。 56，编号3-4，297-311（2009）.
MSC公司：68层35 03B05号 13页第10页 03B80号
PDF格式BibTeX公司 XML格式引用
\textit{E.Roanes-Lozano}等人，《数学年鉴》。Artif公司。智力。56，编号3--4，297--311（2009；Zbl 1184.68494）
全文： 内政部
阿格涅斯卡·诺瓦克;贝塔·齐洛斯科

部分决策规则的聚类。 （英语） Zbl 1189.68130号

Cyran，Krzysztof A.（编辑）等人，《人机交互》。论文基于2009年9月25日至27日在波兰科西尔兹帕斯举行的国际会议（ICMMI 2009）上的陈述。柏林：施普林格出版社（ISBN 978-3-642-00562-6/pbk；978-3-442-00563-3/电子书）。智能和软计算进展59，183-190（2009）。
MSC公司：68立方英尺 68层35 68T05年
PDF格式BibTeX公司 XML格式引用
\textit{A.Nowak}和\textit{B.Zielosko}，高级情报。软计算。59、183--190（2009年；Zbl 1189.68130）
全文： 内政部
阿格涅斯卡·诺瓦克;Wakulicz Deja，艾丽西亚

复合知识库中的规则表示方法。 （英语） Zbl 1343.68235号

Cyran，Krzysztof A.（编辑）等人，《人机交互》。论文基于2009年9月25日至27日在波兰科西尔兹帕斯举行的国际会议（ICMMI 2009）上的陈述。柏林：施普林格出版社（ISBN 978-3-642-00562-6/pbk；978-3-442-00563-3/电子书）。《智能与软计算进展》59，175-182（2009）。
MSC公司：68立方英尺 62H25个 62H30型
PDF格式BibTeX公司 XML格式引用
\textit{A.Nowak}和\textit{A.Wakulicz-Deja}，高级情报。软计算。59175--182（2009年；Zbl 1343.68235）
全文： 内政部
A.P.罗斯坦。;S.D.施托夫巴。

借助Sugeno模糊知识库对操作员可靠性进行建模。 （英语。俄文原件） Zbl 1163.93357号

自动。远程控制 70，第1期，163-169（2009）; Avtom翻译。Telemekh公司。2009年，第1期，180-187（2009）。
MSC公司：93立方厘米 93A30型 90B25型
PDF格式BibTeX公司 XML格式引用
\textit{A.P.Rotshtein}和\textit{S.D.Shtovba}，自动。遥控器70，编号1，163--169（2009；Zbl 1163.93357）；Avtom翻译。Telemekh公司。2009年第1期，180--187（2009）
全文： 内政部
汉斯·罗特

转移优先级：27个迭代理论改变操作符的简单表示。 （英语） Zbl 1159.03012号

戴维·梅金森（编辑）等人，《走向数学哲学》。2006年9月1日至4日在波兰托伦举行的Studia Logica会议《逻辑四的趋势》上发表的论文。柏林：施普林格出版社（ISBN 978-1-4020-9083-7/hbk；978-1-4020-9084-4/电子书）。逻辑趋势——Studia Logica Library 28，269-296（2009）。
审核人：David Makinson（伦敦）
MSC公司：03B42号 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{H.Rott}，in：走向数学哲学。2006年9月1日至4日在波兰托伦举行的Studia Logica会议《逻辑四的趋势》上发表的论文。柏林：斯普林格。269--296（2009；Zbl 1159.03012）
全文： 内政部
尤金尼奥·罗内斯·洛扎诺;路易斯·莱塔。;罗内斯·马西亚斯，尤金尼奥

Groebner基于Maple中的多值模态逻辑实现。 （英语） Zbl 1166.68359号

Autexier，Serge（编辑）等人，《智能计算机数学》。2008年7月28日至8月1日，在英国伯明翰举行的2008年AISC第九届国际会议、2008年Calculemus第十五届研讨会、2008年MKM第七届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-85109-7/pbk）。计算机科学课堂讲稿5144。人工智能课堂讲稿，170-183（2008）。
MSC公司：68层35 68T27型 68瓦30
PDF格式BibTeX公司 XML格式引用
\textit{E.Roanes-Lozano}等人，Lect。注释计算。科学。5144170-183（2008年；Zbl 1166.68359）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

传记参考

全部的 前3名

软件