位置：成果数据库 > 会议 > 会议详情页
A generalized gelfond-lifschitz transformation for logic programs with abstract constraints
  • 所属机构名称：中国科学院软件研究所
  • 会议名称：AAAI-07/IAAI-07 Proceedings: 22nd AAAI Conference on Artificial Intelligence and the 19th Innovative
  • 成果类型：会议
  • 会场：Vancouver, BC, Canada
  • 相关项目：非命题化的回答集程序推理算法、系统实现以及典型应用研究
作者： You, Jia-Huai|Shen, Yi-Dong|
同会议论文项目
非命题化的回答集程序推理算法、系统实现以及典型应用研究
期刊论文 4 会议论文 13
同项目会议论文
Partitioning ABoxes by converting DL to plain datalog
Logic programs with abstract constraints: Representaton, disjunction and complexities
Modeling Concept Drift from The Perspective of Classifiers
Clustering with Feature Order Preferences
Computing minimum cost diagnoses to repair populated DL-based ontologies
Clustering Via Local Regression
Lexicographical Inference over Inconsistent DL-Based Ontologies
R-map: Mapping categorical data for clustering and visualization based on reference sets
Collective Latent Dirichlet Allocation
Regularized Local Reconstruction for Clustering
A Decomposition-based Approach to Optimizing Conjunctive Query Answering in OWL DL
A Default Approach to Semantics of Logic Programs with Constraint Atoms