位置：成果数据库 > 会议 > 会议详情页
An Extension to OWL with General Rules, In: Rules and Rule Markup Languages for the Semantic Web
  • 所属机构名称：中国科学院数学与系统科学研究院
  • 成果类型：会议
  • 相关项目：非规范知识处理的基本理论和核心技术
同会议论文项目
非规范知识处理的基本理论和核心技术
期刊论文 8 会议论文 342 著作 24
同项目会议论文
Greedy online frequency allocation in cellular networks
Forward looking Nash equilibrium for keyword auction
Towards Semantic Web Services Discovery with QoS Support using Specific Ontologies
Efficient Evaluation XPath Full-Text Query with Distance Predicates
Representation and Reasoning on RBAC: A Description Logic Approach
An Ant Colony Optimization Algorithm for Learning Classification Rules
Semi-automatic Hardware Design using Ontologies
Towards A Trust Model with Uncertainty for E-Commerce Systems
Social Trust Based Service Trust Model
Computing Degree of Association Based on Different Semantic Relationships
Inconsistency-based Strategy for clarifying vague software requirements
Sequential voting rules and multiple elections paradoxes.
Autonomous Intelligent Systems: Multi-Agents and Data Mining
NIIA: Nonparametric Iterative Imputation Algorithm
Cost-sensitive Semi-supervised Classification using CS-EM
Answer Set Programming with Functions
A Study on Semantic Web Construction Platform
Adopting Ontologies and Rules in Web Searching Services
A perspective on global social e-mail networks
Mechanism Approach That Unifies AI Research
Spatial Reasoning Based Spatial Data Mining for Precision Agriculture
Partitions of spatial data relationships
A New Method for Linear III-posed problems: Iteration Method by Rectifying Eigen value
Association rule mining based on concept lattice
Deciding weak bisimilarity of normed context-free processes using tableau.
Greedy online frequency allocation in cellular networks
Forward looking Nash equilibrium for keyword auction
A Lattice Metric For Evaluating Ontology Hierarchies
A Preliminary Study on the Semantic Strength of Chinese Radicals
Efficient Evaluation XPath Full-Text Query with Distance Predicates
Classifying Class and Finding Community in UML Metamodel Network
Inplementing Higher-order control in Java.
Use of rectangle algebra in cardinal direction
Paraconsistent Resolution for Four-valued Description Logics
Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics
Agent Oriented Probabilistic Logic Programming with Fuzzy Constraints
Algorithm Studies of Rlues Generation in CORS Methodology
More on weak bisimilarity of normed basic parallel processes.
MULTI- GRANULARITIES APPROXIMATE METHOD FOR OBTAINING QUALITATIVE SPATIAL RELATIONS
OWL2Jess: A Transformational Implementation of the OWL Semantics
Guido Governatori and Vineet Padmanabhan, Observation-based model for BDI-agents
An Extension to OWL with General Rules, In: Rules and Rule Markup Languages for the Semantic Web
Nonmetric Multicommodity Facility Location and k-Median problem with service installation costs
Detecting of Requirements Inconsistency: An Ontology-Based Approach
Model-based Diagnosis of Discrete Event Systems with An Incomplete System Model
Agent multi-issue negotiation with cases
Ontology Learning using WordNet Lexicon
Computing Loops With at Most One External Support Rule
Four-Valued Semantics for Default Logic, Advances in Artificial Intelligence
Mechanized proofs for the Parameter Abstraction and Guard Strengthening Principle in Parameterized V
Ontology Hierarchies Matching by Lattices Alignment
Web Service Retrieval: An Approach based on Context Ontology
Variable Neighborhood Search with Permutation for QAP
An Ant Colony Optimization Algorithm for Learning Classification Rules
A theory of forgetting in logic programming
Complex Networks and Network Intelligence
Iterated Revision in Default Reasoning
A Posterior-Based Method for Markov Logic Networks Parameters Learning
Inconsistency-based Strategy for clarifying vague software requirements
Towards Semantic Web Services Discovery with QoS Support using Specific Ontologies
The Algorithm Research for “On the fly” Model Checking Temporal Logics of Knowledge in Multi-Agent S
Towards Effective Document Clustering: A Constrained K-means Based Approach
Inconsistency Measurement of Software Requirements Specifications: An Ontology-Based Approach
Si-SEEKER: Ontology-based semantic search over databases
NUITS: A Novel User Interface for Efficient Keyword Search over Databases
An Association Matrix Structure For Mining Key Event Sequences Over Sliding Windows
Web Service Retrieval based on Environment Ontology
Some Cognitive Aspects of a Turing Test for Children
A Coherent and Paraconsistent Variant of the Default Logic, the 8th International Symposium on Logic
Algorithms for Paraconsistent Reasoning with OWL
Requirement Driven Agent Collaboration based on Automated Mechanism Design
A Strategy for Attributes Selection in Cost-Sensitive Decision Trees Induction
Deciding Bisimilarity of Full BPA Processes Locally.
FECT: A Modeling Framework for Automatically Composing Web Services
Ontology-Based Inconsistency Management of Software Requirements Specifications
Mechanism Approach to A Unified Theory of Artificial Intelligence
A Decremental Algorithm for Mining Dynamic Databases
A Constraints-based Semantic Mapping Method from Natural Language Questions to OWL
An Ontology Search Engine Based on Semantic Analysis
Adopting Ontologies and Rules in Web Searching Services
Requirement Driven Agent Collaboration based on Functional Ontology and AMD
Observation-Based Logic of Knowledge, Belief, Desire and Intention
Program Verification by Using DISCOVERER.
Extending the Strand Space Method to Verify Kerberos V.
Towards Effective Document Clustering: A Constrained K-means Based Approach
Decidability of weak bisimilarity for a subset of BPA.
A Hybrid Approach for Learning Markov Equivalence Classes of Bayesian Network
Process Mining: Extending “α-Algorithm” to Mine Duplicate Tasks in Process Logs
Data preprocessing of spatial data mining
A perspective of spatial data mining
Agent Oriented Probabilistic Logic Programming with Fuzzy Constraints
Some Cognitive Aspects of a Turing Test for Children
Social Trust Based Service Trust Model
Towards Automatic Problem Decomposition: An Ontology-based Approach
FECT: A Modeling Framework for Automatically Composing Web Services
The Algorithm Research for “On the fly” Model Checking Temporal Logics of Knowledge in Multi-Agent S
On Constructing Environment Ontology for Semantic Web Services
LinkNet: A New Approach for Searching in a Large Peer-to-peer System
Combining Multiple Email Filters Based on Multivariate Statistical Analysis
A Decremental Algorithm for Mining Dynamic Databases
From Answer Set Logic Programming to Circumscription via Logic of GK
Algorithms for Paraconsistent Reasoning with OWL
Study on Performance Improving for Resource Management of Computational Grid Based upon AT
Ontology Construction for Semantic Web: A Role-based Collaborative Development Method
A New Taxonomy of Coordination Models Based on Interaction Types
A Survey of Multi-agent Coordination.
In-Depth Data Mining and Its Application in Stock Market
Is Frequency Enough for Decision Makers to Make Decisions
Ontology-Based Inconsistency Management of Software Requirements Specifications
A Constraints-based Semantic Mapping Method from Natural Language Questions to OWL
Inplementing Higher-order control in Java.
A Study on Semantic Web Construction Platform
Sequential voting rules and multiple elections paradoxes.
Measuring Inconsistency in Requirements specifications
Exploiting Inference Rules to Compute Lower Bounds for MAX-SAT Solving
An Ant Colony Optimization Algorithm for Solving the Multidimensional Knapsack Problems
ALCuP: An Integration of Description Logic and General Rules
Trust Analysis of Web Services based on a Trust Ontology
FECT: A Framework for Automatical Composition of Web Services
Computing Degree of Association Based on Different Semantic Relationships
An OWL-Based Approach for RBAC with Negative Authorization
OWL2Jess: A Transformational Implementation of the OWL Semantics
Guido Governatori and Vineet Padmanabhan, Observation-based model for BDI-agents
Complex Networks and Network Intelligence
Holon Based Self-Organization Evolution in MAS
Reasoning About Knowledge by SAT Solving
A Framework for Reusing and Composing Software Components on Web
Inconsistency Measurement of Software Requirements Specifications: An Ontology-Based Approach
Finding Top-k Min-Cost Connected Trees in Databases
A Posterior-Based Method for Markov Logic Networks Parameters Learning
An Implementation of the Distributed Problem Solving on the Web
On applying inductive logic programming to the web
ITREKS:Keyword Search over Relational Database by Indexing Tuple Relationship
More on weak bisimilarity of normed basic parallel processes.
Structuralism? Functionalism? Behaviorism? Or Mechanism? - - Looking Backward and Forward for Bett
On Constructing Environment Ontology for Semantic Web Services
A New Method for Classifying Customer Purchasing Power
Detecting of Requirements Inconsistency: An Ontology-Based Approach
Mechanism Approach to A Unified Theory of Artificial Intelligence
Nonmetric Multicommodity Facility Location and k-Median problem with service installation costs
A perspective of spatial data mining
A New Method for Linear III-posed problems: Iteration Method by Rectifying Eigen value
Requirement Driven Agent Collaboration based on Functional Ontology and AMD
A Coherent and Paraconsistent Variant of the Default Logic, the 8th International Symposium on Logic
ECPIA: An Email-Centric Personal Intelligent Assistant
Distributed Reasoning Based on Problem Solver Markup Language (PSML) – A Demonstration through Exten
统计关系学习综述
人工智能研究的新方向——网络化智能
Inferring with Inconsistent OWL DL Ontology: a Multi-valued Approach
Clustering OWL Documents Based on Semantic Analysis
A Cognitive Approach to AI
Complex Networks and Network Intelligence
Agent-based Intelligent Network Security Management
Intangible Payoff and Credit of Agent Long-term Coalitio
一种基于Agent的元搜索引擎模型IMSA
Deciding weak bisimilarity of normed context-free processes using tableau.
PreCN: Preprocessing Candidate Networks for Efficient Keyword Search over Databases
LinkNet: A New Approach for Searching in a Large Peer-to-peer System
A New Taxonomy of Coordination Models Based on Interaction Types
ECPIA: An Email-Centric Personal Intelligent Assistant
An Ontology Search Engine Based on Semantic Analysis
An Approach for Specifying Capability of Web Services based on Environment Ontology
Multi Agent Negotiation Optimization Based on Accelerating Chaos Search Method
Ontology Construction for Semantic Web: A Role-based Collaborative Development Method
A Survey of Multi-agent Coordination.
Detecting Collusion Attacks in Security Protocols
Is Frequency Enough for Decision Makers to Make Decisions
Towards Automatic Problem Decomposition: An Ontology-based Approach
Learning Ontology From Relational Database
Decidability of weak bisimilarity for a subset of BPA.
Cooperative Ontology Development Environment CODE and A Demo Semantic Web on Economics
An Improved Bayesian Networks Learning Algorithm Based on Independence Test and MDL Scoring
Clustering OWL Documents Based on Semantic Analysis
Forward Looking Nash Equilibrium for Keyword Auction
Inferring with Inconsistent OWL DL Ontology: a Multi-valued Approach
Efficiently Discovering Frequent Itemsets by Sampling
Clouding Algorithm: A Novel Multi-Population Evolution Model and Its Applying to Global Numerical Op
Exploiting Inference Rules to Compute Lower Bounds for MAX-SAT Solving
An Ant Colony Optimization Algorithm for Solving the Multidimensional Knapsack Problems
In-Depth Data Mining and Its Application in Stock Market
A Cognitive Approach to AI
Developing intelligent applications in social e-mail networks, Rough Sets and Current Trends in Comp
Expansive bisimulation for context-free processes.
Combining Multiple Email Filters Based on Multivariate Statistical Analysis
Agent-Based Plot Planning for Automatic Generation of Computer Animation.
An Implementation of the Distributed Problem Solving on the Web
A Design of Product Configuration Manager Based on Weight Constraint Parameter Value in Manufacture
Clustering-based Missing Value Imputation for Data Preprocessing
Structuralism? Functionalism? Behaviorism? Or Mechanism? - - Looking Backward and Forward for Bett
QuickCN: A Combined Approach for Efficient Keyword Search over Databases
Sampling Ensembles for Frequent Patterns
Representation and Reasoning on RBAC: A Description Logic Approach
Study on Efficiency and Effectiveness of KSORD
TreeCluster: Clustering Results of Keyword Search over Databases
Web Service Composition: An Approach Using Effect-based Reasoning
Context Ontology-based Capability Specification for Web Service Discovery
Building Bilingual Ontology from WordNet and Chinese Classified Thesaurus
Computing Semantic Similarities based on Machine-Readable Dictionaries
An Ontology of Problem Frames for Guiding Problem Frame Specification
XSDL: Making XML Semantics Explicit
Variable Neighborhood Search with Permutation for QAP
A computationally grounded model of BDI-agents
Detecting Collusion Attacks in Security Protocols
ITREKS:Keyword Search over Relational Database by Indexing Tuple Relationship
Process Mining: Extending “α-Algorithm” to Mine Duplicate Tasks in Process Logs
A Design of Product Configuration Manager Based on Weight Constraint Parameter Value in Manufacture
Clustering-based Missing Value Imputation for Data Preprocessing
Permutation Distance: Properties and Algorithms
Web Service Composition: An Approach Using Effect-based Reasoning
Web Service Retrieval based on Environment Ontology
QuickCN: A Combined Approach for Efficient Keyword Search over Databases
Exploiting Connection Relation to Compress Data Graph
TreeCluster: Clustering Results of Keyword Search over Databases
Developing intelligent applications in social e-mail networks, Rough Sets and Current Trends in Comp
Context Ontology-based Capability Specification for Web Service Discovery
Computing Semantic Similarities based on Machine-Readable Dictionaries
基于MBR的拓扑、方位、尺寸结合的定性空间推理
Requirement Driven Agent Collaboration based on Automated Mechanism Design
Model Checking Temporal Logics of Knowledge and Its Application in Security Verification
Program Verification by Using DISCOVERER.
Mechanized proofs for the Parameter Abstraction and Guard Strengthening Principle in Parameterized V
Deciding Bisimilarity of Full BPA Processes Locally.
Gene Expression Data Clustering Based on Local Similarity Combination
A new Method to Mine Gene Regulation Relationship Information
A Hybrid Approach for Learning Markov Equivalence Classes of Bayesian Network
Use of rectangle algebra in cardinal direction
NUITS: A Novel User Interface for Efficient Keyword Search over Databases
A New Method for Classifying Customer Purchasing Power
Traversing the Maching Graph
XSDL: Making XML Semantics Explicit
Permutation Distance: Properties and Algorithms
Permutation Distance in VNS for QAP
he Regulation of Gene Expression in E-Cell
Model Composition in Multi-dimensional Data Spaces
Traversing the Maching Graph
On applying inductive logic programming to the web
Finding Top-k Min-Cost Connected Trees in Databases
General Public Key m-out-of-n Oblivious Transfer.
Quantum m-out-of-n Oblivious Transfer.
Approximate Top-k Structural Similar Search over XML Documents
Research of Controlling Method of the Lock Granularities in Distributed Transactions
Reasoning About Knowledge by SAT Solving
ALCuP: An Integration of Description Logic and General Rules
Trust Analysis of Web Services based on a Trust Ontology
FECT: A Framework for Automatical Composition of Web Services
From Answer Set Logic Programming to Circumscription via Logic of GK
Measuring Semantic Association in Domain Ontology
Knowledge Theory and Artificial Intelligence
Measuring Inconsistency in Requirements specifications
An Ontology of Problem Frames for Guiding Problem Frame Specification
A Framework for Reusing and Composing Software Components on Web
Holon Based Self-Organization Evolution in MAS
Study on Performance Improving for Resource Management of Computational Grid Based upon AT
ACG-Based Performance Improving for Resource Management of Computational Grid
Resource Matching Based on Ontology and Mobile Agent in Grid Environments
Information-Knowledge-Intelligence Transformations: The Kernel Mechanism of Intelligence Formation
Missing or absent? A Question in Cost-sensitive Decision Tree
A Semi-automatic Ontology Acquisition Method for the Semantic Web
An Approach for Specifying Capability of Web Services based on Environment Ontology
A Measurement-driven Process Model for Managing Inconsistent Software Requirements
The Interpreted System Model of Knowledge, Belief, Desire and Intention
Kernel-Based Multi-imputation for Missing Data
A WSMO-based Semantic Web Services Discovery Framework in Heterogeneous Ontologies Environment
An OWL-Based Approach for RBAC with Negative Authorization
Web Service Retrieval: An Approach based on Context Ontology
A new Method to Mine Gene Regulation Relationship Information
Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics
Distributed Reasoning Based on Problem Solver Markup Language (PSML) – A Demonstration through Exten
Model Checking Temporal Logics of Knowledge and Its Application in Security Verification
Exploiting Connection Relation to Compress Data Graph
General Public Key m-out-of-n Oblivious Transfer.
A Measurement-driven Process Model for Managing Inconsistent Software Requirements
二次学习
The Interpreted System Model of Knowledge, Belief, Desire and Intention
Permutation Distance in VNS for QAP
Model Composition in Multi-dimensional Data Spaces
Agent组织研究进展
从“信息-知识-智能生态链”看信息科学
Reasoning Based on the Distributed β-PSML
Reasoning Based on the Distributed β-PSML
Quantum m-out-of-n Oblivious Transfer.
Approximate Top-k Structural Similar Search over XML Documents
Missing or absent? A Question in Cost-sensitive Decision Tree
A computationally grounded model of BDI-agents
Iterated Revision in Default Reasoning
Research of Controlling Method of the Lock Granularities in Distributed Transactions
Resource Matching Based on Ontology and Mobile Agent in Grid Environments
语义web建设平台的研究和实现
Forward Looking Nash Equilibrium for Keyword Auction
Multi Agent Negotiation Optimization Based on Accelerating Chaos Search Method
ACG-Based Performance Improving for Resource Management of Computational Grid
Mechanism Approach That Unifies AI Research
Information-Knowledge-Intelligence Transformations: The Kernel Mechanism of Intelligence Formation
Study on Efficiency and Effectiveness of KSORD
Autonomous Intelligent Systems: Multi-Agents and Data Mining
Kernel-Based Multi-imputation for Missing Data
Ontology Learning using WordNet Lexicon
A Strategy for Attributes Selection in Cost-Sensitive Decision Trees Induction
面向语义Web的本体库管理系统研究
Efficiently Discovering Frequent Itemsets by Sampling
he Regulation of Gene Expression in E-Cell
Observation-Based Logic of Knowledge, Belief, Desire and Intention
A Preliminary Study on the Semantic Strength of Chinese Radicals
Building Bilingual Ontology from WordNet and Chinese Classified Thesaurus
Ontology Hierarchies Matching by Lattices Alignment
A theory of forgetting in logic programming
Si-SEEKER: Ontology-based semantic search over databases
Agent-Based Plot Planning for Automatic Generation of Computer Animation.
Measuring Semantic Association in Domain Ontology
NIIA: Nonparametric Iterative Imputation Algorithm
A Lattice Metric For Evaluating Ontology Hierarchies
Four-Valued Semantics for Default Logic, Advances in Artificial Intelligence
Extending the Strand Space Method to Verify Kerberos V.
Expansive bisimulation for context-free processes.
PreCN: Preprocessing Candidate Networks for Efficient Keyword Search over Databases
A Semi-automatic Ontology Acquisition Method for the Semantic Web
A WSMO-based Semantic Web Services Discovery Framework in Heterogeneous Ontologies Environment
An Improved Bayesian Networks Learning Algorithm Based on Independence Test and MDL Scoring
An Association Matrix Structure For Mining Key Event Sequences Over Sliding Windows
Algorithm Studies of Rlues Generation in CORS Methodology
Paraconsistent Resolution for Four-valued Description Logics
Gene Expression Data Clustering Based on Local Similarity Combination
Sampling Ensembles for Frequent Patterns
Learning Ontology From Relational Database
Semi-automatic Hardware Design using Ontologies
MULTI- GRANULARITIES APPROXIMATE METHOD FOR OBTAINING QUALITATIVE SPATIAL RELATIONS
Model-based Diagnosis of Discrete Event Systems with An Incomplete System Model
Towards A Trust Model with Uncertainty for E-Commerce Systems
Agent multi-issue negotiation with cases
Association rule mining based on concept lattice
Classifying Class and Finding Community in UML Metamodel Network
Clouding Algorithm: A Novel Multi-Population Evolution Model and Its Applying to Global Numerical Op
Cost-sensitive Semi-supervised Classification using CS-EM
Answer Set Programming with Functions
Computing Loops With at Most One External Support Rule
A perspective on global social e-mail networks
Knowledge Theory and Artificial Intelligence
Spatial Reasoning Based Spatial Data Mining for Precision Agriculture
Cooperative Ontology Development Environment CODE and A Demo Semantic Web on Economics
Data preprocessing of spatial data mining
Partitions of spatial data relationships