玛丽·杜西
人员信息
附属: 捷克俄斯特拉发科技大学
优化列表
![笔记](https://dblp.dagstuhl.de/img/note-mark.dark.12x12.png)
2020年-今天
2023 [公元15年] 马蒂娜·西哈洛娃 , 玛丽·杜西 :
多智能体世界中智能体的动态行为建模:Wh-问答的逻辑分析。 日志。 J.IGPL公司 31 ( 1 ) : 140-171 ( 2023 ) 2022 [公元47年] 玛丽·杜西 :
“知道-那”与“知道-嗯”。 EJC公司 2022 : 136-158 2021 [公元46年] 玛丽·杜西 :
关于代理人动态活动的问答。 RASLAN公司 2021 : 71-81 2020 [公元14年] 玛丽·杜西 , 马雷克·梅西克 :
通过自然演绎从文本数据推断知识。 计算机系统 24 ( 1 ) ( 2020 ) [j13] 玛丽·杜西 , 亚历斯·霍拉克 :
基于自然语言知识库的超内涵推理。 国际期刊不确定性。 模糊知识。 基于系统。 28 ( 三 ) : 443-468 ( 2020 ) [公元45年] 亚当·阿尔伯特 , 玛丽·杜西 , 马雷克·梅西克 , 米罗斯拉夫·帕吉尔 , Vojtech Patschka公司 :
搜索适当的文本信息源。 EJC公司 2020 : 227-246 [c44] 玛丽·杜西 , 米查尔·法特 :
将植根于自然语言语义的特殊规则整合到自然演绎系统中。 ICAART(一) 2020 : 410-421
2010 – 2019
2019 [公元12年] 马雷克·梅西克 , 玛丽·杜西 , 亚当·阿尔伯特 , Vojtech Patschka公司 , 米罗斯拉夫·帕吉尔 :
通过机器学习提炼概念。 计算机系统 23 ( 三 ) ( 2019 ) [公元11年] 玛丽·杜西 :
如果结构化命题是逻辑过程,那么过程是如何个性化的? 合成。 196 ( 4 ) : 1249-1283 ( 2019 ) [公元43年] 马雷克·梅西克 , 玛丽·杜西 , 亚当·阿尔伯特 , Vojtech Patschka公司 , 米罗斯拉夫·帕吉尔 :
使用TIL的机器学习。 EJC公司 2019 : 344-362 [公元42年] 玛丽·杜西 , 米查尔·法特 :
TIL脚本语言的问答系统。 EJC公司 2019 : 501-518 [公元41年] 靖国清崎 , 伯恩哈德·塔勒海姆 , 玛丽·杜西 , 汉努·贾科拉 , Petchporn Chawakitchareon公司 , 安妮莉·海姆比格尔 :
走向伟大的概念建模设计。 EJC公司 2019 : 531-544 [公元40年] 玛丽·杜西 , Michal Fait公司 , 马雷克·梅西克 :
TIL中自然语言处理的目标驱动分辨率调整。 RASLAN公司 2019 : 71-81 [i1] 玛丽·杜西 , 亚历斯·霍拉克 :
基于自然语言知识库的超内涵推理。 CoRR公司 abs/1906.07562 ( 2019 ) 2018 [公元39年] 玛丽·杜西 , 米查尔·法特 :
TIL-Script语言的类型检查算法。 EJC公司 2018 : 219-236 [公元38年] 玛丽·杜西 , 马雷克·梅西克 , 米罗斯拉夫·帕吉尔 , Vojtech Patschka公司 :
TIL-Script语言中的自然演绎系统。 EJC公司 2018 : 237-255 2017 [公元10年] 玛丽·杜西 :
属性修改器和内涵本质论。 计算机系统 21 ( 4 ) ( 2017 ) [公元9年] 比约恩·耶斯佩森 , 马西米利亚诺·卡拉拉 , 玛丽·杜西 :
反复的贫困和积极的预测。 J.应用。 日志。 25 ( 补充 ) : S48-S71系列 ( 2017 ) [公元37年] 玛丽·杜西 :
动态话语的逻辑; 回指消解。 EJC公司 2017 : 263-279 [公元36年] 马雷克·梅西克 , 玛丽·杜西 , 雅库布·科尔马斯切克 :
函数式编程中Beta转换的作用。 EJC公司 2017 : 280-298 [公元35年] 玛丽·杜西 , Michal Fait公司 :
属性修改器。 RASLAN公司 2017 : 37-50 2016 [公元34年] 玛丽·杜西 , 马雷克·梅西克 :
推理知识的逻辑。 EJC公司 2016 : 405-425 [公元33年] 玛丽·杜西 , 米查尔·法特 :
TIL中的上下文识别算法。 RASLAN公司 2016 : 51-62 2015 [j8] 玛丽·杜西 , 马蒂娜·西哈洛娃 :
问题、答案和预设。 计算机系统 19 ( 4 ) ( 2015 ) [j7] 比约恩·杰斯佩森 , 玛丽·杜西 :
导言。 合成。 192 ( 三 ) : 525-534 ( 2015 ) [j6] 玛丽·杜西 , 比约恩·杰斯佩森 :
对超内涵的客观态度进行透明量化。 合成。 192 ( 三 ) : 635-677 ( 2015 ) [公元32年] 玛丽·杜西 , 亚历斯·霍拉克 :
TIL作为自然语言分析的超内涵逻辑。 RASLAN公司 2015 : 113-124 2014 [j5] 玛丽·杜西 :
意义和同义词的结构同构。 计算机系统 18 ( 三 ) ( 2014 ) [公元31年] 马雷克·梅西克 , 玛丽·杜西 , 雅库布·格利希 :
eLogika——逻辑教学系统。 EJC公司 2014 : 291-307 2013 【j4】 玛丽·杜西 , 比约恩·杰斯佩森 :
程序同构、分析信息和 β -按值转换。 日志。 J.IGPL公司 21 ( 2 ) : 291-308 ( 2013 ) [公元30年] 马蒂娜·西哈洛娃 , 玛丽·杜西 , 马雷克·梅西克 :
过程的逻辑规范。 EJC公司 2013 : 45-63 [公元29年] 安妮莉·海姆比格尔 , 玛丽·杜西 , 靖国清崎 , 佐佐木希里 , 苏卡尼亚·坎诺姆 :
用图标和图像进行跨文化交流。 EJC公司 2013 : 306-321 2012 [公元28年] 玛丽·杜西 :
超内涵的外延逻辑。 概念建模及其理论基础 2012 : 268-290 [公元27年] 玛丽·杜西 , 米查尔·科辛纳 , 扬·科苏什尼克 , 斯瓦托普鲁克·斯托尔法 :
基于TIL的软件过程开发的知识库方法。 EJC公司 2012 : 102-109 [公元26年] 玛丽·杜西 , 马雷克·梅西克 , 米查尔·佩德克 :
文档相似性。 EJC公司 2012 : 241-254 [公元25年] 玛丽·杜西 , 马雷克·梅西克 , 卢卡斯·维奇 :
TIL-2010扣除系统。 拉斯兰 2012 : 33-41 2011 [公元24年] 玛丽·杜西 , 马雷克·梅西克 , 马蒂娜·西哈洛娃 , 卢德米拉·多斯塔洛娃 :
逻辑教育的电子学习支持。 DEIS公司 2011 : 560-568 2010 【b1】 玛丽·杜西 , 比约恩·杰斯佩森 , 帕维尔·马特纳 :
超内涵逻辑的过程语义——透明内涵逻辑的基础和应用。 逻辑、认识论与科学的统一 17, 施普林格 2010 ,国际标准图书编号 978-90-481-8811-6 ,第1-528页 [j3] 玛丽·杜西 :
推理悖论与分析信息的非私密性。 J.菲洛斯。 日志。 39 ( 5 ) : 473-510 ( 2010 ) 【c23】 斯瓦托普鲁克·斯托尔法 , 扬·科苏什尼克 , 米查尔·科辛纳 , 玛丽·杜西 , 马蒂娜·西哈洛娃 , 伊沃·冯德拉克 :
使用本体背景构建流程定义。 CISIM公司 2010 : 328-334 [公元22年] 玛丽·杜西 , 马蒂娜·西哈洛娃 , 马雷克·梅西克 :
本体论作为内涵逻辑。 EJC公司 2010 : 1-20 【c21】 扬·科苏什尼克 , 斯瓦托普鲁克·斯托尔法 , 玛丽·杜西 , 米查尔·科辛纳 , 马蒂娜·西哈洛娃 :
软件过程的专有技术和专有技术。 ENASE(精选论文) 2010 : 178-192 [公元20年] 玛丽·杜西 , 马蒂娜·西哈洛娃 , 马雷克·梅西克 , 卢卡斯·维奇 :
过程本体。 拉斯兰 2010 : 77-88
2000 – 2009
2009 [第19条] 玛丽·杜西 :
从语义角度看主题-焦点发音。 CICLing公司 2009 : 220-232 [第18条] 马蒂娜·西哈洛娃 , 尼古拉·西普里奇 , 玛丽·杜西 , 马雷克·梅西克 :
Agent使用TIL-Script和Prolog进行推理。 EJC公司 2009 : 135-154 [第17条] Yutaka Kidawara村 , Koji Zettsu公司 , 靖国清崎 , 凯·扬纳施克 , 伯恩哈德·塔勒海姆 , 佩特里·林纳 , 汉努·贾科拉 , 玛丽·杜西 :
面向下一代Web的知识建模、管理和利用。 EJC公司 2009 : 387-402 [c16] 玛蒂娜·西哈洛娃 , 尼古拉·西普里奇 , 玛丽·杜西 , Tomás Frydrych公司 , 马雷克·梅西克 :
使用TIL进行演绎推理。 RASLAN公司 2009 : 25-38 [第15条] 玛丽·杜西 , 亚历斯·霍拉克 , 帕维尔·马特拉纳 :
知识和信息的时间方面。 RASLAN公司 2009 : 39-47 2008 [第14条] 玛丽·杜西 , 帕维尔·马特拉纳 :
概念和本体论。 EJC公司 2008 : 45-64 [第13条] 尼古拉·西普里奇 , 玛丽·杜西 , 米查尔·科辛纳 :
TIL-Script语言。 EJC公司 2008 : 166-179 [第12条] 尼古拉·西普里奇 , 玛丽·杜西 , Tomás Frydrych公司 , Ondrej Kohut公司 , 米查尔·科辛纳 :
MAS中智能代理的体系结构。 EJC公司 2008 : 261-269 [第11条] 玛丽·杜西 , 安妮莉·海姆比格尔 , 德田武弘 , 彼得·沃塔斯 , 吉田直美 :
多智能体知识建模。 EJC公司 2008 : 411-428 [第10条] 马蒂娜·西哈洛娃 , 尼古拉·西普里奇 , 玛丽·杜西 , 马雷克·梅西克 :
TIL和逻辑编程。 拉斯兰 2008 : 17-30 2007 【c9】 玛丽·杜西 , 彼得·沃塔斯 :
从语义角度的多准则搜索(比较TIL和描述逻辑)。 EJC公司 2007 : 21-39 【c8】 尼古拉·西普里奇 , 玛丽·杜西 , 米查尔·科辛纳 :
基于透明内涵逻辑的函数编程。 RASLAN公司 2007 : 37-42 【c7】 玛丽·杜西 :
回指参照的语义预处理。 RASLAN公司 2007 : 43-56 [电子1] 玛丽·杜西 , 汉努·贾科拉 , 靖国清崎 , 汉努·坎加萨洛 :
信息建模和知识库第十八届欧洲-日本信息建模和知识库会议(EJC 2006),2006年5月29日至6月2日,捷克共和国特洛伊。 人工智能和应用的前沿 154, IOS出版社 2007 ,国际标准图书编号 978-1-58603-710-9 [目录] 2006 【c6】 玛丽·杜西 , 丹妮拉·杜拉科娃 , 帕维尔·德格尔 , 彼得·加季多斯 , 雅罗斯拉夫·穆勒 :
多智能体系统的逻辑和人工智能。 EJC公司 2006 : 236-244 2005 【c5】 玛丽·杜西 , 安妮莉·海姆比格尔 :
网络本体语言:理论与实践——它们会相遇吗? EJC公司 2005 : 20-37 2003 【c4】 玛丽·杜西 :
概念、语言和本体论(从逻辑的角度来看)。 EJC公司 2003 : 193-209 2000 【c3】 玛丽·杜西 :
使用HIT数据模型进行概念建模的逻辑基础。 EJC公司 2000 : 65-80 [c2] 玛丽·杜西 :
对概念理论讨论的贡献。 EJC公司 2000 : 346-350
1990 – 1999
1992 【c1】 玛丽·杜西 :
与数据相关的语义信息。 ICDT公司 1992 : 376-390
1980 – 1989
1988 [注2] 玛丽·杜西 , 弗兰蒂斯克·克里奇 , 兹登科·斯坦切克 :
数据库项目UNIS(一个统一的数据库开发支持系统)。 数据知识。 工程师。 三 : 163-172 ( 1988 ) [j1] 玛丽·杜西 , 帕维尔·马特拉纳 , 兹登科·斯坦切克 :
数据库模式的信息功能。 凯贝内提卡 24 ( 三 ) : 216-226 ( 1988 )
合著者索引
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)