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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

332 篇 会议
23 篇 期刊文献
10 册 图书

馆藏范围

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

日期分布

学科分类号

286 篇 工学
- 273 篇 计算机科学与技术...
- 190 篇 软件工程
- 19 篇 控制科学与工程
- 13 篇 电气工程
- 12 篇 信息与通信工程
- 7 篇 生物医学工程（可授...
- 4 篇 电子科学与技术（可...
- 3 篇 动力工程及工程热...
- 3 篇 建筑学
- 3 篇 化学工程与技术
- 2 篇 光学工程
- 2 篇 仪器科学与技术
- 2 篇 土木工程
- 2 篇 农业工程
- 2 篇 生物工程
- 2 篇 安全科学与工程
87 篇 理学
- 71 篇 数学
- 8 篇 系统科学
- 5 篇 物理学
- 4 篇 生物学
- 4 篇 统计学（可授理学、...
- 2 篇 化学
37 篇 管理学
- 28 篇 图书情报与档案管...
- 9 篇 管理科学与工程(可...
- 6 篇 工商管理
7 篇 医学
- 7 篇 临床医学
- 6 篇 基础医学(可授医学...
- 5 篇 药学(可授医学、理...
4 篇 教育学
- 4 篇 教育学
2 篇 农学
- 2 篇 作物学
1 篇 经济学
1 篇 法学
1 篇 文学

主题

86 篇 logic programmin...
29 篇 knowledge repres...
18 篇 semantics
13 篇 programming
12 篇 computer circuit...
10 篇 computer program...
9 篇 object oriented ...
9 篇 artificial intel...
9 篇 ontology
8 篇 logic gates
8 篇 mathematical log...
8 篇 functional progr...
6 篇 inductive logic ...
6 篇 programming tech...
6 篇 logics and meani...
6 篇 temporal logic
6 篇 logic design
4 篇 computer archite...
4 篇 logic
4 篇 logic circuits

机构

2 篇 genusion inc. am...
2 篇 computer science...
2 篇 univ adelaide sc...
2 篇 faculty of infor...
2 篇 department of co...
2 篇 dipartimento di ...
2 篇 univ minho ctr a...
2 篇 dlvsyst srl arca...
2 篇 listic universit...
2 篇 school of comput...
2 篇 vienna univ tech...
2 篇 school of softwa...
2 篇 open university ...
2 篇 centro algoritmi...
2 篇 facultad de mate...
2 篇 univ calabria de...
2 篇 etsii universida...
2 篇 university of wi...
2 篇 sri internationa...
2 篇 univ london impe...

作者

5 篇 vicente henrique
3 篇 dastani mehdi
3 篇 pereira luís mon...
3 篇 brain martin
3 篇 neves josé
3 篇 heymans stijn
3 篇 tompits hans
3 篇 de vos marina
2 篇 meseguer josé
2 篇 hommersom arjen
2 篇 durán f.
2 篇 porto antónio
2 篇 n. ajika
2 篇 leone nicola
2 篇 dell’acqua piera...
2 篇 de mel geeth
2 篇 madalina croitor...
2 篇 kelly peter m.
2 篇 dovier agostino
2 篇 hindriks koen v.

语言

357 篇 英文
8 篇 其他
4 篇 中文

检索条件"任意字段=3rd International Workshop on Logic Programming and Knowledge Representation"

共 365 条记录，以下是251-260 订阅

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

详细简洁

排序：

On spatial constraint solving approaches 1

引用

3rd international workshop on Automated Deduction in Geometry, ADG 2000

作者： Hoffmann, Christoph M. Yuan, Bo Computer Science Department Purdue University West LafayetteIN47907-1398 United States

ISBN: (数字)9783540454106

ISBN: (纸本)3540425985

Simultaneous spatial constraint problems can be approached algebraically, geometrically, or constructively. We examine how each approach performs, using several example problems, especially constraint problems involving lines. We also prove that there are at most 12 real tangents to four given spheres in R3. © Springer-Verlag Berlin Heidelberg 2001.

关键词： logic programming

来源：评论

学校读者我要写书评

暂无评论

Towards a computer algebra system with automatic differentiation for use with object-oriented modelling languages

Towards a computer algebra system with automatic differentia...

引用

3rd international workshop on Equation-Based Object-Oriented Modeling Languages and Tools, EOOLT 2010 - In Conjunction with the MODELS 2010 Conference

作者： Andersson, Joel Houska, Boris Diehl, Moritz K.U. Leuven Belgium

The Directed Acyclic Graph (DAG), which can be generated by object oriented modelling languages, is often the most natural way of representing and manipulating a dynamic optimization problem. With this representation, it is possible to step-by-step reformulate an (infinite dimensional) dynamic optimization problem into a (finite dimensional) non-linear program (NLP) by parametrizing the state and control trajectories. We introduce CasADi, a minimalistic computer algebra system written in completely self-contained C++. The aim of the tool is to offer the benifits of a computer algebra to developers of C++ code, without the overhead usually associated with such systems. In particular, we use the tool to implement automatic differentiation, AD. For maximum efficiency, CasADi works with two different graph representations interchangeably: One supporting only scalar-valued, built-in unary and binary operations and no branching, similar to the representation used by today's tools for automatic differentiation by operator overloading. Secondly, a representation supporting matrixvalued operations, branchings such as if-statements as well as function calls to arbitrary functions (e.g. ODE/DAE integrators). We show that the tool performs favorably compared to CppAD and ADOL-C, two state-of-the-art tools for AD by operator overloading. We also show how the tool can be used to solve a simple optimal control problem, minimal fuel rocket flight, by implementing a simple ODE integrator with sensitivity capabilities and solving the problem with the NLP solver IPOPT. In the last example, we show how we can use the tool to couple the modelling tool JModelica with the optimal control software ACADO Toolkit.

关键词： C++ (programming language)

来源：评论

学校读者我要写书评

暂无评论

Formalizing and implementing types in msvl

Formalizing and implementing types in msvl

引用

3rd international workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2013

作者： Wang, Xiaobing Duan, Zhenhua Zhao, Liang Institute of Computing Theory and Technology and ISN Laboratory Xidian University Xian 710071 China

ISBN: (纸本)9783319049144

This paper investigates techniques for formalizing and implementing types in the temporal logic programming language MSVL, which is an executable subset of Projection Temporal logic. To this end, the data domain of MSVL is extended to include typed values, and then typed functions and predicates concerning the extended data domain are defined. Based on these definitions, the statement for type declaration of program variables is formalized. The implementation mechanisms of the type declaration statement in the MSVL interpreter are also discussed, which is based on the notion of normal form of MSVL programs. To illustrate how to program with types, an example of in-place reversing an integer list is given. © 2014 Springer international Publishing Switzerland.

关键词： Temporal logic

来源：评论

学校读者我要写书评

暂无评论

3rd international Conference on Software, Services and Semantic Technologies, S3T 2011

3rd International Conference on Software, Services and Seman...

引用

3rd international Conference on Software, Services and Semantic Technologies, S3T 2011

ISBN: (纸本)9783642231629

The proceedings contain 66 papers. The special focus in this conference is on Intelligent Content, Semantics, knowledge Management, Business Intelligence and Innovation. The topics include: News article classification based on a vector representation including words’ collocations;classification of online reviews by computational semantic lexicons;reason-able view of linked data for cultural heritage;semantic retrieval approach to factoid question answering for bulgarian;using semantic relations for representing long-term user interests;integrating internet protocol television and social networking;clustering and visualization of ecg signals;visualizing and presenting story maps in TM4Book;a fuzzy bat clustering method for ergonomic screening of office workplaces;the influence of global constraints on DTW and LCS similarity measures for time-series databases;social network analysis in professional e-recruitment;a system integrating agent services with jms for shared battlefield situation awareness;a model for fuzzy logic assessment of real estate investment risks;towards the foundation for read-write governance of civilizations;an analysis and forecast of software and services research in bulgaria;a fuzzy system model for task implementation in extreme programming process;integration of natural language processing chains in content management systems;supporting interactive IPTV apps with an enterprise resource bus and service oriented architecture applied to provide inter-operability between macedonian MoD and NATO.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Computational logic — CL 2000 1

引用

丛书名： Lecture Notes in Computer Science

1000年

作者： John Lloyd Veronica Dahl Ulrich Furbach Manfred Kerber Kung-Kiu Lau Catuscia Palamidessi Luís Moniz Pereira Yehoshua Sagiv Peter J. Stuckey

ISBN: (数字)9783540449577

ISBN: (纸本)9783540677970

These are the proceedings of the First international Conference on Compu- tional logic (CL 2000) which was held at Imperial College in London from 24th to 28th July, 2000. The theme of the conference covered all aspects of the theory, implementation, and application of computational logic, where computational logic is to be understood broadly as the use of logic in computer science. The conference was collocated with the following events: { 6th international Conference on Rules and Objects in Databases (DOOD 2000) { 10th international workshop on logic-based Program Synthesis and Tra- formation (LOPSTR 2000) { 10th international Conference on Inductive logic programming (ILP 2000). CL 2000 consisted of seven streams: { Program Development (LOPSTR 2000) { logic programming: Theory and Extensions { Constraints { Automated Deduction: Putting Theory into Practice { knowledge representation and Non-monotonic Reasoning { Database Systems (DOOD 2000) { logic programming: Implementations and Applications. The LOPSTR 2000 workshop constituted the program development stream and the DOOD 2000 conference constituted the database systems stream. Each stream had its own chair and program committee, which autonomously selected the papers in the area of the stream. Overall, 176 papers were submitted, of which 86 were selected to be presented at the conference and appear in these proceedings. The acceptance rate was uniform across the streams. In addition, LOPSTR 2000 accepted about 15 extended abstracts to be presented at the conference in the program development stream.

关键词： Artificial Intelligence Software Engineering/programming and Operating Systems Computer System Implementation Mathematical logic and Formal Languages logics and Meanings of Programs programming Techniques

来源：评论

学校读者我要写书评

暂无评论

A modal framework for structured logic programs 3rd

引用

3rd international workshop on Extensions of logic programming, ELP 1992

作者： Giordano, Laura Martelli, Alberto Dipartimento di Informatica Università di Torino C.so Svizzera 185 Torino10149 Italy

ISBN: (纸本)9783540564546

Modal logic can be regarded as a unifying framework in which different logical languages with blocks and modules can be expressed. In particular, a modal characterization can be given to different languages which are obtained by extending Horn clause logic with implication goals D=>G (where G is a goal and D is a set of local clauses). Implication goals can be regarded as blocks of conventional programming languages and such an extension provides different kinds of block structured languages, according to the visibility rules chosen for the local clauses. The choices are mainly two: either lexical (static) visibility rules or dynamic visibility rules. The approach of this paper makes feasible the task of integrating the different kinds of blocks within a single language, the modal language. The main aim of this paper is to study the operational semantics of the language which integrates different kinds of blocks, to investigate how it can be used (and further extended) and to see how it compares to other logical languages proposed for dealing with blocks and modules. © Springer-Verlag Berlin Heidelberg 1993.

关键词： Visibility

来源：评论

学校读者我要写书评

暂无评论

A Web-Based Application for Modeling and Deploying Fuzzy logic-Based Decision Support Systems for Autonomous Cyber-Physical Systems 3

A Web-Based Application for Modeling and Deploying Fuzzy Log...

引用

3rd international workshop on Intelligent Information Technologies and Systems of Information Security, IntelITSIS 2022

作者： Melnyk, Anatoliy Zimchenko, Bohdan Lviv Polytechnic National University Stepana Bandery St 12 Lviv79013 Ukraine The John Paul II Catholic University of Lublin Al. Raclawickie 14 Lublin20-950 Poland

In this article, a web-based application, that allows creation of datasets and sets of rules to build a fuzzy logic-based decision support system (DSS), is proposed. The web application allows creating and deploying many DSSs that can have different specializations and simultaneously be used by many other systems, including cyber-physical system (CPS), as a mean of decision support, via an application programming interface (API), using HTTP requests. The creation of the DSS, based on the fuzzy logic principle, and filling data for it can be done by both an expert human and an application that can handle and transfer data from a specific work area through the Internet. A configured DSS can be used by the CPS and can receive crisp values as input and provide crisp values as output after processing data by the fuzzy logic system. The main technologies that are used in the construction of the web-based application and its architecture are also considered. Copyright © 2022 for this paper by its authors.

关键词： Decision support systems

来源：评论

学校读者我要写书评

暂无评论

Towards cooperative interval narrowing 3

引用

3rd international workshop on Frontiers of Combining Systems (FroCoS 2000)

作者： Granvilliers, L Univ Nantes IRIN F-44322 Nantes 3 France

ISBN: (纸本)3540672818

P. Van Hentenryck et al. have designed an efficient interval constraint solver combining box consistency and Gauss-Seidel iterations, that is the core of Numerics. F. Benhamou et al. have shown that hull consistency may be faster and more accurate than box consistency. Their algorithm merges both consistency techniques taking care of the constraints' expressions. This paper presents a new algorithm BC5 enforcing hull consistency, box consistency and the interval Gauss-Seidel method. The main idea is to weaken the local contractions and to let the propagation operate between all elementary solvers in order to accelerate the computation while preserving the same precision. Algorithm BC5 is finally compared with the constraint solving algorithm of Numerica.

关键词： logic programming

来源：评论

学校读者我要写书评

暂无评论

Coprocessor - A standalone SAT preprocessor 1

引用

19th international Conference on Applications of Declarative programming and knowledge Management, INAP 2011 and 25th workshop on logic programming, WLP 2011

作者： Manthey, Norbert Knowledge Representation and Reasoning Group Technische Universität Dresden Dresden01062 Germany

ISBN: (数字)9783642415241

ISBN: (纸本)9783642415234

In this work a stand-alone preprocessor for SAT is presented that is able to perform most of the known preprocessing techniques. Preprocessing a formula in SAT is important for performance since redundancy can be removed. The preprocessor is part of the SAT solver riss [9] and is called Coprocessor. Not only riss, but also MiniSat 2.2 [11] benefit from it, because the SatELite preprocessor of MiniSat does not implement recent techniques. By using more advanced techniques, Coprocessor is able to reduce the redundancy in a formula further and improves the overall solving performance. © Springer-Verlag Berlin Heidelberg 2013.

关键词： Redundancy

来源：评论

学校读者我要写书评

暂无评论

Scalability of OWL reasoning:: Role condensates

Scalability of OWL reasoning:: Role condensates

引用

OTM Confederated international Conference and workshop

作者： Wandelt, Sebastian Moeller, Ralf TU Hamburg Harburg Inst Software Syst Hamburg Germany

ISBN: (纸本)9783540768890

In the last years, there has been an increasing interest in the performance of reasoning on the Semantic Web in presence of large ABoxes. Traditional reasoners make heavily use of in-memory structures and are therefore not suitable to deal with large ABoxes directly. We propose an approach that, informally speaking, works on a composite representation of the role-part of a SHIQ knowledge base. With respect to conjunctive queries, this helps us to provide a kind of proxy that restricts the set of possible bindings for a variable in advance. Furthermore we can use this proxy to reject several queries with no answer substitution immediately. Most notably our approach is query independent.

关键词： logic programming

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共37页 << < 22 23 24 25 26 27 28 29 30 31 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：