掌桥科研
一站式科研服务平台
学术工具
文档翻译
论文查重
文档转换
收录引用
科技查新
期刊封面封底
自科基金
外文数据库(机构版)
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
其他
>
International joint conference on artificial intelligence
International joint conference on artificial intelligence
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
Sketching Techniques for Collaborative Filtering
机译:
用于协同滤波的素描技术
会议名称:
《International joint conference on artificial intelligence》
|
2009年
2.
Lifted Aggregation in Directed First-order Probabilistic Models
机译:
定向一阶概率模型中提升聚集
会议名称:
《International joint conference on artificial intelligence》
|
2009年
3.
Manifold Alignment without Correspondence
机译:
无关的歧管对齐
会议名称:
《International joint conference on artificial intelligence》
|
2009年
4.
Learning HTN Method Preconditions and Action Models from Partial Observations
机译:
从部分观察中学习HTN方法前提条件和动作模型
会议名称:
《International joint conference on artificial intelligence》
|
2009年
5.
Efficient Inference for Expressive Comparative Preference Languages
机译:
高效推论表达比较偏好语言
会议名称:
《International joint conference on artificial intelligence》
|
2009年
6.
Multi-Relational Learning with Gaussian Processes
机译:
高斯过程的多关系学习
会议名称:
《International joint conference on artificial intelligence》
|
2009年
7.
Russian Doll Search with Tree Decomposition
机译:
俄罗斯娃娃用树分解搜索
会议名称:
《International joint conference on artificial intelligence》
|
2009年
8.
Combining Speech and Sketch to Interpret Unconstrained Descriptions of Mechanical Devices
机译:
结合语音和草图来解释机械设备的无约束描述
会议名称:
《International joint conference on artificial intelligence》
|
2009年
9.
Inverse Reinforcement Learning in Partially Observable Environments
机译:
部分可观察环境中的逆钢筋学习
会议名称:
《International joint conference on artificial intelligence》
|
2009年
10.
Using Reasoning Patterns to Help Humans Solve Complex Games
机译:
使用推理模式来帮助人类解决复杂的游戏
会议名称:
《International joint conference on artificial intelligence》
|
2009年
11.
Exponential Family Sparse Coding with Applications to Self-taught Learning
机译:
指数家庭稀疏编码与应用到自学学习
会议名称:
《International joint conference on artificial intelligence》
|
2009年
12.
Algorithms and Complexity Results for Pursuit-Evasion Problems
机译:
追求逃避问题的算法和复杂性结果
会议名称:
《International joint conference on artificial intelligence》
|
2009年
13.
Streamlining Attacks on CAPTCHAs with a Computer Game
机译:
用电脑游戏精简验证码的攻击
会议名称:
《International joint conference on artificial intelligence》
|
2009年
14.
Angluin-Style Learning of NFA
机译:
NFA的Angluin风格学习
会议名称:
《International joint conference on artificial intelligence》
|
2009年
15.
Ranking Structured Documents: A Large Margin Based Approach for Patent Prior Art Search
机译:
排名结构化文件:专利现有技术搜索的基于基于利润的方法
会议名称:
《International joint conference on artificial intelligence》
|
2009年
16.
Probabilistic State Translation in Extensive Games with Large Action Sets
机译:
大型动作集中广泛游戏中的概率状态翻译
会议名称:
《International joint conference on artificial intelligence》
|
2009年
17.
An Efficient Nonnegative Matrix Factorization Approach in Flexible Kernel Space
机译:
灵活内核空间中有效的非负矩阵分解方法
会议名称:
《International joint conference on artificial intelligence》
|
2009年
18.
Generalized First Order Decision Diagrams for First Order Markov Decision Processes
机译:
一般性的一阶判决决策图,用于首次阶Markov决策过程
会议名称:
《International joint conference on artificial intelligence》
|
2009年
19.
Learning Graphical Game Models
机译:
学习图形游戏模型
会议名称:
《International joint conference on artificial intelligence》
|
2009年
20.
Online Graph Planarisation for Synchronous Parsing of Semantic and Syntactic Dependencies
机译:
语义和语法依赖性同步解析的在线图平面图
会议名称:
《International joint conference on artificial intelligence》
|
2009年
21.
SATenstein: Automatically Building Local Search SAT Solvers From Components
机译:
Satenstein:自动构建来自组件的本地搜索SAT索盘
会议名称:
《International joint conference on artificial intelligence》
|
2009年
22.
Topological Order Planner for POMDPs
机译:
POMDPS的拓扑顺序规划师
会议名称:
《International joint conference on artificial intelligence》
|
2009年
23.
Active Policy Iteration: Efficient Exploration through Active Learning for Value Function Approximation in Reinforcement Learning
机译:
积极的政策迭代:通过主动学习有效探索,以获得加固学习中的价值函数近似
会议名称:
《International joint conference on artificial intelligence》
|
2009年
24.
Markov Network based Ontology Matching
机译:
马尔可夫基于网络的本体匹配
会议名称:
《International joint conference on artificial intelligence》
|
2009年
25.
Parameter Identification in a Class of Linear Structural Equation Models
机译:
一类线性结构方程模型中的参数识别
会议名称:
《International joint conference on artificial intelligence》
|
2009年
26.
Towards Ontology Learning from Folksonomies
机译:
从愚蠢的学习学习本体论
会议名称:
《International joint conference on artificial intelligence》
|
2009年
27.
A Logic for Coalitions with Bounded Resources
机译:
具有有限资源的联盟的逻辑
会议名称:
《International joint conference on artificial intelligence》
|
2009年
28.
Multiscale Analysis of Document Corpora Based on Diffusion Models
机译:
基于扩散模型的文档语料量的多尺度分析
会议名称:
《International joint conference on artificial intelligence》
|
2009年
29.
Generalized Cluster Aggregation
机译:
广义群集聚合
会议名称:
《International joint conference on artificial intelligence》
|
2009年
30.
Eliciting Honest Reputation Feedback in a Markov Setting
机译:
在马尔可夫设置中引出诚实的声誉反馈
会议名称:
《International joint conference on artificial intelligence》
|
2009年
31.
DCOPs Meet the Real World: Exploring Unknown Reward Matrices with Applications to Mobile Sensor Networks
机译:
DCOPS符合现实世界:探索带有应用于移动传感器网络的未知奖励矩阵
会议名称:
《International joint conference on artificial intelligence》
|
2009年
32.
Goal-Driven Learning in the GILA Integrated Intelligence Architecture
机译:
Gila集成智能架构中的目标驱动学习
会议名称:
《International joint conference on artificial intelligence》
|
2009年
33.
Evaluating Abductive Hypotheses using an EM Algorithm on BDDs
机译:
在BDD上使用EM算法评估绑架假设
会议名称:
《International joint conference on artificial intelligence》
|
2009年
34.
Trading Off Solution Quality for Faster Computation in DCOP Search Algorithms
机译:
在DCOP搜索算法中进行更快计算的解决方案质量
会议名称:
《International joint conference on artificial intelligence》
|
2009年
35.
Using Web Photos for Measuring Video Frame Interestingness
机译:
使用Web照片测量视频框架乐趣
会议名称:
《International joint conference on artificial intelligence》
|
2009年
36.
Activity Recognition: Linking Low-level Sensors to High-level Intelligence
机译:
活动识别:将低级传感器链接到高级智能
会议名称:
《International joint conference on artificial intelligence》
|
2009年
37.
Translating HTNs to PDDL: A Small Amount of Domain Knowledge Can Go a Long Way
机译:
将HTN转换为PDDL:少量域知识可以走很长的路
会议名称:
《International joint conference on artificial intelligence》
|
2009年
38.
Symmetric Splitting in the General Theory of Stable Models
机译:
稳定模型一般理论中的对称分裂
会议名称:
《International joint conference on artificial intelligence》
|
2009年
39.
Canadian Traveler Problem with Remote Sensing
机译:
加拿大旅行者问题与遥感
会议名称:
《International joint conference on artificial intelligence》
|
2009年
40.
Large-Scale Taxonomy Mapping for Restructuring and Integrating Wikipedia
机译:
用于重组和整合维基百科的大型分类映射
会议名称:
《International joint conference on artificial intelligence》
|
2009年
41.
Automated Theorem Proving for General Game Playing
机译:
用于普通游戏的自动定理
会议名称:
《International joint conference on artificial intelligence》
|
2009年
42.
Spatial Processes for Recommender Systems
机译:
推荐系统的空间流程
会议名称:
《International joint conference on artificial intelligence》
|
2009年
43.
Multi-Way Number Partitioning
机译:
多路数字分区
会议名称:
《International joint conference on artificial intelligence》
|
2009年
44.
Learning to Follow Navigational Route Instructions
机译:
学习遵循导航路线说明
会议名称:
《International joint conference on artificial intelligence》
|
2009年
45.
Simultaneous Discovery of Conservation Laws and Hidden Particles With Smith Matrix Decomposition
机译:
同时发现史密斯矩阵分解的保护法和隐藏颗粒
会议名称:
《International joint conference on artificial intelligence》
|
2009年
46.
Generalized Clustergrams for Overlapping Biclusters
机译:
用于重叠双板的概括集群图
会议名称:
《International joint conference on artificial intelligence》
|
2009年
47.
Incremental Phi~*: Incremental Any-Angle Path Planning on Grids
机译:
增量phi〜*:网格上的递增的任何角度路径规划
会议名称:
《International joint conference on artificial intelligence》
|
2009年
48.
K-Swaps: Cooperative Negotiation for Solving Task-Allocation Problems
机译:
K-Swaps:解决任务分配问题的合作谈判
会议名称:
《International joint conference on artificial intelligence》
|
2009年
49.
Bootstrap Voting Experts
机译:
引导投票专家
会议名称:
《International joint conference on artificial intelligence》
|
2009年
50.
Integrating Systematic and Local Search Paradigms: A New Strategy for MaxSAT
机译:
集成系统和本地搜索范例:MaxSAT的新策略
会议名称:
《International joint conference on artificial intelligence》
|
2009年
51.
Set Branching in Constraint Optimization
机译:
在约束优化中设置分支
会议名称:
《International joint conference on artificial intelligence》
|
2009年
52.
Optimal Symbolic Planning with Action Costs and Preferences
机译:
具有行动成本和偏好的最佳符号规划
会议名称:
《International joint conference on artificial intelligence》
|
2009年
53.
A New Bayesian Approach to Multiple Intermittent Fault Diagnosis
机译:
一种新的贝叶斯探讨多次间歇性故障诊断
会议名称:
《International joint conference on artificial intelligence》
|
2009年
54.
Wikispeedia: An Online Game for Inferring Semantic Distances between Concepts
机译:
Wikispeedia:一个在线游戏,用于在概念之间推断语义距离
会议名称:
《International joint conference on artificial intelligence》
|
2009年
55.
Equivalence Relations in Fully and Partially Observable Markov Decision Processes
机译:
完全和部分可观察的马尔可夫决策过程中的等价关系
会议名称:
《International joint conference on artificial intelligence》
|
2009年
56.
Local Learning Regularized Nonnegative Matrix Factorization
机译:
本地学习正常化非负矩阵分解
会议名称:
《International joint conference on artificial intelligence》
|
2009年
57.
Learning Kinematic Models for Articulated Objects
机译:
学习关节物体的运动模型
会议名称:
《International joint conference on artificial intelligence》
|
2009年
58.
Predictive Projections
机译:
预测预测
会议名称:
《International joint conference on artificial intelligence》
|
2009年
59.
Fast Active Tabu Search and its Application to Image Retrieval
机译:
快速活动的禁忌搜索及其应用于图像检索
会议名称:
《International joint conference on artificial intelligence》
|
2009年
60.
Adaptive Cluster Ensemble Selection
机译:
自适应集群集合选择
会议名称:
《International joint conference on artificial intelligence》
|
2009年
61.
A New d-DNNF-Based Bound Computation Algorithm for Functional E-MAJSAT
机译:
基于新的D-DNNF的函数E-Majsat绑定计算算法
会议名称:
《International joint conference on artificial intelligence》
|
2009年
62.
Defeasible Inclusions in Low-Complexity DLs: Preliminary Notes
机译:
低复杂性DLS中不可取的夹杂物:初步说明
会议名称:
《International joint conference on artificial intelligence》
|
2009年
63.
Incorporating User Behaviors in New Word Detection
机译:
在新单词检测中纳入用户行为
会议名称:
《International joint conference on artificial intelligence》
|
2009年
64.
Speeding Up Inference in Markov Logic Networks by Preprocessing to Reduce the Size of the Resulting Grounded Network
机译:
通过预处理来减少所产生的接地网络的大小,在马尔可夫逻辑网络中加速推断
会议名称:
《International joint conference on artificial intelligence》
|
2009年
65.
Diagnosing Multiple Persistent and Intermittent Faults
机译:
诊断多个持久性和间歇性故障
会议名称:
《International joint conference on artificial intelligence》
|
2009年
66.
Spatio-Temporal Event Detection Using Dynamic Conditional Random Fields
机译:
使用动态条件随机字段的时空事件检测
会议名称:
《International joint conference on artificial intelligence》
|
2009年
67.
Linear Dimensionality Reduction for Multi-label Classification
机译:
多标签分类的线性维度减少
会议名称:
《International joint conference on artificial intelligence》
|
2009年
68.
Conditional Importance Networks: A Graphical Language for Representing Ordinal, Monotonic Preferences over Sets of Goods
机译:
条件重要性网络:用于代表序数,单调偏好的图形语言
会议名称:
《International joint conference on artificial intelligence》
|
2009年
69.
Learning the Optimal Neighborhood Kernel for Classification
机译:
学习最佳邻居内核进行分类
会议名称:
《International joint conference on artificial intelligence》
|
2009年
70.
Situated Resolution and Generation of Spatial Referring Expressions for Robotic Assistants
机译:
位于机器人助手的地点分辨率和生成空间引用表达式
会议名称:
《International joint conference on artificial intelligence》
|
2009年
71.
Using Entropy to Distinguish Shape Versus Text in Hand-Drawn Diagrams
机译:
使用熵区分形状与文本在手绘图中
会议名称:
《International joint conference on artificial intelligence》
|
2009年
72.
Greedy Algorithms for Sequential Sensing Decisions
机译:
用于顺序传感决策的贪婪算法
会议名称:
《International joint conference on artificial intelligence》
|
2009年
73.
A Dichotomy Theorem on the Existence of Efficient or Neutral Sequential Voting Correspondences
机译:
有效或中性顺序投票对应关系的二分法定理
会议名称:
《International joint conference on artificial intelligence》
|
2009年
74.
Regular Path Queries in Expressive Description Logics with Nominals
机译:
常规路径查询中的呈现描述逻辑标有名义
会议名称:
《International joint conference on artificial intelligence》
|
2009年
75.
gRegress: Extracting Features from Graph Transactions for Regression
机译:
gegress:从图表事务中提取功能以供回归
会议名称:
《International joint conference on artificial intelligence》
|
2009年
76.
Nominals for Everyone
机译:
每个人的名义
会议名称:
《International joint conference on artificial intelligence》
|
2009年
77.
Relation Regularized Matrix Factorization
机译:
关系正则化矩阵分解
会议名称:
《International joint conference on artificial intelligence》
|
2009年
78.
Learning Optimal Subsets with Implicit User Preferences
机译:
使用隐式用户偏好学习最佳子集
会议名称:
《International joint conference on artificial intelligence》
|
2009年
79.
Evaluating Strategies for Running from the Cops
机译:
评估警察跑的策略
会议名称:
《International joint conference on artificial intelligence》
|
2009年
80.
Compiling the Votes of a Subelectorate
机译:
编译子中心的投票
会议名称:
《International joint conference on artificial intelligence》
|
2009年
81.
Transfer Learning from Minimal Target Data by Mapping across Relational Domains
机译:
通过跨关系域映射从最小目标数据转移
会议名称:
《International joint conference on artificial intelligence》
|
2009年
82.
Learning a Value Analysis Tool For Agent Evaluation
机译:
学习代理评估的值分析工具
会议名称:
《International joint conference on artificial intelligence》
|
2009年
83.
TBA~*: Time-Bounded A~*
机译:
TBA〜*:时间有限A〜*
会议名称:
《International joint conference on artificial intelligence》
|
2009年
84.
Labellings and Games for Extended Argumentation Frameworks
机译:
扩展争论框架的标签和游戏
会议名称:
《International joint conference on artificial intelligence》
|
2009年
85.
Is it Enough to Get the Behaviour Right?
机译:
是否足以让行为正确?
会议名称:
《International joint conference on artificial intelligence》
|
2009年
86.
Plan Recognition as Planning
机译:
计划承认计划
会议名称:
《International joint conference on artificial intelligence》
|
2009年
87.
Knowledge Compilation Properties of Trees-of-BDDs, Revisited
机译:
知识汇编树木的BDD,重新审视
会议名称:
《International joint conference on artificial intelligence》
|
2009年
88.
Effective Query Rewriting with Ontologies over DBoxes
机译:
通过Dboxes与本体上重写的有效查询重写
会议名称:
《International joint conference on artificial intelligence》
|
2009年
89.
On Solving Boolean Multilevel Optimization Problems
机译:
解决布尔多级优化问题
会议名称:
《International joint conference on artificial intelligence》
|
2009年
90.
On the Complexity of Compact Coalitional Games
机译:
论紧凑型外立游戏的复杂性
会议名称:
《International joint conference on artificial intelligence》
|
2009年
91.
Nonmanipulable Selections from a Tournament
机译:
来自锦标赛的非法选择
会议名称:
《International joint conference on artificial intelligence》
|
2009年
92.
Streamed Learning: One-Pass SVMs
机译:
流学习:单通机SVMS
会议名称:
《International joint conference on artificial intelligence》
|
2009年
93.
Semi-Supervised Regression for Evaluating Convenience Store Location
机译:
评估便利店位置的半监督回归
会议名称:
《International joint conference on artificial intelligence》
|
2009年
94.
On the Tip of My Thought: Playing the Guillotine Game
机译:
在我的思想提示:玩断头台游戏
会议名称:
《International joint conference on artificial intelligence》
|
2009年
95.
Representation and Synthesis of Melodic Expression
机译:
旋律表达的表示与合成
会议名称:
《International joint conference on artificial intelligence》
|
2009年
96.
A Semantical Account of Progression in the Presence of Defaults
机译:
在存在默认值中的进展的语义叙述
会议名称:
《International joint conference on artificial intelligence》
|
2009年
97.
Goal Recognition with Variable-Order Markov Models
机译:
使用可变秩序马尔可夫模型的目标识别
会议名称:
《International joint conference on artificial intelligence》
|
2009年
98.
Import-by-Query: Ontology Reasoning under Access Limitations
机译:
进口逐查询:访问限制下的本体推理
会议名称:
《International joint conference on artificial intelligence》
|
2009年
99.
Expanding Domain Sentiment Lexicon through Double Propagation
机译:
通过双重传播扩展域情绪词典
会议名称:
《International joint conference on artificial intelligence》
|
2009年
100.
Euclidean and Mereological Qualitative Spaces: a Study of SCC and DCC
机译:
欧几里德和情人定性空间:SCC和DCC的研究
会议名称:
《International joint conference on artificial intelligence》
|
2009年
关键词:
single cross calculus;
double cross calculus;
mereology;
qualitative spaces;
意见反馈
回到顶部
回到首页