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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

416 篇 会议
38 篇 期刊文献
18 册 图书

馆藏范围

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

日期分布

学科分类号

328 篇 工学
- 313 篇 计算机科学与技术...
- 198 篇 软件工程
- 30 篇 电气工程
- 24 篇 控制科学与工程
- 17 篇 信息与通信工程
- 9 篇 机械工程
- 7 篇 电子科学与技术（可...
- 5 篇 安全科学与工程
- 4 篇 生物医学工程（可授...
- 3 篇 生物工程
- 2 篇 材料科学与工程（可...
- 2 篇 动力工程及工程热...
- 2 篇 建筑学
- 2 篇 测绘科学与技术
77 篇 理学
- 57 篇 数学
- 13 篇 系统科学
- 10 篇 统计学（可授理学、...
- 7 篇 生物学
- 4 篇 物理学
- 1 篇 地质学
29 篇 管理学
- 21 篇 管理科学与工程(可...
- 11 篇 工商管理
- 8 篇 图书情报与档案管...
5 篇 医学
- 4 篇 基础医学(可授医学...
- 2 篇 临床医学
4 篇 教育学
- 4 篇 教育学
3 篇 法学
- 3 篇 社会学
2 篇 文学
- 1 篇 外国语言文学
- 1 篇 新闻传播学
1 篇 哲学
1 篇 经济学
- 1 篇 应用经济学
1 篇 农学

主题

104 篇 logic programmin...
22 篇 fuzzy logic
16 篇 artificial intel...
15 篇 semantics
12 篇 object oriented ...
12 篇 programming
12 篇 mathematical log...
11 篇 software enginee...
11 篇 logic gates
11 篇 linear programmi...
9 篇 computer circuit...
9 篇 programming tech...
9 篇 hardware
9 篇 dynamic programm...
8 篇 programming lang...
8 篇 logics and meani...
8 篇 logic design
7 篇 logic
7 篇 probabilistic lo...
6 篇 access control

机构

4 篇 vienna univ tech...
3 篇 suny stony brook...
2 篇 school of automo...
2 篇 univ nova lisboa...
2 篇 univ calif river...
2 篇 univ bologna dei...
2 篇 school of comput...
2 篇 department of co...
2 篇 information and ...
2 篇 univ cagliari di...
2 篇 ibm tokyo resear...
2 篇 labmag lisbon
2 篇 wroclaw univ tec...
2 篇 calif state poly...
2 篇 univ kentucky de...
2 篇 shenzhen tourism...
2 篇 univ texas dept ...
1 篇 new mexico state...
1 篇 dept. computersc...
1 篇 k.u. leuven depa...

作者

4 篇 pereira lm
3 篇 truszczynski m
3 篇 swift t
3 篇 lifschitz v
3 篇 alferes jj
3 篇 vojtás p
3 篇 marriott kim
2 篇 deschreye d
2 篇 schuerman kees
2 篇 pinna g. michele
2 篇 medina j
2 篇 montali marco
2 篇 bruynooghe mauri...
2 篇 przymusinski tc
2 篇 li liang-liang
2 篇 véron andré
2 篇 bartoletti massi...
2 篇 cui bq
2 篇 sideri m
2 篇 cimoli tiziana

语言

466 篇 英文
4 篇 其他
1 篇 法文
1 篇 俄文

检索条件"任意字段=5th Conference on Logic Programming, 1986"

共 472 条记录，以下是111-120 订阅

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

详细简洁

排序：

LAWRIS: A Rule-Based Arduino programming System for Young Students 5

LAWRIS: A Rule-Based Arduino Programming System for Young St...

引用

5th International conference on Modern Circuits and Systems Technologies (MOCAST)

作者： Arakliotis, S. Nikolos, D. G. Kalligeros, E. Univ Aegean Informat & Comm Syst Engn Dept Mitilini Greece Univ Patras Educ Sci & Early Childhood Educ Dept GR-26110 Patras Greece

ISBN: (纸本)9781467396806

Since Arduino is the main entry-level platform to the world of electronic circuits and systems, there are many programming environments that try to ease the burden of Arduino textual programming on young primary students. Although block-based, most of these environments retain the imperative structures of textual programming languages, which are not easily comprehensible by such students. the proposed, in this paper, Learning-Arduino-With-Rules Introductory System (LAWRIS) tries to tackle this problem by adopting a rule-based approach: an Arduino-based pre-specified system can be programmed by constructing rules with very simple and intuitive jigsaw pieces, in a visual, web-based environment. Contrary to other programming environments for Arduino, the main logic of LAWRIS is implemented on the board side and only a configuration string is downloaded to it. thus, LAWRIS features fast responses to both circuit input changes and program modifications, a very important characteristic for young students. It also imposes minimal overhead on the host system, allows web access of the programming environment, and has very low hardware cost.

关键词： rule-based programming learning programming Arduino Blockly

来源：评论

学校读者我要写书评

暂无评论

Mixed Integer programming, General Concept Inclusions and Fuzzy Description logics

Mixed Integer Programming, General Concept Inclusions and Fu...

引用

5th conference of the European-Society-for-Fuzzy-logic-and-Technology

作者： Straccia, Umberto Bobillo, Fernando CNR ISTI I-56100 Pisa Italy Univ Granada Dept Comp Sci & AI E-18071 Granada Spain

ISBN: (纸本)9788073683870

Fuzzy Description logics (fuzzy DLs) have been proposed as a language to describe structured knowledge with vague concepts. In [23], a solution based on Mixed Integer Linear programming has been proposed to deal with fuzzy DLs under Lukasiewicz semantics in which typical membership functions, such as triangular and trapezoidal functions, can be explicitly represented in the language. A major theoretical and computational limitation so far is the inability to deal with General Concept Inclusions (GCIs), which is an important feature of classical DLs. In this paper, we address this issue and develop a calculus for fuzzy DLs with GCls under various semantics: classical logic, "Zadeh semantics", and Lukasiewicz logic.

关键词： Fuzzy Description logics

来源：评论

学校读者我要写书评

暂无评论

Answer set general theories and preferences

引用

5th Mexican International conference on Artificial Intelligence (MICAI 2006)

作者： Osorio, Mauricio Zepeda, Claudia Univ Americas Puebla CENTIA Sta Catarina Martir Cholula 72820 Mexico Univ Tecnologica Mixteca Div Estudios Posgrado Oaxaca 69000 Mexico

ISBN: (纸本)9783540490265

In this paper we introduce preference rules which allow us to specify preferences as an ordering among the possible solutions of a problem. Our approach allow us to express preferences for general theories. the formalism used to develop our work is Answer Set programming. Two distinct semantics for preference logic programs are proposed. Finally, some properties that help us to understand these semantics are also presented.

关键词： logic programming answer set programming preferences

来源：评论

学校读者我要写书评

暂无评论

Crowd Sensing Applications: a Distributed Flow-Based programming Approach 5

Crowd Sensing Applications: a Distributed Flow-Based Program...

引用

5th IEEE International conference on Mobile Services (MS)

作者： Zaman, Jesse De Meuter, Wolfgang Vrije Univ Brussel Software Languages Lab Brussels Belgium

ISBN: (纸本)9781509026258

Over the past few years, there has been an increasing demand for crowd sensing applications. While existing mobile app designers greatly facilitate the development of crowd sensing applications for non-ICT experts, they do not yet provide technological support for other aspects required to manage crowd sensing applications, such as support for data gathering campaigns, advanced forms of data aggregation, and participant coordination. In this paper, we present DisCoPar, a novel platform for designing crowd sensing applications, which utilises a distributed flow-based programming approach to facilitate the development of mobile applications and their matching serverside logic. the data-driven nature of our approach enables users to contribute data and receive feedback in real-time, which greatly facilitates user collaboration. We demonstrate the features of our prototype platform by creating a noise measuring application with a corresponding collaborative data collection campaign.

关键词： Citizen Observatory Crowd Sensing End-User Design Flow-Based programming Mobile Applications

来源：评论

学校读者我要写书评

暂无评论

Predicate answer set programming via coinductive logic programming

Predicate answer set programming via coinductive logic progr...

引用

5th IFIP conference on Artificial Intelligence Applications and Innovations

作者： Min, Richard Bansal, Ajay Gupta, Gopal Univ Texas Dallas Dept Comp Sci Richardson TX 75083 USA

Set programming (ASP) is a powerful paradigm based on logic programming for non-monotonic reasoning. Current ASP implementations are restricted to "grounded range-restricted function-free normal programs" and use an evaluation strategy that is "bottom-up" (i.e., not goal-driven). Recent introduction of coinductive logic programming (co-LP) with coinductive SLDNF resolution (co-SLDNF) has allowed the development of top-down query-driven goal-directed evaluation strategies for ASP. In this paper we present co-LP with co-SLDNF and its application to the implementation of a predicate ASP solver. Our novel method eliminates the need for grounding and allows functions, to overcome current restriction of current ASP solver, toward the development of a truly predicate ASP solver. the resulting coinductive ASP solver (co-ASP Solver) provides a powerful, practical and efficient predicate ASP solver to handle effectively a large class of predicate answer set programs including possibly infinite ones. We apply our solution strategy to answer programs (e.g., move-win and Schur number problem) to demonstrate our co-ASP Solver with performance result.

关键词： Coinductive logic programming Negation as Failure Answer Set programming Coinductive ASP Solver

来源：评论

学校读者我要写书评

暂无评论

Ambient Flow: A Visual Approach for Remixing the Internet of things 5

Ambient Flow: A Visual Approach for Remixing the Internet of...

引用

5th International conference on the Internet of things (IOT)

作者： Carlson, Darren Moegerle, Matthias Pagel, Max Verma, Shivam Rosenblum, David S. Natl Univ Singapore Felicitous Comp Inst Singapore 117548 Singapore Univ Stuttgart Inst Visualizat & Interact Syst Stuttgart Germany

ISBN: (纸本)9781467380584

the number of networked "smart devices" available in everyday environments is rapidly increasing;however, most adopt mutually incompatible networks, protocols, and application programming interfaces. In previous work, we introduced a variety of adaptive middleware techniques that enables a user's commodity mobile device (e.g., a smartphone) to serve as an adaptive gateway between mutually incompatible devices -providing service adaptation and protocol translation services through plug-ins that can be installed on-the-fly. In this paper, we present a complementary set of novel smart space design tools, which enable non-programmers to visually "remix" their ambient environments in new, playful and potentially unforeseen ways using an intuitive flow-graph model. Visual designs can be sent over the network to the user's mobile device, which instantiates them during runtime. this paper presents a detailed overview of the approach, introduces our fully functional prototype, and presents a user study that provides encouraging first results.

关键词： Context Internet of things Libraries logic gates Protocols Robot sensing systems Internet of things Manipulator sensing systems logic gates protocols Libraries remixing visual approach PLUG-IN ambient environment Application programming interfaces Smartphone thing

来源：评论

学校读者我要写书评

暂无评论

Answer set programming for stream reasoning 5

Answer set programming for stream reasoning

引用

5th Workshop on Answer Set programming and Other Computing Paradigms, ASPOCP 2012, co-located with the 28th International conference on logic programming, ICLP 2012

作者： Gebser, M. Grote, T. Kaminski, R. Obermeier, P. Sabuncu, O. Schaub, T. Universität Potsdam Germany DERI Galway Ireland

the advance of Internet and Sensor technology has brought about new challenges evoked by the emergence of continuous data streams. Beyond rapid data processing, application areas like ambient assisted living, robotics, or dynamic scheduling involve complex reasoning tasks. We address such scenarios and elaborate upon approaches to knowledge-intense stream reasoning, based on Answer Set programming (ASP). While traditional ASP methods are devised for singular problem solving, we develop new techniques to formulate and process problems dealing with emerging as well as expiring data in a seamless way. © 2012 ***. All rights reserved.

关键词： logic programming

来源：评论

学校读者我要写书评

暂无评论

Analysis of methods of building and researching of fuzzy cognitive models 5

Analysis of methods of building and researching of fuzzy cog...

引用

5th IEEE KhPI Week on Advanced Technology, KhPIWeek 2024

作者： Adamenko, Anatolii Zakovorotnyi, Oleksandr Kuchuk, Nina Scientific center of the Air Force Ivan Kozhedub Kharkiv National Air Force University Kharkiv Ukraine Department of Computer Engineering and Programming National Technical University "Kharkiv Polytechnic Institute" Kharkiv Ukraine

ISBN: (纸本)9798350384499

the report presents the results of a comparative analysis of methods for parameterization of cognitive models based on the use of fuzzy set theory and antonym logic. Reasoned expediency of using methods of the logic of antonyms in the construction and research of cognitive models of weakly structured situations. An approach to calculating the magnitudes of the indirect and total influence of factors on each other in certain types of cognitive models built based on the logic of antonyms is proposed. ©2024 IEEE.

关键词： Fuzzy models

来源：评论

学校读者我要写书评

暂无评论

programming in lygon: An overview 5th

Programming in lygon: An overview

引用

5th International conference on Algebraic Methodology and Software Technology, AMAST 1996

作者： Harland, James Pym, David Winikoff, Michael RMIT GPO Box 2476V Melbourne3001 Australia Queen Mary and Westfield College University of London United Kingdom University of Melbourne Parkville3052 Australia

ISBN: (纸本)9783540614630

For many given systems of logic, it is possible to identify, via systematic proof-theoretic analyses, a fragment which can be used as a basis for a logic programming language. Such analyses have been applied to linear logic, a logic of resource-consumption, leading to the definition of the linear logic programming language Lygon. It appears that (the basis of) Lygon can be considered to be the largest possible first-order linear logic programming language derivable in this way. In this paper, we describe the design and application of Lygon. We give examples which illustrate the advantages of resource-oriented logic programming languages. © Springer-Verlag Berlin Heidelberg 1996.

关键词： Computer circuits

来源：评论

学校读者我要写书评

暂无评论

5th International Symposium on programming Language Implementation and logic programming, PLILP 1993

5th International Symposium on Programming Language Implemen...

引用

5th International Symposium on programming Language Implementation and logic programming, PLILP 1993

ISBN: (纸本)9783540571865

the proceedings contain 33 papers. the special focus in this conference is on programming Language Implementation and logic programming. the topics include: Executable specifications for language implementation;avoiding dynamic delays in functional logic programs;a debugging model for functional logic programs;a conservative approach to meta-programming in constraint logic programming;the versatility of handling disjunctions as constraints;improvements in compile-time analysis for ground prolog;a new top-down parsing algorithm for left-recursive DCGs;specification and implementation of grammar couplings using attribute grammars;programming language specification and prototyping using the MAX system;flang and its implementation;efficient lazy narrowing using demandedness analysis;a demand driven computation strategy for lazy narrowing;functional programming languages with logical variables: a linear logic view;objects with state in contextual logic programming;a novel method for parallel implementation of findall;a parallel implementation for AKL;inlining to reduce stack space;a WAM-based implementation of a logic language with sets;executing bounded quantifications on shared memory multiprocessors;a lattice of abstract graphs;higher-order chaotic iteration sequences;proving the correctness of compiler optimisations based on strictness analysis;abstract complexity of prolog based on WAM;development of rewriting strategies;narrowing approximations as an optimization for equational logic programs;a back end generator;selflog: language and implementation;embedding declarative subprograms into imperative constructs;stack management of runtime structures in distributed implementations and efficient register allocation for large basic blocks.

关键词：

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共48页 << < 8 9 10 11 12 13 14 15 16 17 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：