默认搜索操作

组合dblp搜索
作者搜索
场馆搜索
出版物搜索

问别人

尤金妮娅·特诺夫斯卡

尤金妮娅·捷尔诺夫斯卡娅 – 叶夫根妮娅·捷尔诺夫斯卡

>主页 >珀森斯

人员信息

附属： 加拿大伯纳比西蒙·弗雷泽大学

SPARQL查询

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

2020年–今天

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2024
[公元9年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/AamerBSTB24
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/AamerBSTB24
赫巴·阿梅尔,Bart Bogaerts公司,迪米特里·苏林克斯,尤金妮娅·特诺夫斯卡,简·范登·巴斯彻（Jan Van den Bussche）:
信息流逻辑中的可执行一阶查询。日志。方法计算。科学。 20(2)(2024)
2023
[j8]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/tocl/AamerBSTB23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tocl/AamerBSTB23
赫巴·阿梅尔,Bart Bogaerts公司,迪米特里·苏林克斯,尤金妮娅·特诺夫斯卡,简·范登·巴斯彻（Jan Van den Bussche）:
信息流逻辑中的输入、输出和组合。 ACM事务处理。计算。日志。 24(4):33:1-33:44(2023)
[第九章]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-2311-12312
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2311-12312
尤金妮娅·特诺夫斯卡:
承诺代数：非确定性计算的代数模型。 CoRR公司 abs/2311.12312(2023)
2022
[i8]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-2209-06448
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2209-06448
赫巴·阿梅尔,Bart Bogaerts公司,迪米特里·苏林斯,尤金妮娅·特诺夫斯卡,简·范登·巴斯彻（Jan Van den Bussche）:
信息流逻辑中的输入、输出和组合。 CoRR公司 abs/2209.06448(2022)
[i7]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-220-00240
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2210-00240
赫巴·阿梅尔,Bart Bogaerts公司,迪米特里·苏林克斯,尤金妮娅·特诺夫斯卡,简·范登·巴斯彻（Jan Van den Bussche）:
信息流逻辑中的可执行一阶查询。 CoRR公司 abs/2210.00240(2022)
2021
[公元40年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/aaai/BulatovT21型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aaai/BulatovT21
安德烈·布拉托夫,尤金妮娅·特诺夫斯卡:
模系统代数：包含与等价。 AAAI公司 2021:6235-6243
[i6]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-2111-07978
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2111-07978
尤金妮娅·特诺夫斯卡:
在不使用计数结构（但使用选择运算符）的情况下捕获PTIME。 CoRR公司 abs/2111.07978(2021)
2020
[j7]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/amai/GiacomoTR20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/amai/GiacomoTR20
朱塞佩·德贾科莫,尤金妮娅·特诺夫斯卡,雷·雷特:
情境演算中的非终结过程。安。数学。Artif公司。因特尔。 88(5-6):623-640(2020)
[公元39年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/aaai/GiacomoLT20公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aaai/GiacomoLT20
朱塞佩·德贾科莫,伊夫·莱斯佩伦斯,尤金妮娅·特诺夫斯卡:
ElGolog：一种具有执行历史记忆的高级编程语言。 AAAI公司 2020:2806-2813
[公元38年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/icdt/Aamer0STB20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icdt/Aamer0STB20
赫巴·阿梅尔,Bart Bogaerts公司,迪米特里·苏林克斯,尤金妮娅·特诺夫斯卡,简·范登·巴斯彻（Jan Van den Bussche）:
信息流逻辑中的可执行一阶查询。 ICDT公司 2020:4:1-4:14
[公元37年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/kr/Aamer0STB20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kr/Aamer0STB20
赫巴·阿梅尔,Bart Bogaerts公司,迪米特里·苏林克斯,尤金妮娅·特诺夫斯卡,简·范登·巴斯彻（Jan Van den Bussche）:
信息流逻辑中的输入、输出和组合。韩国 2020:2-11

2010 – 2019

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2019
[公元36年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/frocos/EnsanT19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/frocos/EnsanT19
阿里雷扎·恩桑,尤金妮娅·特诺夫斯卡:
一个独立于语言的框架，用于推理声明性问题解决的偏好。 FroCos公司 2019:57-73
[公元35年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/frocos/Ternovska19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/frocos/Ternovska19
尤金妮娅·特诺夫斯卡:
模块化系统代数：静态和动态观点。 FroCos公司 2019:94-111
2018
[公元34年]
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/cade/EnsanTL18会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/EnsanTL18
阿里雷扎·恩桑,尤金妮娅·特诺夫斯卡,刘恒（Heng Liu）:
搜索问题声明规范中偏好的模型理论视图。 IJCAR的PRUV 2018
2017
[j6]
- 看法
  - 电子版@collegepublications.co.uk（开放存取）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - 轴颈/襟翼/EnsanT17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/flap/EnsanT17网站
阿里雷扎·恩桑,尤金妮娅·特诺夫斯卡:
组合偏好形式的语义方法。拍打 4(7)(2017)
[公元33年]
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/amw/Ternovska17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/amw/Ternovska17
尤金妮娅·特诺夫斯卡:
模系统代数的最新进展。 AMW公司 2017
[公元32年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/0001TM17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/0001TM17
Bart Bogaerts公司,尤金妮娅·特诺夫斯卡,大卫·G·米切尔:
模系统代数的传播器和解算器。 LPAR公司 2017:227-248
2016
[公元31年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/aaai/JanhunenTT16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aaai/JanhunenTT16
托米·詹胡宁,沙哈布·塔沙罗菲,尤金妮娅·特诺夫斯卡:
SAT到SAT：具有新传播器的SAT解算器的声明性扩展。 AAAI公司 2016:978-984
[公元30年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ic-nc/LiuST16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ic-nc/LiuST16
刘恒（Heng Liu）,Arrvindh Shriraman公司,叶夫根妮亚·特诺夫斯卡:
如何将CUDA-WSat-PcL速度提高5倍。坎达尔 2016:462-468
[i5]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/BogaertsTM16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/BogaertsTM16
Bart Bogaerts公司,尤金妮娅·特诺夫斯卡,大卫·G·米切尔:
模系统代数的传播器和解算器。 CoRR公司 abs/1606.08130(2016)
[i4]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/Ternovska16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/Ternovska16
尤金妮娅·特诺夫斯卡:
带递归和模态逻辑连接的提升关系代数。 CoRR公司 abs/1612.09251(2016)
2015
[公元29年]
- 看法
  - 电子版@aaai.org
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/aaaiss/EnsanT15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aaiss/EnsanT15
阿里雷扎·恩桑,尤金妮娅·特诺夫斯卡:
模块化系统的偏好形式主义。 AAAI春季研讨会 2015
[公元28年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/gcai/Ternovska15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/gcai/Ternovska15
尤金妮娅·特诺夫斯卡:
组合约束求解代数。 GCAI公司 2015:275-295
[公元27年]
- 看法
  - 电子版@ijcai.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/ijcai/EnsanT15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ijcai/EnsanT15
阿里雷扎·恩桑,尤金妮娅·特诺夫斯卡:
具有首选项的模块化系统。国际JCAI 2015:2940-2947
[公元26年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpnmr/MitchellT15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpnmr/MitchellT15
大卫·G·米切尔,尤金妮娅·特诺夫斯卡:
模块化系统的学习条款。低密度核磁共振 2015:446-452
2014
[公元25年]
- 看法
  - 电子版@aaai.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/kr/TasharofiT14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kr/TasharofiT14网站
沙哈布·塔沙罗菲,尤金妮娅·特诺夫斯卡:
广义多上下文系统。韩国 2014
[i3]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/TasharofiT14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/TasharofiT14
沙哈布·塔沙罗菲,尤金妮娅·特诺夫斯卡:
模块化系统的三种语义。 CoRR公司 abs/1405.1229(2014)
2013
[j5]
- 看法
  - 电子版@cambridge.org（存档）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - 期刊/tplp/AavaniTM13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tplp/AavaniTM13
阿米尔·阿瓦尼,尤金妮娅·特诺夫斯卡,大卫·G·米切尔:
使用Enfragmo系统解决问题。理论与实践。日志。程序。 13(4-5-在线补充)(2013)
[公元24年]
- 看法
  - 电子版@aaai.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/sara/AavaniMT13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sara/AavaniMT13
阿米尔·阿瓦尼,大卫·G·米切尔,尤金妮娅·特诺夫斯卡:
将伪布尔约束转换为SAT的新编码。萨拉 2013
[电子2]
- 看法
- 出口记录
  dblp键：
  - conf/lpar/2012iwil
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/2012iwil
康斯坦丁柯罗文,斯蒂芬·舒尔茨,尤金妮娅·特诺夫斯卡:
IWIL 2012：第九届物流实施国际研讨会，委内瑞拉梅里达，2012年3月10日。 EPiC计算系列22,Easy椅子 2013 [目录]
2012
[c23]
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/kr/TasharofiT12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kr/TasharofiT12网站
沙哈布·塔沙罗菲,尤金妮娅·特诺夫斯卡:
Business Process Planner的模块化表示。 KiBP@韩国 2012:75-88
[公元22年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/AavaniWTTM12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/AavaniWTTM12
阿米尔·阿瓦尼,吴雄南（纽曼）,沙哈布·塔沙罗菲,尤金妮娅·特诺夫斯卡,大卫·G·米切尔:
Enfragmo：用逻辑建模和解决搜索问题的系统。 LPAR公司 2012:15-22
[电子1]
- 看法
- 出口记录
  dblp键：
  - conf/lpar/2010iwil
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/2010iwil
杰夫·萨特克利夫,斯蒂芬·舒尔茨,尤金妮娅·特诺夫斯卡:
第八届物流实施国际研讨会，IWIL 2010，日惹，印尼，2011年10月9日。 EPiC计算系列2,Easy椅子 2012 [目录]
2011
【c21】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ai/AavaniWTM11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ai/AavaniWTM11
阿米尔·阿瓦尼,吴雄南（Newman）,尤金妮娅·特诺夫斯卡,大卫·G·米切尔:
带有复杂术语的接地公式。加拿大人工智能 2011:13-25
[公元20年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/frocos/TasharofiT11公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/frocos/TasharofiT11网站
沙哈布·塔沙罗菲,尤金妮娅·特诺夫斯卡:
搜索问题多语言建模中模块性的语义解释。 FroCoS公司 2011:259-274
[第19条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/inap/TasharofiWT11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/inap/TasharofiWT11
沙哈布·塔沙罗菲,吴雄南（纽曼）,尤金妮娅·特诺夫斯卡:
解决模块化模型扩展：案例研究。 INAP/WLP公司 2011:215-236
[i2]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日志/corr/abs-1109-0583
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1109-0583
沙哈布·塔沙罗菲,吴雄南（纽曼）,尤金妮娅·特诺夫斯卡:
解决模块化模型扩展任务。 CoRR公司 abs/1109.0583(2011)
2010
[第18条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/AavaniTUTM10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/AavaniTUTM10
阿米尔·阿瓦尼,沙哈布·塔沙罗菲,GulayÜnel公司,尤金妮娅·特诺夫斯卡,大卫·G·米切尔:
接地负极加速技术。 LPAR（达喀尔） 2010:13-26
[第17条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/KolokolovaLMT10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/KolokolovaLMT10
安东尼娜·科洛科洛娃,刘永美,大卫·G·米切尔,尤金妮娅·特诺夫斯卡:
关于模型扩展的复杂性。 LPAR（日惹） 2010:447-458
[第16条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/TasharrofiT10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/TasharrofiT10
沙哈布·塔沙罗菲,尤金妮娅·特诺夫斯卡:
PBINT，涉及算术的搜索问题建模逻辑。 LPAR（日惹） 2010:610-624

2000 – 2009

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2009
[第15条]
- 看法
  - 电子版@ijcai.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/ijcai/TernovskaM09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ijcai/TernovskaM09
尤金妮娅·特诺夫斯卡,大卫·G·米切尔:
具有内置算法的搜索问题的声明性编程。国际JCAI 2009:942-947
2008
【j4】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/约束/MitchellT08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/constraints/MichellT08
大卫·G·米切尔,尤金妮娅·特诺夫斯卡:
本质中的表达力和抽象性。制约国际期刊。 13(三):343-384(2008)
[j3]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tocl/DeneckerT08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tocl/DeneckerT08
马克·德内克,尤金妮娅·特诺夫斯卡:
非单调归纳定义的逻辑。 ACM事务处理。计算。日志。 9(2):14:1-14:52(2008)
2007
[注2]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/ai/DeneckerT07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/ai/DeneckerT07网址
马克·德内克,尤金妮娅·特诺夫斯卡:
归纳情境演算。 Artif公司。因特尔。 171(5-6):332-360(2007)
[j1]
- 看法
  - 电子版@iospress.com
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - 期刊/fuin/TangT07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fuin/TangT07
卡尔文·凯凡·唐,尤金妮娅·特诺夫斯卡:
使用答案集编程的模型检查抽象状态机。芬丹。信息学 77(1-2):105-141(2007)
[第14条]
- 看法
  - 电子版@ijcai.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/ijcai/PattersonLTG07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ijcai/PattersonLTG07
默里·帕特森,刘永美,尤金妮娅·特诺夫斯卡,阿尔文德·古普塔:
具有归纳定义的k-保护公式中模型扩展的基础。国际JCAI 2007:161-166
2006
[第13条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/KavanaghMTMZG06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/KavanaghMTMZG06
乔纳森·卡瓦纳,大卫·G·米切尔,尤金妮娅·特诺夫斯卡,詹·曼努奇,赵晓红,阿尔文德·古普塔:
通过答案集编程构建Camin-Sokal系统发育。 LPAR公司 2006:452-466
2005
[第12条]
- 看法
  - 电子版@aaai.org（存档）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/aaai/MitchellT05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aaai/MitchellT05
大卫·G·米切尔,尤金妮娅·特诺夫斯卡:
表示和解决NP搜索问题的框架。 AAAI公司 2005:430-435
[第11条]
- 看法
  - 电子版@univ-paris12.fr
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/asm/TangT05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/asm/TangT05
卡尔文·凯凡·唐,尤金妮娅·特诺夫斯卡:
使用答案集编程的模型检查抽象状态机。抽象状态机 2005:397-416
[c10]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/iclp/PelovT05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/PelovT05
尼古拉·佩洛夫,尤金妮娅·特诺夫斯卡:
将归纳定义简化为命题可满足性。 ICLP公司 2005:221-234
【c9】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/TangT05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/TangT05
卡尔文·凯凡·唐,尤金妮娅·特诺夫斯卡:
具有答案集编程的抽象状态机模型检查。 LPAR公司 2005:443-458
[i1]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-cs-0501025
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-cs-0501025
马克·德内克,尤金妮娅·特诺夫斯卡:
非单调归纳定义的逻辑。 CoRR公司 abs/cs/0501025(2005)
2004
【c8】
- 看法
  - 电子版@aaai.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/kr/DeneckerT04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kr/DeneckerT04
马克·德内克,尤金妮娅·特诺夫斯卡:
归纳情境微积分。韩国 2004:545-553
【c7】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpnmr/DeneckerT04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpnmr/DeneckerT04
马克·德内克,尤金妮娅·特诺夫斯卡:
非单调归纳定义逻辑及其模块化特性。低密度核磁共振 2004:47-60
2002
【b1】
- 看法
  - 电子版@utoronto.ca
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - 博士/ca/Ternovska02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/phd/ca/Ternovska02
尤金妮娅·特诺夫斯卡:
情境演算：非单调归纳定义的可判定性和基于逻辑的方法。加拿大多伦多大学，2002
【c6】
- 看法
  - 电子版@aaai.org（存档）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/aaai/KalantariT02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aaai/KalantariT02
莱拉·卡兰塔里,尤金妮娅·特诺夫斯卡:
用于验证ConGolog程序的模型检查器。 AAAI/IAAI公司 2002:953-954
2000
【c5】
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/ecai/Ternovskaia00公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ecai/Ternovskaia00网址
尤金妮亚·特诺夫斯卡娅:
ID-逻辑与情境演算的分枝问题。 ECAI公司 2000:563-570

1990 – 1999

请参阅常见问题解答

出版物列表中颜色的含义是什么？

1999
【c4】
- 看法
  - 电子版@ijcai.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/ijcai/Ternovskaia99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ijcai/Ternovskaia99
尤金妮亚·特诺夫斯卡娅:
动作推理的自动机理论。国际JCAI 1999:153-159
1998
【c3】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/dagstuhl/Ternovskaia98
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dagstuhl/Ternovskaia98网址
尤金妮亚·特诺夫斯卡娅:
归纳定义与情境演算。逻辑数据库中的事务和更改 1998:227-248
1994
【c2】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ecaiw/SoutchanskiT94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ecaiw/SoutchanskiT94
米哈伊尔·苏琴斯基,尤金妮亚·特诺夫斯卡娅:
多智能体系统并发动作的逻辑形式化。 ECAI代理理论、架构和语言研讨会 1994:129-144
【c1】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ki/Ternovskaia94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ki/Ternovskaia94
尤金妮亚·特诺夫斯卡娅:
区间情境演算。 KI公司 1994:400

合著者索引

请参阅常见问题解答

管理网站设置

为了保护您的隐私，所有依赖浏览器外部API调用的功能都是默认情况下关闭。你需要选择加入，让他们变得活跃。此处的所有设置将在您的web浏览器中存储为cookie。有关更多信息查看我们的F.A.Q。