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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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 条记录，以下是91-100 订阅

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

详细简洁

排序：

***: A set of student's characteristics for modeling in adaptive programming tutoring systems

***: A set of student's characteristics for modeling in adap...

引用

International conference on Information, Intelligence, Systems and Applications (IISA)

作者： Konstantina Chrysafiadi Maria Virvou Department of Informatics University of Piraeus Piraeus Greece

In this paper a set of student's characteristics that have to be considered in an adaptive and/or personalized programming tutoring system is presented. this set is called *** and includes: knowledge, errors, motivation and cognitive states. It allows the system to identify the variety of backgrounds of prospective learners of programming, their misconceptions, needs and learning pace. the modeling of K.E.M.C.s is performed through a combination of different student modeling techniques: overlay, stereotypes, fuzzy logic and OCC cognitive theory. the gain of this approach is that the particular student model represents a sufficiently large part of the complex dimensions of a real student of programming. therefore, it can be the base for the improvement of the quality of the learning process.

关键词： Adaptation models Computer languages programming profession Artificial intelligence Education Adaptive systems

来源：评论

学校读者我要写书评

暂无评论

Learning requirements analysis to software design transformation rules by examples: Limitations of current ILP systems

Learning requirements analysis to software design transforma...

引用

IEEE International conference on Software Engineering and Service Sciences (ICSESS)

作者： Hamdi A. Al-Jamimi Moataz A. Ahmed Information and Computer Science Department King Fahd University of Petroleum and Minerals Dhahran Saudi Arabia

Model transformation is defined as a central concept in model driven engineering. Identifying the transformation rules is nontrivial task, where it might be much easier for the experts to provide examples of the transformations rather than specifying complete and consistent rules. the examples provided by expert represent their knowledge in the domain. thus, it is much beneficial to utilize a set of examples, i.e. pairs of transformation source and target models, in order to learn transformation rules. Machine learning (ML) techniques proved their ability of learning relations and concepts in various domains. In this paper, we aim to apply Inductive logic programming (ILP) for learning the transformation rules between the requirements analysis and software design based on a set of pairs of transformation analysis and design models. ALEPH and GILPS systems have been employed, individually, to induce the intended transformation rules; however the resultant rules don't accommodate the desire transformations. thus, in this paper we focus on identifying the problem of analysis-design transformation and discussing the derived rules as well as the limitations of the current ILP systems.

关键词： Analytical models Software design logic programming Software engineering Joining processes Engines

来源：评论

学校读者我要写书评

暂无评论

Learning Requirements Analysis to Software Design Transformation Rules by Examples:Limitations of Current ILP Systems

Learning Requirements Analysis to Software Design Transforma...

引用

2014 IEEE 5th International conference on Software Engineering and Service Science

作者： Hamdi A.Al-Jamimi Moataz A.Ahmed Information and Computer Science Department King Fahd University of Petroleum and Minerals Dhahran Saudi Arabia

Model transformation is defined as a central concept in model driven *** the transformation rules is nontrivial task,where it might be much easier for the experts to provide examples of the transformations rather than specifying complete and consistent *** examples provided by expert represent their knowledge in the ***,it is much beneficial to utilize a set of examples,*** of transformation source and target models,in order to learn transformation *** learning(ML) techniques proved their ability of learning relations and concepts in various *** this paper,we aim to apply Inductive logic programming(ILP) for learning the transformation rules between the requirements analysis and software design based on a set of pairs of transformation analysis and design *** and GILPS systems have been employed,individually,to induce the intended transformation rules;however the resultant rules don't accommodate the desire ***,in this paper we focus on identifying the problem of analysis-design transformation and discussing the derived rules as well as the limitations of the current ILP systems.

关键词： Model Transformation Requirement Analysis Software Design Transformation Rules Inductive logic programming

来源：评论

学校读者我要写书评

暂无评论

logic-based Benders decomposition to solve the permutation flowshop scheduling problem with time lags

Logic-based Benders decomposition to solve the permutation f...

引用

5th International conference on Modeling, Simulation and Applied Optimization (ICMSAO)

