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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

358 篇 会议
20 册 图书
7 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

257 篇 工学
- 238 篇 计算机科学与技术...
- 134 篇 软件工程
- 24 篇 控制科学与工程
- 15 篇 电气工程
- 11 篇 信息与通信工程
- 3 篇 仪器科学与技术
- 3 篇 电子科学与技术（可...
- 3 篇 石油与天然气工程
- 3 篇 农业工程
- 2 篇 材料科学与工程（可...
- 2 篇 土木工程
- 2 篇 生物医学工程（可授...
53 篇 理学
- 49 篇 数学
- 4 篇 生物学
- 4 篇 系统科学
- 2 篇 物理学
- 2 篇 化学
- 2 篇 统计学（可授理学、...
22 篇 管理学
- 14 篇 管理科学与工程(可...
- 10 篇 图书情报与档案管...
- 6 篇 工商管理
6 篇 医学
- 5 篇 基础医学(可授医学...
- 4 篇 临床医学
- 2 篇 公共卫生与预防医...
4 篇 教育学
- 4 篇 教育学
- 1 篇 心理学(可授教育学...
4 篇 农学
- 4 篇 作物学
2 篇 文学
- 1 篇 中国语言文学
1 篇 哲学
- 1 篇 哲学
1 篇 法学
- 1 篇 社会学

主题

75 篇 logic programmin...
19 篇 fuzzy logic
18 篇 programming
18 篇 logic gates
16 篇 artificial intel...
15 篇 mathematical log...
14 篇 inductive logic ...
12 篇 logics and meani...
11 篇 software enginee...
11 篇 logic
11 篇 programming tech...
9 篇 computer science
8 篇 integer programm...
8 篇 semantics
7 篇 computer circuit...
7 篇 linear programmi...
7 篇 answer set progr...
7 篇 dynamic programm...
6 篇 languages
6 篇 computer archite...

机构

3 篇 univ potsdam pot...
3 篇 univ calabria di...
2 篇 brandeis univ wa...
2 篇 simon fraser uni...
2 篇 katholieke univ ...
2 篇 univ copenhagen ...
2 篇 katholieke univ ...
2 篇 ku leuven depart...
2 篇 department infor...
2 篇 vienna technol u...
2 篇 univ castilla la...
2 篇 carnegie mellon ...
2 篇 univ aarhus daim...
2 篇 at&t bell lab mu...
2 篇 natl univ irelan...
2 篇 natl inst inform...
2 篇 univ castilla la...
2 篇 univ nova lisboa...
2 篇 australian natl ...
2 篇 department of el...

作者

5 篇 gebser martin
5 篇 schaub torsten
4 篇 inoue katsumi
3 篇 nickles matthias
3 篇 fink michael
3 篇 schuller peter
2 篇 mileo alessandra
2 篇 mairson harry g.
2 篇 goncalves ricard...
2 篇 kung-kiu lau
2 篇 soria jose
2 篇 de raedt luc
2 篇 boustia narhimen...
2 篇 j.r. romero
2 篇 a. vallecillo
2 篇 woltran stefan
2 篇 lifschitz vladim...
2 篇 ferilli stefano
2 篇 sighireanu mihae...
2 篇 p. flener

语言

380 篇 英文
3 篇 其他
1 篇 西班牙文
1 篇 中文

检索条件"任意字段=12th International Conference on Inductive Logic Programming"

共 385 条记录，以下是191-200 订阅

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

详细简洁

排序：

Deontic logic Programs 13

Deontic Logic Programs

引用

international conference on Autonomous Agents and Multiagent Systems

作者： Ricardo Goncalves Jose Julio Alferes CENTRIA - Faculdade Ciências e Tecnologia Universidade Nova de Lisboa Portugal Lisbon Portugal

ISBN: (纸本)9781450319935

Deontic logic programming (DLP) is a framework combining deontic logic and non-monotonic logic programming, and it is useful to represent and reason about normative systems. In this paper we propose an implementation for reasoning in DLP that combines, in a modular way, a reasoner for deontic logic with a reasoner for stable model semantics.

关键词： Norms Knowledge representation Environments Social and organisational structure logic-based approaches and methods Design languages for agent systems

来源：评论

学校读者我要写书评

暂无评论

three lessons in creating a knowledge base to enable reasoning, explanation and dialog 1

Three lessons in creating a knowledge base to enable reasoni...

引用

1st Workshop on Natural Language Processing and Automated Reasoning, NLPAR 2013 - Co-located with 12th international conference on logic programming and Nonmonotonic Reasoning, LPNMR 2013

作者： Chaudhri, Vinay K. Dinesh, Nikhil Inclezan, Daniela Artificial Intelligence Center SRI International Menlo ParkCA94025 United States

Our work is driven by the hypothesis that for a program to answer questions, explain the answers, and engage in a dialog just like a human does, it must have an explicit representation of knowledge. Such explicit representations occur naturally in many situations such as engineering designs created by engineers, a software requirement created in unified modeling language or a process flow diagram for a manufacturing process. Automated approaches based on natural language processing have progressed on tasks such as named entity recognition, fact extraction and relation learning. Use of automated methods can be problematic in situations where the conceptual distinctions used by humans for reasoning are not directly expressed in natural language or when the representation must be used to drive a high fidelity simulation. In this paper, we report on our effort to systematically curate a knowledge base for substantial fraction of text in a biology textbook [26]. While this experience and the process is interesting on its own, three aspects can be especially instructive for future development of knowledge bases by both manual and automatic methods: (1) Consider imposing a simplifying abstract structure on natural language sentences so that the surface form is closer to the target logical form to be extracted. (2) Adopt an upper ontology that is strongly motivated and influenced by natural language. (3) Develop a set of guidelines that captures how the conceptual distinctions in the ontology may be realized in natural language. Since the representation created by this process has been quite effective for answering questions and producing explanations, it gives a concrete target for what information should be extracted by the automated methods.

关键词： Ontology

来源：评论

学校读者我要写书评

暂无评论

A lightweight, versatile gateway platform for Wireless Sensor Networks

A lightweight, versatile gateway platform for Wireless Senso...

引用

Roedunet international conference (RoEduNet)

作者： Andrei Voinescu Dan Tudose Dan Dragomir Automatic Control and Computers Faculty University Politehnica of Bucharest

ISBN: (纸本)9781479926015

A Lightweight, Versatile Gateway Platform for Wireless Sensor Networks Wireless Sensor Networks enable the Internet of things through their many applications, and as such require multiple, flexible gateway platforms. Gateways in Wireless Sensor Networks are bulky, difficult to use devices requiring special deployment and extra programming effort. We designed a lightweight, extremely portable, dual-processor USB device with an optional external antenna. Our design proves to be versatile both on the USB side, where it can appear as a serial connection or a wireless network interface, and on the RF side, where it matches the hardware of our wireless sensor platform, and therefore shares much of its codebase. the wireless USB device can be used standalone with any PC, and for extra portability it can be attached to a small Linux device (such as RaspberryPi), making it suitable for any wireless sensor network application, both indoor and outdoor.

关键词： Universal Serial Bus Wireless sensor networks logic gates Wireless communication programming Radio frequency Software

来源：评论

学校读者我要写书评

暂无评论

Technicians and their learning styles preferences and cognitive processes of formal inferences

Technicians and their learning styles preferences and cognit...

引用

IEEE international conference on Cognitive Informatics

作者： Luis Reynoso Eduardo Grosclaude Laura Sánchez Mabel Álvarez Faculty of Computer Science University of Comahue Buenos Aires Argentina National University of Patagonia San Juan Bosco Trelew Chubut Argentina

During the last seven years several Argentinian national universities have offered (as part of their academic studies and programs) different undergraduate degrees under the denomination of technical degrees. the personal characteristics of their students are radically different from the traditional academic offer. Students learn by practicing and they comprehend information best by actively doing something with the information. We ran an experiment with students of a technical degree of web development in a course of programming Introduction using Python. Preliminary findings revealed that their learning styles are mainly active and visual, and learners who are more verbal or have stronger concrete experience obtained higher scores in their tests. they perceive that inductive tasks are easier than deductive and abductive tasks. We also found that those subjects who are more efficient in solving formal inference tasks obtained higher qualifications in their exams. the findings can be useful not only for didactic transposition in teaching courses which take into account the balance of the students' preference but also to develop new instructional methods and software which focus on the cognitive preferences and cognitive process of technicians.

关键词： Educational institutions Cognition Abstracts programming Visualization Concrete

来源：评论

学校读者我要写书评

暂无评论

Implementation of a fault-tolerant system for solving cases of numerical computation

Implementation of a fault-tolerant system for solving cases ...

引用

2013 international conference on Information,Business and Education Technology(ICIBET 2013)

作者： Cyril Dumont Fabrice Mourlin Algorithmic Complexity and Logic LaboratoryParis 12th university61 avenue du Général de Gaulle94010 Créteil CedexFrance

ISBN: (纸本)9781629932101

We have realized MCA framework (for Mobile Computing Architecture), allowing the resolution of cases of numerical calculation in a heterogeneous distributed environment. Its features are adaptability and reactivity. the first facet is to achieve the end of the calculation even if computing resources are not reliable. the second facet means that depending on context, mobile agent can move part of calculation on to other computing resources. Finally, we have mixed mobility and virtual machine use. So, our solution allows developers to use computation codes written with a different programming language (C++, C). Our results validate our approach and provide a showcase for new evaluations.

关键词： distributed system, mobile agent, numerical calculation, reliability, space computing

来源：评论

学校读者我要写书评

暂无评论

MANCaLog: A logic for Multi-Attribute Network Cascades 13

MANCaLog: A Logic for Multi-Attribute Network Cascades

引用

international conference on Autonomous Agents and Multiagent Systems

作者： Paulo Shakarian Gerardo I. Simari Robert Schroeder U.S. Military Academy West Point NY USA University of Oxford Oxford United Kingdom Naval Postgraduate School Monterey CA USA

ISBN: (纸本)9781450319935

Cascading processes on a network have been studied in a variety of disciplines, including computer science, biology, sociology, and economics. Much existing work in this area is based on pre-existing models. However, recent examinations of social networks - both analysis of large data sets and experimental - have indicated that there may be additional factors to consider that are not taken into account by these models. In this paper we introduce MANCaLog, a logical framework designed to describe cascades in complex networks that meets seven desiderata we selected based on a thorough review of the relevant literature. First, the frame- work must consider multiply labeled and weighted nodes and edges. this aspect is due to the fact that cascades in real-world networks do not only seem to depend on topological properties (i.e., an individual adopts a behavior after a certain number of his friends do) but also due to characteristics of that individual as well. Second, time should be explicitly represented, and (third) it should be non-Markovian, meaning that a node may choose to adopt or not adopt a behavior based on any previous time point (not simply the last one). Fourth, there must be some representation of uncertainty. Fifth, we must allow for competing cascades as has been previously done in the classic work of.

关键词： Complex Networks Cascades logic programming

来源：评论

学校读者我要写书评

暂无评论

Representation and automatic learning of temporal relations between time periods with uncertain boundaries

Representation and automatic learning of temporal relations ...

引用

2012 12th international conference on Intelligent Systems Design and Applications, ISDA 2012

作者： Nicoletti, M.C. Lisboa, F.O.S.S. Hruschka, E.R. De Oliveira, O.L. UFSCar FACCAMP SP Brazil IFSC USP S. Carlos - SP Brazil DC UFSCar S. Carlos - SP Brazil FACCAMP C.L. Paulista Brazil

ISBN: (纸本)9781467351188

this paper describes a proposal which extends Allen's interval algebra by adapting the formalism for dealing with binary relations involving time periods with uncertain boundaries. the extended formalism has been proposed having in mind the subsequent investigation of the automatic learning of temporal relations using an inductive logic programming system (FOIL). Learning results are presented and discussed. © 2012 IEEE.

关键词： inductive logic programming (ILP)

来源：评论

学校读者我要写书评

暂无评论

Scaling Inference for Markov logic via Dual Decomposition

Scaling Inference for Markov Logic via Dual Decomposition

引用

12th IEEE international conference on Data Mining (ICDM)

作者： Niu, Feng Zhang, Ce Re, Christopher Shavlik, Jude Univ Wisconsin Dept Comp Sci Madison WI 53706 USA

ISBN: (纸本)9781467346498;9780769549057

Markov logic is a knowledge-representation language that allows one to specify large graphical models. However, the resulting large graphical models can make inference for Markov logic a computationally challenging problem. Recently, dual decomposition (DD) has become a popular approach for scalable inference on graphical models. We study how to apply DD to scale up inference in Markov logic. A standard approach for DD first partitions a graphical model into multiple tree-structured subproblems. We apply this approach to Markov logic and show that DD can outperform prior inference approaches. Nevertheless, we observe that the standard approach for DD is suboptimal as it does not exploit the rich structure often present in the Markov logic program. thus, we describe a novel decomposition strategy that partitions a Markov logic program into parts based on its structure. A crucial advantage of our approach is that we can use specialized algorithms for portions of the input problem some of which have been studied for decades, e. g., coreference resolution. Empirically, we show that our program-level decomposition approach outperforms both non-decomposition and graphical model-based decomposition approaches to Markov logic inference on several data-mining tasks.

关键词： Markov Formal logic Graphical models knowledge representation languages direct digital synthesis decomposition logic programming

来源：评论

学校读者我要写书评

暂无评论

Sub-10V 4-Bit/Cell Schottky Barrier Nanowire Nonvolatile Memory

Sub-10V 4-Bit/Cell Schottky Barrier Nanowire Nonvolatile Mem...

引用

12th IEEE international conference on Nanotechnology (IEEE-NANO)

作者： Chang, Wei Shih, Chun-Hsing Luo, Yan-Xiang Shia, Ruei-Kai Wu, Wen-Fa Lien, Chenhsin Natl Tsing Hua Univ Inst Elect Engn Hsinchu 30013 Taiwan Natl Chi Nan Univ Dept Elect Engn Nantou 54561 Taiwan Natl Chi Nan Univ Dept Elect Engn Nantou 54561 Taiwan Natl Nano Device Lab Hsinchu 30078 Taiwan

ISBN: (纸本)9781467322003

this study reports experimentally a novel sub-10V 4-bit/cell nanowire silicon-oxide-nitride-oxide-silicon (SONOS) memory cell for use in nonvolatile NAND Flash memories. Applying metallic Schottky barrier source/drain in the silicon gate-all-around nanowire SONOS cells enables the multi-level 4-bit/cell SONOS memory to operate at sub-10V gate voltages using efficient electron programming and hole erasing through Fowler-Nordheim mode tunneling. Examples of 2-bit/cell, 3-bit/cell, and 4-bit/cell applications in this Schottky barrier nanowire SONOS memory cell are demonstrated with multi-level electron programming. Reliability characterization confirms these multi-bit cells to operate well after 10K cycling endurance and 125 degrees C high temperature retention stress.

关键词： logic gates programming SONOS devices Reliability Flash memory Silicon

来源：评论

学校读者我要写书评

暂无评论

Plan Recognition in Intrusion Detection Systems Using logic programming

Plan Recognition in Intrusion Detection Systems Using Logic ...

引用

12th IEEE international conference on Technologies for Homeland Security (HST)

作者： Chintabathina, Sandeep Walker, Jessie J. Villacis, Jorge Gomez, Hugo R. Univ Arkansas Pine Bluff Dept Comp Sci Pine Bluff AR USA

ISBN: (纸本)9781467327091

In this paper we focus on logic programming based approach to plan recognition in intrusion detection systems. the goal of an intruder is to attack a computer or a network system for malicious reasons and the goal of the intrusion detection system is to detect the actions of the intruder and warn the network administrator of an impending attack. We show how an intrusion detection system can recognize the plans of the intruder by modeling the domain as a logic program and then reducing the plan recognition problem to computing models of the logic program. this methodology has been used widely for several planning problems and fits very naturally for plan recognition problems. We give an example scenario and show how to model it. Our results are quite satisfactory and we believe that our approach can lead to a generalized solution to plan recognition.

关键词： Plan Recognition Intrusion Detection logic programming A-Prolog

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共39页 << < 16 17 18 19 20 21 22 23 24 25 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：