位置：成果数据库 > 会议 > 会议详情页
Non-Standard Reasoning Services for the Verification of DAML+OIL Ontologies
  • 所属机构名称：大连海事大学
  • 会议名称：Artificial Intelligence Applications and Innovations
  • 成果类型：会议
  • 相关项目：本体演化的修正理论和算法研究
作者： 陈荣|
同会议论文项目
本体演化的修正理论和算法研究
期刊论文 16 会议论文 23 专利 2
同项目会议论文
Automatic Annotation for the Generation of Extraction Rules
Author identification of software source code with program dependence graphs
Statistical Fault Localization with Reduced Program Runs
Algorithms for the reconciliation of ontologies in open environments
基于模型诊断的AD2L语言及其系统实现
Decision Making Method Based on Interval AHP and DEA
An Approach to Checking SOC Timing Safety
Composite Event Detection Based on Automata
Research on Mobile Location Service Design Based on Android
Social conventions to promise learning convergence
Web information extraction based on hierarchical model
Entity-relation extraction for chinese based on pattern evolution and pagerank
Research on Mobile MOM Supporting Data Sharing
A Testing Method for Java ME Software
Automatic Test Data Generation Model by Combining Dataflow Analysis with Genetic Algorithm
Message Oriented Middleware Support for Mobile Ad Hoc Data Sharing
A new learning algorithm for cooperative agents in general-sum games
A Method of Detecting Program Plagiarism Based on Variable Dependence
Comparison Research on Digital Signature Algorithms in Mobile Web Services
Automated GUI Testing for J2ME Software Based on FSM
A Method of Log File Analysis for Test Oracle
Research on NTRU Algorithm for Mobile Java Security