作者： Hamdi, Imen Loukil, Taicir Fac Econ Sci & Management Dept Quantitat Methods Sfax Tunisia

ISBN: (纸本)9781467358149;9781467358125

In this paper, we consider the problem of scheduling n jobs in an m-machine permutation flowshop with time lags between consecutive operations of each job. the processing order of jobs is the same for each machine. the time lag is defined as the waiting time between consecutive operations. We use square logic-based Benders decomposition to minimize the total number of tardy jobs with long time horizon defined on the last machine. We combine Mixed Integer Linear programming (MILP) to allocate jobs to time intervals of the time horizon and scheduled using Constraint programming (CP). Also, a lower bound based on Moore's algorithm is developed. then, computational results are reported.

关键词： Scheduling Permutation flowshop Time lags Benders decomposition

来源：评论

学校读者我要写书评

暂无评论

Automatic Web Services Composition Using Maude Strategies

Automatic Web Services Composition Using Maude Strategies

引用

5th International conference on Modeling, Simulation and Applied Optimization (ICMSAO)

作者： Fateh, Latreche Hacene, Sebih Faiza, Belala Constantine 2 Univ LIRE Lab Constantine Algeria

ISBN: (纸本)9781467358149;9781467358125

Web services are modular, self-descriptive and loosely coupled applications;they provide a simple programming and deployment model. Besides, they are designed to interact with other services to form larger applications. From a software engineering point of view, the construction of new services by composing existing services raises a number of challenges. One of them is the ability to efficiently and effectively select and integrate inter-organizational and heterogeneous services on the Web at runtime. Recently, several formal methods, most of them with a semantics based on transition systems, have been used to guarantee correct service compositions without insisting on its automation. the main goal of this work is to propose a Rewriting logic based framework in order to enhance automatic Web services composition. the proposed model execution allows to discover services automatically and guarantee the correct interaction of independent pieces of software in a transparent manner.

关键词： automatic Web services composition rewriting logic Maude strategies

来源：评论

学校读者我要写书评

暂无评论

Patterns for interfacing between logic programs and multiple ontologies

Patterns for interfacing between logic programs and multiple...

引用

5th International conference on Knowledge Engineering and Ontology Development, KEOD 2013

作者： Cruz-Filipe, Lúis Nunes, Isabel Gaspar, Graca Dept. of Maritime Engineering Escola Superior Ńautica Infante D. Henrique Paço d'Arcos Portugal CMAF Lisbon Portugal Dept. Informatics Faculty of Sciences University of Lisbon Lisbon Portugal LabMag Lisbon Portugal

ISBN: (纸本)9789898565815

Originally proposed in the mid-90s, design patterns for software development played a key role in objectoriented programming not only in increasing software quality, but also by giving a better understanding of the power and limitations of this paradigm. Since then, several authors have endorsed a similar task for other programming paradigms, in the hope of achieving similar benefits. In this paper we discuss design patterns for hybrid semantic web systems combining several description logic knowledge bases via a logic program. We introduce eight design patterns, grouped in three categories: three elementary patterns, which are the basic building blocks;four derived patterns, built from these;and a more complex pattern, the study of which can shed some insight in future syntactic developments of the underlying framework. these patterns are extensively applied in a natural way in a large-scale example that illustrates how their usage greatly simplifies some programming tasks, at the level of both development and extension. We work in a generalization of dl-programs that supports several (possibly different) description logics, but the results presented are easily adaptable to other existing frameworks such as multi-context systems. Copyright ©2013 SCITEPRESS.

关键词： Semantic Web

来源：评论

学校读者我要写书评

暂无评论

Saturated semantics for coalgebraic logic programming

Saturated semantics for coalgebraic logic programming

引用

5th International conference on Algebra and Coalgebra in Computer Science, CALCO 2013

作者： Bonchi, Filippo Zanasi, Fabio U. de Lyon CNRS INRIA UCBL ENS Lyon France

ISBN: (纸本)9783642402050

