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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

184 篇 会议
19 册 图书
16 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

142 篇 工学
- 130 篇 计算机科学与技术...
- 79 篇 软件工程
- 16 篇 控制科学与工程
- 8 篇 电气工程
- 7 篇 信息与通信工程
- 2 篇 生物工程
- 1 篇 机械工程
- 1 篇 仪器科学与技术
- 1 篇 交通运输工程
- 1 篇 生物医学工程（可授...
- 1 篇 安全科学与工程
60 篇 理学
- 54 篇 数学
- 4 篇 生物学
- 3 篇 统计学（可授理学、...
- 2 篇 物理学
- 1 篇 系统科学
10 篇 管理学
- 7 篇 图书情报与档案管...
- 3 篇 管理科学与工程(可...
- 3 篇 工商管理
2 篇 法学
- 1 篇 法学
- 1 篇 社会学
2 篇 教育学
- 2 篇 教育学
1 篇 文学
- 1 篇 外国语言文学
1 篇 医学
- 1 篇 基础医学(可授医学...
- 1 篇 临床医学
- 1 篇 药学(可授医学、理...

主题

64 篇 logic programmin...
22 篇 artificial intel...
15 篇 mathematical log...
12 篇 fuzzy logic
10 篇 software enginee...
9 篇 uncertainty
9 篇 programming lang...
9 篇 logics and meani...
8 篇 computer science
8 篇 fuzzy sets
7 篇 logic
6 篇 humans
6 篇 probabilistic lo...
6 篇 answer set progr...
6 篇 inductive logic ...
6 篇 knowledge repres...
5 篇 computer circuit...
5 篇 application soft...
5 篇 laboratories
4 篇 object oriented ...

机构

2 篇 univ guayaquil g...
2 篇 royal holloway u...
2 篇 imperial college...
2 篇 heriot watt univ...
2 篇 csiro data61 bri...
2 篇 reasoning res in...
2 篇 quantek bologna
2 篇 univ helsinki de...
2 篇 univ freiburg in...
2 篇 univ texas dalla...
2 篇 univ cambridge c...
2 篇 vienna univ tech...
2 篇 univ athens athe...
2 篇 suny stony brook...
2 篇 univ politecn va...
2 篇 katholieke univ ...
2 篇 ferrara univ dep...
2 篇 new mexico state...
2 篇 2-1-2 hitotsubas...
2 篇 univ athens dept...

作者

4 篇 komendantskaya e...
4 篇 satoh ken
4 篇 rondogiannis pan...
4 篇 symeonidou ioann...
3 篇 liu yanhong a.
3 篇 lifschitz vladim...
3 篇 toni francesca
3 篇 stoller scott d.
3 篇 gupta gopal
3 篇 tong yi
3 篇 rocha ricardo
2 篇 governatori guid...
2 篇 toivonen h.
2 篇 gavanelli marco
2 篇 joão leite
2 篇 l. godo
2 篇 charalambidis an...
2 篇 maher michael j.
2 篇 revoredo k.
2 篇 laurent henocque

语言

209 篇 英文
10 篇 其他

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

共 219 条记录，以下是61-70 订阅

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

详细简洁

排序：

logic for programming, artificial intelligence, and reasoning: 20th international conference, LPAR-20 2015 suva, Fiji, november 24–28, 2015 proceedings 20th

引用

20th international conference on logic for programming, Artificial Intelligence, and Reasoning, LPAR 2015

作者： Davis, Martin Fehnker, Ansgar McIver, Annabelle Voronkov, Andrei New York University New YorkNY United States University of the South Pacific Suva Fiji Macquarie University SydneyNSW Australia The University of Manchester Manchester United Kingdom

来源：评论

学校读者我要写书评

暂无评论

20th international conference on Knowledge Engineering and Knowledge Management, EKAW 2016

20th International Conference on Knowledge Engineering and K...

引用

20th international conference on Knowledge Engineering and Knowledge Management, EKAW 2016

ISBN: (纸本)9783319586939

the proceedings contain 43 papers. the special focus in this conference is on Knowledge Engineering and Knowledge Management. the topics include: Tracing shifting conceptual vocabularies through time;combining distributional semantics and structured data to study lexical change;monitor and foster student learning through gamification;a formalization of the French elementary school curricula;semantic integration of geospatial data from earth observations;matching ontologies using a frame-driven approach;soundness and ontology-based consistency of sensor data acquisition plans;selecting and tailoring ontologies with JOYCE;representing contextual information as fluents;an ontological perspective on thematic roles;flexible RDF generation from RDF and heterogeneous data sources with SPARQL-generate;a quality assessment tool for measuring the accessibility of linked data;a benchmarking framework for stream processors;a comparison of linked data sets for use in semantic search on a heterogeneous corpus;building citation networks with SPACIN;graph-based relation validation method;probabilistic inductive logic programming on the web;financial sentiment orientation of word combinations;selecting documents relevant for chemistry as a classification problem;addressing knowledge integration with a frame-driven approach;automatic maintenance of semantic annotations;dealing with velocity and variety in the acquisition of heterogeneous sensor data;extracting knowledge claims for automatic evidence synthesis using semantic technology;managing ontology mapping change based on changing inference sets;facilitating the management and analysis of scholarly communication metadata.

关键词：

来源：评论

学校读者我要写书评

暂无评论

20th international conference on logic for programming, Artificial Intelligence, and Reasoning, LPAR 2015

引用

20th international conference on logic for programming, Artificial Intelligence, and Reasoning, LPAR 2015

ISBN: (纸本)9783662488980

the proceedings contain 43 papers. the special focus in this conference is on logic for programming, Artificial Intelligence, and Reasoning. the topics include: Skolemization for substructural logics;reasoning about embedded dependencies using inclusion dependencies;a tool for solving general deductive games;on anti-subsumptive knowledge enforcement;value sensitivity and observable abstract values for information flow control;fairly efficient machine learning connection prover;decidability, introduction rules and automata;analyzing internet routing security using model checking;boolean formulas for the static identification of injection attacks in java;an adequate compositional encoding of bigraph structure in linear logic with subexponentials;controller synthesis for MDPs and frequency LT\GU;automated benchmarking of incremental SAT and QBF solvers;a labelled sequent calculus for intuitionistic public announcement logic;implicit computational complexity of subrecursive definitions and applications to cryptographic proofs;tools for inductive provers;verification of concurrent programs using trace abstraction refinement;synchronized recursive timed automata;focused labeled proof systems for modal logic;on subexponentials, synthetic connectives, and multi-level delimited control;on the expressive power of communication primitives in parameterised systems;fine grained SMT proofs for the theory of fixed-width bit-vectors;abstract domains and solvers for sets reasoning;relational reasoning via probabilistic coupling;a contextual logical framework;enhancing search-based QBF solving by dynamic blocked clause elimination;reasoning about loops using vampire in key;compositional propositional proofs;normalisation by completeness with heyting algebras and using program synthesis for program analysis.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Algorithms for Collision Probability Assessment and UAV Control for Maritime Safety Tasks 20

Algorithms for Collision Probability Assessment and UAV Cont...

引用

20th international Scientific conference on Transport Means

作者： Strupka, G. Levchenkov, A. Gorobetz, M. Riga Tech Univ Azenes St 12-1 Riga Latvia

As numbers of transport everyday increases, necessity of rising safety level predicting and avoiding collisions follows. this paper presents introduction of algorithm that calculates the probability of collision in maritime and program that makes suggestions of necessary corrections based on information received from databases and systems onshore, transport vehicles involved in possible collision area or even lack of information. Details will be explained and filled with sample data. Described system is in its beginning of evolution but in the same time it is ready to be implemented in already existed systems or used as base of brand new safety and anti collision software.

关键词： artificial intelligence probabilistic logic unmanned aerial vehicles programming microcontrollers automatic control path planning maritime safety

来源：评论

学校读者我要写书评

暂无评论

Impairment Aware Routing and Wavelength Assignment Model Employing Binary logic Operators 20

Impairment Aware Routing and Wavelength Assignment Model Emp...

引用

international conference on Optical Network Design and Modeling (ONDM)

作者： Singh, Maninder Singh, Maninder Lal Guru Nanak Dev Univ Dept Elect Technol Amritsar 143005 Punjab India

ISBN: (纸本)9781467399883

Effective quality monitoring per wavelength channel is indispensable to modern high speed transparent DWDM systems. Besides linear and nonlinear degradation, the optical impairments also depend upon wavelength channel used along with the state of other channels at a given time. In this paper we have proposed a mixed integer linear programming(MILP) model for solving routing and wavelength assignment problem that uses logic operators to include impairments caused by the state of the neighbouring channels. Further the optical impairment applicable at each wavelength channel is distinct and under given condition each wavelength channel experiences different deterioration. We compare it with existing mathematical models in which strategic spectrum spacing is employed to mitigate the effect of impairments. It has been found that in the former method, Quality of Transmission (QoT) is maintained at all cost. the latter method though converges much faster but due to non-utilization of certain wavelength channels the overall traffic carrying capacity of WDM system get reduced.

关键词： Mixed Integer Linear programming(MILP) Impairment aware Routing logic gates State of the Network (SoN)

来源：评论

学校读者我要写书评

暂无评论

Towards a Session logic for Communication Protocols 20

Towards a Session Logic for Communication Protocols

引用

20th international conference on Engineering of Complex Computer Systems (ICECCS)

作者： Craciun, Florin Kiss, Tibor Costea, Andreea Univ Babes Bolyai Fac Math & Comp Sci Cluj Napoca Romania Natl Univ Singapore Sch Comp Singapore 117548 Singapore

ISBN: (纸本)9781467385817

Communication-centered programming is one of the most challenging programming paradigms. Development of modern software applications requires expressive mechanisms to specify and verify the communications between different parties. In the last decade, many works have used session types to characterize the various aspects of structured communications. Different from session types, we propose a novel session logic with disjunctions to specify and verify the implementation of communication protocols. Our current logic is based on only two-party channel sessions, but it is capable of handling delegation naturally through the use of higher-order channels. Due to our use of disjunctions to model both internal and external choices, we rely solely on conditional statements to support such choices, as opposed to specialized switch constructs in prior proposals. Furthermore, since our proposal is based on an extension of separation logic, it also supports heap-manipulating programs and copyless message passing. We demonstrate the expressivity and applicability of our logic on a number of examples.

关键词： protocol specification protocol verification separation logic session logic session types

来源：评论

学校读者我要写书评

暂无评论

SAT Modulo Intuitionistic Implications 20th

引用

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

作者： Claessen, Koen Rosen, Dan Chalmers S-41296 Gothenburg Sweden

We present a new method for solving problems in intuitionistic propositional logic, which involves the use of an incremental SAT-solver. the method scales to very large problems, and fits well into an SMT-based framew... 详细信息

ISBN: (纸本)9783662488997;9783662488980

关键词： Formal logic

来源：评论

学校读者我要写书评

暂无评论

An Approach of Temporal Difference Learning Using Agent-Oriented programming 20

An Approach of Temporal Difference Learning Using Agent-Orie...

引用

20th international conference on System Controls and Computer Science 2015

作者： Badica, Amelia Badica, Costin Ivanovic, Mirjana Mitrovic, Dejan Univ Craiova Craiova Romania Fac Sci Novi Sad Serbia

ISBN: (纸本)9781479917808

Reinforcement Learning - RL is an important agent problem that was not approached using the tools provided by Agent Oriented programming - AOP. AgentSpeak(L) and its Jason implementation based on Java platform are representing state-of-the-art approaches of AOP based on the Belief-Desire-Intention - BDI model. Temporal Difference Learning - TDL is a passive RL method that can be used by an agent to learn its utility function while it is acting according to a given policy in an uncertain and dynamic environment. In this paper we present an approach for modeling and implementation of TDL using the Jason AOP language. So, our paper is presenting a contribution towards narrowing the gap between RL and AOP, by endowing BDI agents with TDL skills.

关键词： agent-oriented programming reinforcement learning object oriented programming learning (artificial intelligence) aspect-oriented programming transistor diode logic Agents Learning Utility functions Java platform

来源：评论

学校读者我要写书评

暂无评论

Reasoning About Embedded Dependencies Using Inclusion Dependencies 1

引用

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

作者： Hannula, Miika Univ Helsinki Dept Math & Stat POB 68 FIN-00014 Helsinki Finland

ISBN: (数字)9783662488997

ISBN: (纸本)9783662488997;9783662488980

the implication problem for the class of embedded dependencies is undecidable. However, this does not imply lackness of a proof procedure as exemplified by the chase algorithm. In this paper we present a complete axiomatization of embedded dependencies that is based on the chase and uses inclusion dependencies and implicit existential quantification in the intermediate steps of deductions.

关键词： Axiomatization Chase Implication problem Dependence logic Embedded dependency Tuple generating dependency Equality generating dependency Inclusion dependency

来源：评论

学校读者我要写书评

暂无评论

Modular Multiset Rewriting 20th

引用

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

作者： Cervesato, Iliano Lam, Edmund S. L. Carnegie Mellon Univ Pittsburgh PA 15213 USA

ISBN: (纸本)9783662488997;9783662488980

Rule-based languages are being used for ever more ambitious applications. As program size grows however, so does the overhead of team-based development, reusing components, and just keeping a large flat collection of rules from interfering. In this paper, we propose a module system for a small logically-motivated rule-based language. the resulting modules are nothing more than rewrite rules of a specific form, which are themselves just logic formulas. Yet, they provide some of the same features found in advanced module systems such as that of Standard ML, in particular name space separation, support for abstract data types, and parametrization (functors in ML). Our modules also offer essential features for concurrent programming such as facilities for sharing private names. this approach is directly applicable to other rule-based languages, including most forward-chaining logic programming languages and many process algebras.

关键词： logic programming

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共22页 << < 3 4 5 6 7 8 9 10 11 12 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：