位置：成果数据库 > 期刊 > 期刊详情页
Sound and complete axiomatic system with a modality &squ;&phi;=&squ;<inf>1</inf
  • ISSN号：1000-9825
  • 期刊名称：Journal of Software
  • 时间：2015.9.1
  • 页码：2286-2296
  • 相关项目：面向Web文本的因果知识获取方法研究
作者： Deng, Shao-Bo|Li, Min|Cao, Cun-Gen|Sui, Yue-Fei|
同期刊论文项目
面向Web文本的因果知识获取方法研究
期刊论文 32 会议论文 8
同项目期刊论文
A Multi-value Classifying Method for Mining Knowledge from Noun Phrases
具有模态词□φ=□_(1φ)∨□_(2φ)且可靠与完备的公理系统
事件常识的获取方法研究
Formula-Layered predicate modal logic
The B-4-valued propositional Belnap-Dunn logic
一种交互式事件常识知识的获取方法
Web mining for causal relations between events
基于并列结构的部分整体关系获取
从Web中获取部分整体关系
叙事生成方法研究综述
兼语语义类的分类研究
基于OMKast的术语关系获取和验证
具有模态词□φ=□1φ∨□2φ且可靠与完备的公理系统
基于PPOG语义文法的产品舆情分析方法
公式分层的谓词模态逻辑
面向限定领域问答系统的自然语言理解方法综述
基于三重特征码水印的电子印章检测方案
The B4-valued propositional logic with unary logical connectives ～1 /～2/┐
期刊信息
  • 《软件学报》
  • 北大核心期刊（2011版）
  • 主管单位:中国科学院
  • 主办单位:中国科学院软件研究所 中国计算机学会
  • 主编：赵琛
  • 地址：北京8718信箱中国科学院软件研究所
  • 邮编：100190
  • 邮箱：jos@iscas.ac.cn
  • 电话：010-62562563
  • 国际标准刊号：ISSN：1000-9825
  • 国内统一刊号：ISSN：11-2560/TP
  • 邮发代号:82-367
  • 获奖情况:
  • 2001年入选中国期刊方阵“双百期刊”,2000年荣获中国科学院优秀科技期刊一等奖
  • 国内外数据库收录:
  • 俄罗斯文摘杂志,美国数学评论（网络版）,波兰哥白尼索引,德国数学文摘,荷兰文摘与引文数据库,美国工程索引,美国剑桥科学文摘,英国科学文摘数据库,日本日本科学技术振兴机构数据库,中国中国科技核心期刊,中国北大核心期刊（2004版）,中国北大核心期刊（2008版）,中国北大核心期刊（2011版）,中国北大核心期刊（2014版）,中国北大核心期刊（2000版）
  • 被引量:54609