A series of recent papers introduces a coalgebraic semantics for logic programming, where the behavior of a goal is represented by a parallel model of computation called coinductive tree. this semantics fails to be compositional, in the sense that the coalgebra formalizing such behavior does not commute with the substitutions that may apply to a goal. We suggest that this is an instance of a more general phenomenon, occurring in the setting of interactive systems (in particular, nominal process calculi), when one tries to model their semantics with coalgebrae on presheaves. In those cases, compositionality can be obtained through saturation. We apply the same approach to logic programming: the resulting semantics is compositional and enjoys an elegant formulation in terms of coalgebrae on presheaves and their right Kan extensions. © 2013 Springer-Verlag Berlin Heidelberg.

关键词： logic programming

来源：评论

学校读者我要写书评

暂无评论

Towards epistemic planning agents

Towards epistemic planning agents

引用

5th International conference on Agents and Artificial Intelligence, ICAART 2013

作者： Eppe, Manfred Dylla, Frank Department of Computer Science and Mathematics University of Bremen Bremen Germany Cognitive Systems SFB/TR8 Spatial Cognition University of Bremen Bremen Germany

ISBN: (纸本)9789898565389

We propose an approach for single-agent epistemic planning in domains with incomplete knowledge. We argue that on the one hand the integration of epistemic reasoning into planning is useful because it makes the use of sensors more flexible. On the other hand, defining an epistemic problem description is an error prone task as the epistemic effects of actions are more complex than their usual physical effects. We apply the axioms of the Discrete Event Calculus Knowledge theory (DECKT) as rules to compile simple non-epistemic planning problem descriptions into complex epistemic descriptions. We show how the resulting planning problems are solved by our implemented prototype which is based on Answer Set programming (ASP).

关键词： logic programming

来源：评论

学校读者我要写书评

暂无评论

A logic-programming semantics of services

A logic-programming semantics of services

引用

5th International conference on Algebra and Coalgebra in Computer Science, CALCO 2013

作者： Ţuţu, Ionuţ Fiadeiro, José Luiz Dept. Computer Science Royal Holloway University of London United Kingdom Institute of Mathematics of the Romanian Academy Research Group of the Project ID-3-0439 Romania

ISBN: (纸本)9783642402050

We develop formal foundations for notions and mechanisms needed to support service-oriented computing. Our work provides semantics for the service overlay by abstracting concepts from logic programming. It draws a strong analogy between the discovery of a service that can be bound to a client application and the search for a clause that can be used for computing an answer to a query. In addition, it describes the process of binding services and the reconfiguration of applications as service-oriented derivatives of unification and resolution. © 2013 Springer-Verlag Berlin Heidelberg.

关键词： logic programming

来源：评论

学校读者我要写书评

暂无评论

Towards Practical Tabled Abduction Usable in Decision Making

引用

5th KES International conference on Intelligent Decision Technologies (KES-IDT)

作者： Saptawijaya, Ari Pereira, Luis Moniz Univ Indonesia Fak Ilmu Komputer Depok Indonesia Univ Nova Lisboa Fac Ciencias & Tecnol Dept Informat P-2829516 Caparica Portugal

ISBN: (纸本)9781614992646;9781614992639

Abduction as reasoning paradigm has been much explored in Artificial Intelligence, but not yet taken up by decision making as much as its potential warrants. Indeed, abduction permits the generation of hypothetical knowledge based scenarios, about which one can then equate decisions. One reason for this state of affairs is that abduction is difficult to implement efficaciously, even by experts, which entails that abductive systems are not readily available for decision making. Our concept of tabled abduction mitigates this, in the abductive logic programming system TABDUAL. the contribution of this paper is three-fold: (1) We discuss some TABDUAL improvements towards its more practical use, particularly in decision making, (2) We show that declarative debugging can be viewed as abduction in logic programming, thus showing another potential of abduction for decision making, and (3) We describe how TABDUAL can be applied in decision making and examine its benefit.

关键词： tabled abduction abductive logic programming declarative debugging decision making

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共48页 << < 6 7 8 9 10 11 12 13 14 15 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：