咨询与建议

限定检索结果

文献类型

  • 26 篇 期刊文献
  • 10 篇 会议

馆藏范围

  • 36 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 35 篇 工学
    • 35 篇 计算机科学与技术...
    • 23 篇 电气工程
    • 4 篇 控制科学与工程
    • 3 篇 软件工程
    • 2 篇 机械工程
    • 2 篇 环境科学与工程(可...
    • 1 篇 信息与通信工程
    • 1 篇 城乡规划学
  • 5 篇 管理学
    • 5 篇 管理科学与工程(可...
    • 1 篇 工商管理
    • 1 篇 图书情报与档案管...
  • 1 篇 教育学
    • 1 篇 教育学
  • 1 篇 理学
    • 1 篇 地理学

主题

  • 36 篇 knowledge repres...
  • 10 篇 artificial intel...
  • 5 篇 computing method...
  • 5 篇 intelligent syst...
  • 4 篇 semantic network...
  • 3 篇 knowledge repres...
  • 3 篇 ontology design
  • 2 篇 languages
  • 2 篇 decision support
  • 2 篇 representation l...
  • 2 篇 knowledge manage...
  • 2 篇 ontologies
  • 2 篇 probabilistic al...
  • 2 篇 twitter
  • 2 篇 semantic web
  • 2 篇 pattern recognit...
  • 2 篇 learning, proble...
  • 2 篇 semantics
  • 2 篇 analytical model...
  • 2 篇 machine learning

机构

  • 2 篇 ablaksoft ltd h-...
  • 2 篇 agena ltd cambri...
  • 2 篇 queen mary univ ...
  • 2 篇 univ turin dipar...
  • 1 篇 univ padua i-351...
  • 1 篇 nanyang technol ...
  • 1 篇 us off naval res...
  • 1 篇 nagoya univ grad...
  • 1 篇 zhejiang univ co...
  • 1 篇 barani inst info...
  • 1 篇 int comp sci ins...
  • 1 篇 georgia state un...
  • 1 篇 govt s australia...
  • 1 篇 itcs sommeiller ...
  • 1 篇 stanford univ de...
  • 1 篇 sci applicat int...
  • 1 篇 univ belgrade fa...
  • 1 篇 univ birmingham ...
  • 1 篇 george mason uni...
  • 1 篇 univ maryland de...

作者

  • 3 篇 terenziani paolo
  • 2 篇 szelke e
  • 2 篇 markus g
  • 2 篇 neil martin
  • 2 篇 noguchi takao
  • 1 篇 thom james a.
  • 1 篇 takeuchi ichiro
  • 1 篇 landini gabriel
  • 1 篇 tho qt
  • 1 篇 bolia robert s.
  • 1 篇 raja p
  • 1 篇 fenton norman e.
  • 1 篇 anselma luca
  • 1 篇 cresci stefano
  • 1 篇 hatala marek
  • 1 篇 kareem syed yush...
  • 1 篇 corbett d
  • 1 篇 sawar mohammad j...
  • 1 篇 akman varol
  • 1 篇 di pietro robert...

语言

  • 35 篇 英文
  • 1 篇 其他
检索条件"主题词=Knowledge representation formalisms and methods"
36 条 记 录,以下是1-10 订阅
排序:
Geotagging Twitter Messages in Crisis Management
收藏 引用
COMPUTER JOURNAL 2015年 第9期58卷 1937-1954页
作者: Ghahremanlou, Lida Sherchan, Wanita Thom, James A. RMIT Univ IBM Res Australia Melbourne Vic Australia
During times of crisis microblogging platforms such as Twitter have played an important role as a communication channel to distribute information. Particularly, disaster-related tweets are valuable resources when tagg... 详细信息
来源: 评论
Automatic fuzzy ontology generation for Semantic Web
收藏 引用
IEEE TRANSACTIONS ON knowledge AND DATA ENGINEERING 2006年 第6期18卷 842-856页
作者: Tho, QT Hui, SC Fong, ACM Cao, TH Nanyang Technol Univ Sch Comp Engn Singapore 639798 Singapore Hochiminh City Univ Technol Fac Informat Technol Ho Chi Minh City Vietnam
Ontology is an effective conceptualism commonly used for the Semantic Web. Fuzzy logic can be incorporated to ontology to represent uncertainty information. Typically, fuzzy ontology is generated from a predefined con... 详细信息
来源: 评论
A basic mathematical framework for conceptual graphs
收藏 引用
IEEE TRANSACTIONS ON knowledge AND DATA ENGINEERING 2006年 第2期18卷 261-271页
作者: Nguyen, PHP Corbett, D Govt S Australia Attorney Gen Dept Justice Technol Serv Adelaide SA 5000 Australia Sci Applicat Int Corp Mclean VA 22102 USA
Based on the original idea of Sowa on conceptual graph and a recent formalism by Corbett on ontology, this paper presents a rigorous mathematization of basic concepts encountered in the Conceptual Structure Theory, in... 详细信息
来源: 评论
Human Activity Recognition Models in Ontology Networks
收藏 引用
IEEE TRANSACTIONS ON CYBERNETICS 2022年 第6期52卷 5587-5606页
作者: Buoncompagni, Luca Kareem, Syed Yusha Mastrogiovanni, Fulvio Univ Genoa Dept Informat Bioengn Robot & Syst Engn I-16145 Genoa Italy Teseo Srl I-16151 Genoa Italy
We present Arianna(+), a framework to design networks of ontologies for representing knowledge enabling smart homes to perform human activity recognition online. In the network, nodes are ontologies allowing for vario... 详细信息
来源: 评论
Discrete Mereotopology for Spatial Reasoning in Automated Histological Image Analysis
收藏 引用
IEEE TRANSACTIONS ON PATTERN ANALYSIS AND MACHINE INTELLIGENCE 2013年 第3期35卷 568-581页
作者: Randell, David A. Landini, Gabriel Galton, Antony Univ Birmingham Coll Med & Dent Sci Sch Dent Birmingham B4 6NN W Midlands England Univ Exeter Coll Engn Math & Phys Sci Exeter EC4 4QF Devon England
Discrete mereotopology (DM) is a first-order spatial logic that fuses together mereology (the theory of parthood relations) and topology to model discrete space. We show how a set of quasitopological functions defined... 详细信息
来源: 评论
representation and Comprehension in Machine Translation and Intelligent Decision Support
收藏 引用
IEEE INTELLIGENT SYSTEMS 2011年 第4期26卷 40-47页
作者: Bolia, Robert S. Slyh, Raymond E. US Off Naval Res Global Tokyo Japan USAF Res Lab Wright Patterson AFB OH 45433 USA
A contributing factor to failures of machine translation and large-scale intelligent decision-support systems is the unavailability of "common sense" about the world and about language and its contextual use... 详细信息
来源: 评论
Valid-Time Indeterminacy in Temporal Relational Databases: Semantics and representations
收藏 引用
IEEE TRANSACTIONS ON knowledge AND DATA ENGINEERING 2013年 第12期25卷 2880-2894页
作者: Anselma, Luca Terenziani, Paolo Snodgrass, Richard T. Univ Turin Dipartimento Informat I-10149 Turin Italy Univ Piemonte Orientale Dipartimento Informat I-15121 Alessandria Italy Univ Arizona Dept Comp Sci Coll Sci Tucson AZ 85721 USA
Valid-time indeterminacy is "don't know when" indeterminacy, coping with cases in which one does not exactly know when a fact holds in the modeled reality. In this paper, we first propose a reference rep... 详细信息
来源: 评论
Supporting Flexible, Efficient, and User-Interpretable Retrieval of Similar Time Series
收藏 引用
IEEE TRANSACTIONS ON knowledge AND DATA ENGINEERING 2013年 第3期25卷 677-689页
作者: Montani, Stefania Leonardi, Giorgio Bottrighi, Alessio Portinale, Luigi Terenziani, Paolo Univ Piemonte Orientale Inst Comp Sci DISIT I-15121 Alessandria Italy
Supporting decision making in domains in which the observed phenomenon dynamics have to be dealt with, can greatly benefit of retrieval of past cases, provided that proper representation and retrieval techniques are i... 详细信息
来源: 评论
A Basic Framework for Explanations in Argumentation
收藏 引用
IEEE INTELLIGENT SYSTEMS 2021年 第2期36卷 72-80页
作者: Lindgren, Helena Kampik, Timotheus Rosero, Esteban Guerrero Blusi, Madeleine Nieves, Juan Carlos Umea Univ S-90187 Umea Sweden Umea Univ Dept Community Med & Rehabil S-90187 Umea Sweden Umea Univ Dept Nursing S-90187 Umea Sweden
We discuss explanations for formal (abstract and structured) argumentation-the question of whether and why a certain argument or claim can be accepted (or not) under various extension-based semantics. We introduce a f... 详细信息
来源: 评论
Intelligent tutor for all: The constraint-based approach
收藏 引用
IEEE INTELLIGENT SYSTEMS 2007年 第4期22卷 38-45页
作者: Mitrovic, Antonija Martin, Brent Suraweera, Pramuditha Univ Canterbury Dept Comp Sci & Software Engn Christchurch New Zealand
This paper presents a new type of intelligent tutoring systems, called constraint-based tutors. The system have been thoroughly evaluated and proven to achieve significant learning gains.
来源: 评论