检索结果-内蒙古大学图书馆

您好，读者！请登录

内蒙古大学图书馆

首页
概况
党建
资源
服务
科研支持
- 论文收录引用证明
- 科技查新
知识产权
档案馆
帮助

咨询与建议

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入0个字，您还可以输入200个字

全部搜索
期刊论文
图书
学位论文
标准
纸本馆藏
外文资源发现
数据库导航
超星发现

高级检索

时间限定

出版年份：

文献类型

图书期刊文献学位论文多媒体

馆藏选择

电子馆藏纸本馆藏

核心期刊

全部期刊 SCI 收录期刊 SSCI 收录期刊 EI 收录期刊 CSCD 收录期刊 CSSCI 收录期刊

语言

中文英文

文献类型

期刊文献图书学位论文标准纸本馆藏

帮助

文字说明：

T=题名（书名、题名），A=作者（责任者），K=主题词，P=出版物名称，PU=出版社名称，O=机构（作者单位、学位授予单位、专利申请人），L=中图分类号，C=学科分类号，U=全部字段，Y=年（出版发行年、学位年度、标准发布年）

检索规则说明：

AND代表“并且”；OR代表“或者”；NOT代表“不包含”；(注意必须大写,运算符两边需空一格)

检索范例：

范例一：(K=图书馆学 OR K=情报学) AND A=范并思 AND Y=1982-2016
范例二：P=计算机应用与软件 AND (U=C++ OR U=Basic) NOT K=Visual AND Y=2011-2016

分类表

所选分类

>> <<

限定检索结果

文献类型

36 篇 会议
4 册 图书
2 篇 期刊文献

馆藏范围

42 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

