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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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

分类表

所选分类

>> <<

限定检索结果

文献类型

182 篇 会议
14 册 图书
11 篇 期刊文献

馆藏范围

206 篇 电子文献
1 种 纸本馆藏

日期分布

学科分类号

149 篇 工学
- 138 篇 计算机科学与技术...
- 63 篇 软件工程
- 35 篇 电气工程
- 13 篇 控制科学与工程
- 4 篇 信息与通信工程
- 4 篇 生物工程
- 3 篇 生物医学工程（可授...
- 2 篇 化学工程与技术
- 2 篇 交通运输工程
- 1 篇 材料科学与工程（可...
- 1 篇 建筑学
- 1 篇 安全科学与工程
27 篇 理学
- 21 篇 数学
- 5 篇 生物学
- 2 篇 物理学
- 2 篇 化学
- 2 篇 系统科学
- 2 篇 统计学（可授理学、...
8 篇 管理学
- 7 篇 管理科学与工程(可...
- 4 篇 工商管理
- 2 篇 图书情报与档案管...
2 篇 法学
- 2 篇 社会学
2 篇 教育学
- 2 篇 教育学
1 篇 文学
- 1 篇 外国语言文学
1 篇 医学
- 1 篇 基础医学(可授医学...
- 1 篇 临床医学
- 1 篇 药学(可授医学、理...

主题

49 篇 logic programmin...
13 篇 fuzzy logic
12 篇 mathematical log...
11 篇 programming
11 篇 artificial intel...
10 篇 formal logic
8 篇 programming lang...
7 篇 software enginee...
7 篇 logics and meani...
6 篇 programming tech...
6 篇 probabilistic lo...
5 篇 computer science
5 篇 logic gates
5 篇 semantics
4 篇 programming prof...
4 篇 constraint logic...
4 篇 application soft...
4 篇 kripke logical r...
4 篇 mathematical mod...
4 篇 algorithm analys...

机构

3 篇 univ kentucky de...
2 篇 industrial softw...
2 篇 max planck inst ...
2 篇 vienna univ tech...
2 篇 univ cyprus dept...
2 篇 institute of log...
2 篇 ben gurion univ ...
2 篇 imdea software i...
2 篇 international in...
2 篇 aarhus univ dk-8...
2 篇 wakayama univ de...
2 篇 michigan state u...
2 篇 kings coll londo...
1 篇 mpi informat d-6...
1 篇 transmeta corpor...
1 篇 inria
1 篇 ist austria klos...
1 篇 kielce univ tech...
1 篇 vig impex craiov...
1 篇 department of ma...

作者

4 篇 eiter thomas
3 篇 truszczynski mir...
3 篇 dimopoulos y
2 篇 egly uwe
2 篇 sarna-starosta b...
2 篇 stepanova daria
2 篇 woltran stefan
2 篇 dillon laura k.
2 篇 birkedal lars
2 篇 chlipala adam
2 篇 andrei voronkov
2 篇 dreyer derek
2 篇 turon aaron
2 篇 brewka gerhard
2 篇 kyaw myat thu
2 篇 myo thet naung
2 篇 brafman ri
2 篇 stirewalt r. e. ...
2 篇 krishnaswami nee...
1 篇 miller r

语言

202 篇 英文
4 篇 其他
1 篇 中文

检索条件"任意字段=18th International Conference on Logic Programming, ICLP 2002"

共 207 条记录，以下是71-80 订阅

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

详细简洁

排序：

Functional Food Knowledge Graph-based Recipe Recommendation System Focused on Lifestyle-Related Diseases 18

Functional Food Knowledge Graph-based Recipe Recommendation ...

引用

18th IEEE international conference on Semantic Computing (ICSC)

作者： Kobayashi, Akio Mori, Shotaro Hashimoto, Akira Katsuragi, Tetsuo Kawamura, Takahiro Natl Agr & Food Res Org Res Ctr Agr Informat Technol Tsukuba Ibaraki Japan Himika Co Ltd Toyohashi Aichi Japan Univ Tsukuba Grad Sch Sci & Technol Tsukuba Ibaraki Japan

ISBN: (纸本)9798350385359

Lifestyle-related diseases can be reduced by making daily dietary choices. Functional components in foods have the potential to provide benefits in this regard. We constructed a knowledge graph that connects the functional components of foods to recipes, and developed a recommendation system to suggest dishes that may help alleviate lifestyle-related diseases. As dietary requirements vary widely depending on specific diseases and individual conditions, these requirements are combined to form a vast probability distribution. Our proposed system uses probabilistic logic programming to generate recommendations that are based on disease-specific dietary requirements, using a knowledge graph of foods and information about the user's condition. In the proposed method, nodes in the knowledge graph, such as food functionality or recipes, are characterized by their relationships with other surrounding nodes, such as ingredients. We conducted an experiment to suggest recipes specifically for patients with diabetes and dyslipidemia. At the result, our system enable to recommend numerous recipes beneficial for the improvement of lifestyle-related diseases, especially for users with diabetes, with a precision of over 0.99.

关键词： Knowledge graph Probabilistic logic programming Health care

来源：评论

学校读者我要写书评

暂无评论

Intelligent Multi-agent based Convergence Systems

Intelligent Multi-agent based Convergence Systems

引用

18th IEEE international conference on Fuzzy Systems

作者： Cho, Young Im Univ Suwon Dept Comp Sci Hwaseong Gyeonggi Do South Korea

ISBN: (纸本)9781424435968

We will discuss about the intelligent multi-agent based convergence system in AI. the multi-agent concept is varied from 2 or 3 agents to many agents. therefore, to construct the appropriate concept which you want to implement is more important. In this paper, we will discuss the concept of multi-agent, and discuss some application areas of fuzzy logic based multi-agent, especially in bioinformatics and digital library etc. And finally we will discuss about the future research areas of multi-agent in AI.

关键词： Convergence Software libraries Intelligent agent Artificial intelligence Databases Scheduling algorithm programming profession Multiagent systems Fuzzy logic Bioinformatics

来源：评论

学校读者我要写书评

暂无评论

Parameterized Complexity and Fixed-Parameter Tractability of Description logic Reasoning

Parameterized Complexity and Fixed-Parameter Tractability of...

引用

18th international conference on logic for programming, Artificial Intelligence, and Reasoning (LPAR)

作者： Motik, Boris Univ Oxford Dept Comp Sci Oxford OX1 3QD England

ISBN: (纸本)9783642287176

An important goal of research in description logics (DLs) and related logic-based KR formalisms is to identify the worst-case complexity of reasoning. Such results, however, measure the complexity of a logic as a whole. For example, reasoning in the basic DL ALCI\mathcal{ALCI} is ExpTime-complete, which means that ALCI\mathcal{ALCI} constructors can be used in a way so that exponential time is strictly required for solving a reasoning problem. It is, however, well known that, given two ALCI\mathcal{ALCI} knowledge bases of roughly the same size, reasoning with one knowledge base may be much more difficult than with the other, depending on the interaction of the axioms in the KBs. thus, existing worst-case complexity results provide only a very coarse measure of reasoning complexity, and they do not tell us much about the “hardness” of each individual knowledge base.

关键词： Data description

来源：评论

学校读者我要写书评

暂无评论

Enfragmo: A System for Modelling and Solving Search Problems with logic

Enfragmo: A System for Modelling and Solving Search Problems...

引用

18th international conference on logic for programming, Artificial Intelligence, and Reasoning (LPAR)

作者： Aavani, Amir Wu, Xiongnan (Newman) Tasharrofi, Shahab Ternovska, Eugenia Mitchell, David Simon Fraser Univ Burnaby BC V5A 1S6 Canada

ISBN: (纸本)9783642287176

In this paper, we present the Enfragmo system for specifying and solving combinatorial search problems. It supports natural specification of problems by providing users with a rich language, based on an extension of first order logic. Enfragmo takes as input a problem specification and a problem instance and produces a propositional CNF formula representing solutions to the instance, which is sent to a SAT solver. Because the specification language is high level, Enfragmo provides combinatorial problem solving capability to users without expertise in use of SAT solvers or algorithms for solving combinatorial problems. Here, we describe the specification language and implementation of Enfragmo, and give experimental evidence that its performance is comparable to that of related systems.

关键词： Specification languages

来源：评论

学校读者我要写书评

暂无评论

An Efficient and Scalable Memory Allocator for Multithreaded Tabled Evaluation of logic Programs

An Efficient and Scalable Memory Allocator for Multithreaded...

引用

IEEE 18th international conference on Parallel and Distributed Systems (ICPADS)

作者： Areias, Miguel Rocha, Ricardo Univ Porto Fac Sci CRACS Rua Campo Alegre 1021-1055 P-4169007 Oporto Portugal Univ Porto Fac Sci INESC TEC P-4169007 Oporto Portugal

ISBN: (纸本)9781467345651;9780769549033

Despite the availability of both multithreading and tabling in some Prolog systems, the implementation of these two features, such that they work together, implies complex ties to one another and to the underlying engine. In recent work, we have proposed an approach to combine multithreading with tabling, implemented on top of the Yap Prolog system, whose primary goal was to reduce memory usage for the table space. Regarding the execution times, we observed some problems related to Yap's memory allocator, which is based on the operating system's default memory allocator, when running programs that allocate a higher number of data structures in the table space. In this paper, we propose a more efficient and scalable memory allocator for multithreaded tabled evaluation of logic programs. Our goal is to minimize the performance degradation that the system suffers when it is exposed to simultaneous memory requests made by multiple threads. For that, we propose a memory allocator based on local and global pages, to split memory among specific data structures and different threads, together with a strategy where data structures of the same type are pre-allocated within a page. Experimental results show that our new memory allocator can effectively reduce the execution time and scale better, when increasing the number of threads, than the original allocator.

关键词： Multithreading logic programming Tabling Memory Allocation Performance Scalability

来源：评论

学校读者我要写书评

暂无评论

A characterization of medial as rewriting rule

引用

18th international conference on Rewriting Techniques and Applications

作者： Strassburger, Lutz INRIA Futurs Projet Parsifal LIX Ecole Polytech F-91128 Palaiseau France

ISBN: (纸本)9783540734475

Medial is an inference rule scheme that appears in various deductive systems based on deep inference. In this paper we investigate the properties of medial as rewriting rule independently from logic. We present a graph theoretical criterion for checking whether there exists a medial rewriting path between two formulas. Finally, we return to logic and apply our criterion for giving a combinatorial proof for a decomposition theorem, i.e., proof theoretical statement about syntax.

关键词： logic programming

来源：评论

学校读者我要写书评

暂无评论

A Comparison of MCMC Sampling for Probabilistic logic programming 18th

A Comparison of MCMC Sampling for Probabilistic Logic Progra...

引用

18th international conference of the Italian-Association-for-Artificial-Intelligence (AIIA)

作者： Azzolini, Damiano Riguzzi, Fabrizio Masotti, Franco Lamma, Evelina Univ Ferrara Dipartimento Ingn Via Saragat 1 I-44122 Ferrara Italy Univ Ferrara Dipartimento Matemat & Informat Via Saragat 1 I-44122 Ferrara Italy

ISBN: (纸本)9783030351663;9783030351656

Markov Chain Monte Carlo (MCMC) methods are a class of algorithms used to perform approximate inference in probabilistic models. When direct sampling from a probability distribution is difficult, MCMC algorithms provide accurate results by constructing a Markov chain that gradually approximates the desired distribution. In this paper we describe and compare the performances of two MCMC sampling algorithms, Gibbs sampling and Metropolis Hastings sampling, with rejection sampling for probabilistic logic programs. In particular, we analyse the relation between execution time and number of samples and how fast each algorithm converges.

关键词： Approximate inference Markov Chain Monte Carlo Probabilistic logic programming

来源：评论

学校读者我要写书评

暂无评论

Goal-directed methods for Lukasiewicz logic

引用

18th international Workshop on Computer Science logic/13th Annual conference of the European-Association-for-Computer-Science-logic

作者： Metcalfe, G Olivetti, N Gabbay, D Kings Coll London Dept Comp Sci London WC2R 2LS England Univ Turin Dept Comp Sci I-10149 Turin Italy

ISBN: (纸本)3540230246

In this paper we present goal-directed deduction methods for Lukasiewicz infinite-valued logic L, giving logic programming style algorithms which both have a logical interpretation and provide a suitable basis for implementation. We begin by considering a basic version with connections to calculi for other logics, then make refinements to obtain greater efficiency and termination properties, and to deal with further connectives and truth constants. We finish by considering applications of these algorithms to fuzzy logic programming.

关键词： Lukasiewicz logics fuzzy logics coal-directed methods

来源：评论

学校读者我要写书评

暂无评论

A logic-based system for application integration

引用

18th international conference on logic programming

作者： Benkö, T Krauth, P Szeredi, P IQSOFT Intelligent Software Co Ltd H-1135 Budapest Hungary

ISBN: (纸本)3540439307

the paper introduces the SILK tool-set, a tool-set based on constraint logic programming techniques for the support of application integration. We focus on the Integrator component of SILK, which provides tools and techniques to support the process of model evolution: unification of the models of the information sources and their mapping Onto the conceptual models of their user-groups. We present the basic axchitecture of SILK and introduce the SILK Knowledge Base, which stores the meta-information describing the information sources. the SILK Knowledge Base can contain both object-oriented and ontology-based descriptions, annotated with constraints. the constraints can be used both for expressing the properties of the objects and for providing mappings between them. We give a brief introduction to SILan, the language for Knowledge Base presentation and maintenance. We describe the implementation status of SILK and give a simple example, which shows how constraints and constraint reasoning techniques can be used to support model evolution.

关键词： Mapping

来源：评论

学校读者我要写书评

暂无评论

logic for programming, Artificial Intelligence, and Reasoning 1

引用

丛书名： Lecture Notes in Computer Science

1000年

作者： Nikolaj Bjørner Andrei Voronkov

ISBN: (数字)9783642287176

ISBN: (纸本)9783642287169

this book constitutes the proceedings of the 18th international conference on logic for programming, Artificial Intelligence, and Reasoning, LPAR-18, held in Merida, Venezuela, in March 2012. the 25 regular papers and 6 tool descriptions and experimental papers presented were carefully reviewed and selected from 74 submissions. the series of international conferences on logic for programming, Artificial Intelligence and Reasoning (LPAR) is a forum where, year after year, some of the most renowned researchers in the areas of logic, automated reasoning, computational logic, programming languages and their applications come to present cutting-edge results, to discuss advances in these fields, and to exchange ideas in a scientifically emerging part of the world.

关键词： Software Engineering Artificial Intelligence logics and Meanings of Programs Mathematical logic and Formal Languages programming Techniques programming Languages, Compilers, Interpreters

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共21页 << < 4 5 6 7 8 9 10 11 12 13 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：