31 篇 工学
- 30 篇 计算机科学与技术...
- 12 篇 软件工程
- 2 篇 电气工程
- 1 篇 控制科学与工程
3 篇 理学
- 3 篇 数学
2 篇 管理学
- 2 篇 管理科学与工程(可...
1 篇 哲学
- 1 篇 哲学
1 篇 教育学
- 1 篇 教育学

主题

5 篇 logic programmin...
5 篇 artificial intel...
4 篇 computer circuit...
4 篇 mathematical log...
4 篇 inductive logic ...
2 篇 formal logic
2 篇 data mining
2 篇 probabilistic lo...
2 篇 inductive logic ...
2 篇 programming lang...
2 篇 logics and meani...
2 篇 virtual reality
1 篇 concept learning...
1 篇 inductive lp
1 篇 reinforcement le...
1 篇 clustering
1 篇 华南师范大学
1 篇 support vector m...
1 篇 progol
1 篇 cancer

机构

2 篇 temple univ dept...
1 篇 laboratoire pps ...
1 篇 inria nancy - gr...
1 篇 univ porto cracs...
1 篇 department of in...
1 篇 nancy-université...
1 篇 univ bonn bonn
1 篇 univ wisconsin m...
1 篇 department of co...
1 篇 oxford univ comp...
1 篇 national cener f...
1 篇 diffblue ltd oxf...
1 篇 katholieke univ ...
1 篇 institut für inf...
1 篇 irit ups f-31062...
1 篇 dipartimento di ...
1 篇 dept. of compute...
1 篇 univ porto inesc...
1 篇 katholieke univ ...
1 篇 katholieke univ ...

作者

2 篇 giovannetti tani...
2 篇 yamaguchi takehi...
2 篇 fonseca nuno a.
2 篇 martono niken pr...
2 篇 ohwada hayato
2 篇 abe keisuke
2 篇 lehmann jens
2 篇 camacho rui
1 篇 inoue k
1 篇 alexander artiki...
1 篇 hasegawa y.
1 篇 vahdati sahar
1 篇 kumazawa tsutomu
1 篇 kuter ugur
1 篇 horvath tamas
1 篇 leone nicola
1 篇 lamiroy bart
1 篇 kesseli pascal
1 篇 vieira jorge
1 篇 thon ingo

语言

41 篇 英文
1 篇 中文

检索条件"任意字段=19th International Conference on Inductive Logic Programming, ILP 2009"

共 42 条记录，以下是11-20 订阅

全选清除本页清除全部题录导出标记到"检索档案"

详细简洁

排序：

A Simulated Annealing Meta-heuristic for Concept Learning in Description logics 1

引用

30th international conference on inductive logic programming (ilp) held as part of the 1st international Joint conference on Learning and Reasoning (IJCLR)

作者： Westphal, Patrick Vahdati, Sahar Lehmann, Jens Fraunhofer Inst Intelligent Anal & Informat Syst Dresden Germany Inst Appl Informat Leipzig Germany Univ Bonn Bonn Germany

ISBN: (数字)9783030974541

ISBN: (纸本)9783030974541;9783030974534

Ontologies - providing an explicit schema for underlying data - often serve as background knowledge for machine learning approaches. Similar to ilp methods, concept learning utilizes such ontologies to learn concept expressions from examples in a supervised manner. this learning process is usually cast as a search process through the space of ontologically valid concept expressions, guided by heuristics. Such heuristics usually try to balance explorative and exploitative behaviors of the learning algorithms. While exploration ensures a good coverage of the search space, exploitation focuses on those parts of the search space likely to contain accurate concept expressions. However, at their extreme ends, both paradigms are impractical: A totally random explorative approach will only find good solutions by chance, whereas a greedy but myopic, exploitative attempt might easily get trapped in local optima. To combine the advantages of both paradigms, different meta-heuristics have been proposed. In this paper, we examine the Simulated Annealing meta-heuristic and how it can be used to balance the exploration-exploitation trade-off in concept learning. In different experimental settings, we analyse how and where existing concept learning algorithms can benefit from the Simulated Annealing meta-heuristic.

关键词： inductive logic programming (ilp) Description logic (DL) Concept Learning (CL) Meta-heuristics

来源：评论

学校读者我要写书评

暂无评论

Partitional Clustering of Protein Sequences - An inductive logic programming Approach

引用

10th international Work-conference on Artificial Neural Networks (IWANN 2009)

作者： Fonseca, Nuno A. Costa, Vitor S. Camacho, Rui Vieira, Cristina Vieira, Jorge Univ Porto IBMC Rua Campo Alegre 823 P-4150180 Oporto Portugal Univ Porto INESC Porto LA CRACS Porto Portugal Univ Porto LIAAD INSEC Porto LA & FEUP Porto Portugal

ISBN: (纸本)9783642024801

We present a novel approach to cluster sets of protein sequences, based on inductive logic programming (ilp). Preliminary results show that;the method proposed Produces understand able descriptions/explanations of the clusters. Furthermore, it can be used as a knowledge elicitation tool to explain clusters proposed by other clustering approaches, such as standard phylogenetic programs.

关键词： Clustering inductive logic programming

来源：评论

学校读者我要写书评

暂无评论

inductive logic programming 1

引用

丛书名： Lecture Notes in Computer Science

1000年

作者： Stefan Kramer Bernhard Pfahringer

ISBN: (数字)9783540318514

ISBN: (纸本)9783540281771

1 “Change is inevitable.” Embracing this quote we have tried to carefully exp- iment with the format of this conference, the 15th international conference on inductive logic programming, hopefully making it even better than it already was. But it will be up to you, the inquisitive reader of this book, to judge our success. the major changes comprised broadening the scope of the conference to include more diverse forms of non-propositional learning, to once again have tutorials on exciting new areas, and, for the ?rst time, to also have a discovery challenge as a platform for collaborative work. this year the conference was co-located with ICML 2005, the 22nd Inter- tional conference on Machine Learning, and also in close proximity to IJCAI 2005, the 19th international Joint conference on Arti?cial Intelligence. - location can be tricky, but we greatly bene?ted from the local support provided by Codrina Lauth, Michael May, and others. We were also able to invite all ilp and ICML participants to shared events including a poster session, an invited talk, and a tutorial about the exciting new area of “statistical relational lea- ing”. Two more invited talks were exclusively given to ilp participants and were presented as a kind of stock-taking—?ttingly so for the 15th event in a series—but also tried to provide a recipe for future endeavours.

关键词： Software Engineering/programming and Operating Systems Artificial Intelligence programming Techniques Mathematical logic and Formal Languages Algorithm Analysis and Problem Complexity

来源：评论

学校读者我要写书评

暂无评论

inductive equivalence of logic programs

引用

15th international conference on inductive logic programming (ilp 2005)

作者： Sakama, C Inoue, K Wakayama Univ Dept Comp & Commun Sci Wakayama 6408510 Japan Natl Inst Informat Chiyoda Ku Tokyo 1018430 Japan

ISBN: (纸本)3540281770

this paper studies equivalence issues in inductive logic programming. A background theory B-1 is inductively equivalent to another background theory B-2 if B-1 and B-2 induce the same hypotheses for any given set of examples. inductive equivalence is useful to compare inductive capabilities among agents having different background theories. Moreover, it provides conditions for optimizing background theories through appropriate program transformations. In this paper, we consider three different classes of background theories: clausal theories, Horn logic programs, and nonmonotonic extended logic programs. We show that logical equivalence is the necessary and sufficient condition for inductive equivalence in clausal theories and Horn logic programs. In nonmonotonic extended logic programs, on the other hand, strong equivalence is necessary and sufficient for inductive equivalence in general. Interestingly, however, we observe that several existing induction algorithms require weaker conditions of equivalence under restricted problem settings. We also discuss connection to equivalence in abductive logic and conclude that the notion of strong equivalence is useful to characterize equivalence of non-deductive reasoning.

关键词： Formal logic

来源：评论

学校读者我要写书评

暂无评论

inductive logic programming 1

引用

丛书名： Lecture Notes in Computer Science

1000年

作者： Nikos Katzouris Alexander Artikis

this book constitutes the refereed conference proceedings of the 30th international conference on inductive logic programming, ilp 2021, held in October 2021. Due to COVID-19 pandemic the conference was held virtually.

ISBN: (数字)9783030974541

ISBN: (纸本)9783030974534

关键词： Artificial Intelligence Information Systems and Communication Service programming Languages, Compilers, Interpreters logics and Meanings of Programs Mathematical logic and Formal Languages

来源：评论

学校读者我要写书评

暂无评论

inductive logic programming for symbol recognition

Inductive logic programming for symbol recognition

引用

ICDAR2009 - 10th international conference on Document Analysis and Recognition

作者： Santosh, K.C. Lamiroy, Bart Ropers, Jean-Philippe INRIA Nancy - Grand Est - LORIA 615 rue du Jardin Botanique 54600 Villers-lès-Nancy France Nancy-Université - INPL - LORIA Campus Scientifique BP 239 54506 Vandoeuvre-lès-Nancy Cedex France

ISBN: (纸本)9780769537252

In this paper, we make an attempt to use inductive logic programming (ilp) to automatically learn non trivial descriptions of symbols, based on a formal description. this work is a first step in this direction and is rather a proof of concept, rather than a fully operational and robust framework. the overall goal of our approach is to express graphic symbols by a number of primitives that may be of any complexity (i.e. not necessarily just lines or points) and connecting relationships that can be deduced from straightforward state-of-the art image treatment and analysis tools. this representation is then used as an input to an ilp solver, in order to deduce non obvious characteristics that may lead to a more semantic related recognition process. © 2009 IEEE.

关键词： Computer circuits

来源：评论

学校读者我要写书评

暂无评论

Generating Rules of Action Transition in Errors in Daily Activities from a Virtual Reality-Based Training Data

Generating Rules of Action Transition in Errors in Daily Act...

引用

19th international conference on Human-Computer Interaction (HCI international)

作者： Martono, Niken Prasasti Abe, Keisuke Yamaguchi, Takehiko Ohwada, Hayato Giovannetti, Tania Tokyo Univ Sci Dept Ind Adm Noda Chiba Japan Tokyo Univ Sci Dept Appl Elect Tokyo Japan Temple Univ Dept Psychol Philadelphia PA 19122 USA

ISBN: (纸本)9783319585246;9783319585239

Developments in virtual reality (VR) have advanced numerous applications in clinical settings in the areas of learning and treatment in neuropsychology. Emerging VR applications today focus on the challenge of diagnosis and cognitive training of mild cognitive impairment (MCI) and dementia patients and address navigation and orientation, face recognition, cognitive functionality, and other instrumental activities of daily living (IADL). the information recorded and captured by VR-based technology is real-time and can be advantageous for further analysis of patients' characteristics. the present study sought to utilize the data collected from VR-based software and a leap-motion device for learning in MCI cases to generate the rules for errors and action slips based on finger-action transitions when performing IADL. the finger motion was recorded as a time-series database, then an induction technique called inductive logic programming (ilp), which uses logical and clausal language to represent the training data, was used to discover a concise classification rule using logical programming.

关键词： Virtual reality inductive logic programming Micro slips Micro errors Mild cognitive impairment

来源：评论

学校读者我要写书评

暂无评论

Block-wise construction of acyclic relational features with monotone irreducibility and relevancy properties 09

Block-wise construction of acyclic relational features with ...

引用

26th international conference On Machine Learning, ICML 2009

作者： Kuželka, Ondřej Železný, Filip Czech Technical University in Prague Technická 2 166 27 Prague 6 Czech Republic

ISBN: (纸本)9781605585161

We describe an algorithm for constructing a set of acyclic conjunctive relational features by combining smaller conjunctive blocks. Unlike traditional level-wise approaches which preserve the monotonicity of frequency, our block-wise approach preserves a form of monotonicity of the irreducibility and relevancy feature properties, which are important in propositionalization employed in the context of classification learning. With pruning based on these properties, our block-wise approach efficiently scales to features including tens of first-order literals, far beyond the reach of state-of-the art propositionalization or inductive logic programming systems.

关键词： inductive logic programming (ilp)

来源：评论

学校读者我要写书评

暂无评论

On the Relationship between logical Bayesian Networks and Probabilistic logic programming Based on the Distribution Semantics

On the Relationship between Logical Bayesian Networks and Pr...

引用

19th international conference on inductive logic programming

作者： Fierens, Daan Katholieke Univ Leuven Dept Comp Sci B-3001 Heverlee Belgium

ISBN: (纸本)9783642138393

A significant part of current research on (inductive) logic programming deals with probabilistic logical models. Over the last decade many logics or languages for representing such models have been introduced. there is currently a great need for insight into the relationships between all these languages. One kind of languages are those that extend probabilistic models with elements of logic, such as the language of logical Bayesian Networks (LBNs). Some other languages follow the converse strategy of extending logic programs with a probabilistic semantics, often in a way similar to that of Sato's distribution semantics. In this paper we study the relationship between the language of LBNs and languages based on the distribution semantics. Concretely, we define a mapping from LBNs to theories in the Independent Choice logic (ICL). We also show how this mapping can be used to learn ICL theories from data.

关键词： probabilistic (inductive) logic programming Bayesian networks

来源：评论

学校读者我要写书评

暂无评论

Discovering Rules of Subtle Deficits Indicating Mild Cognitive Impairment Using inductive logic programming

Discovering Rules of Subtle Deficits Indicating Mild Cogniti...

引用

19th international conference on Human-Computer Interaction (HCI international)

作者： Abe, Keisuke Martono, Niken Prasasti Yamaguchi, Takehiko Ohwada, Hayato Giovannetti, Tania Tokyo Univ Sci Dept Ind Adm Katsushika Japan Tokyo Univ Sci Dept Appl Elect Katsushika Japan Temple Univ Dept Psychol Philadelphia PA 19122 USA

ISBN: (纸本)9783319585246;9783319585239

Recently, Japan has been experiencing a declining birthrate and an increasingly aging population;as a result, the number of dementia patients is increasing. Current medical science has no way to treat dementia completely after onset. therefore, it is necessary to detect mild cognitive impairment (MCI) in the early stage just before dementia develops. It is clear that MCI patients who exhibit subtle deficits in daily living behavior (in this study, micro-errors (MEs)) have declining cognitive function associated with cognitive impairment. Virtual reality (VR) technology has been actively utilized in rehabilitation and therapy, and here we use an application known as Virtual Kitchen (VK). In this work, we analyze how ME happens. We use finger movement data and subtask information from VK. Our methodology proposes a combination of inductive logic programming (ilp) and the sliding window algorithm. Because ilp can extract expressive rules but is susceptible to noise and memory hog, it is difficult to use sensor data directly for learning. Sliding window is used as its ability to reduce the amount of data while holding the shape of original time series data. From preliminary experiments, we obtained some rules of ME occurrence that are related to differences in speed, time interval, and subtask. We obtained results that explain how ME occurrence is generally related to subtask and finger speed. In the future, we will use more positive samples and conduct more experiments to obtain better and more accurate results.

关键词： Cognitive impairment Virtual reality Time series Data mining

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

全选清除本页清除全部题录导出标记到“检索档案”

共5页 << < 1 2 3 4 5 > >>

检索报告对象比较合并检索0

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

电话和邮箱必须正确填写，我们会与您联系确认。

联系人：

所在院系：

联系邮箱：

联系电话：

内蒙古自治区呼和浩特市赛罕区大学西街235号邮编: 010021

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：