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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

1,428 篇 会议
70 册 图书
56 篇 期刊文献

馆藏范围

1,553 篇 电子文献
1 种 纸本馆藏

日期分布

学科分类号

1,261 篇 工学
- 1,246 篇 计算机科学与技术...
- 663 篇 软件工程
- 83 篇 控制科学与工程
- 62 篇 电气工程
- 48 篇 信息与通信工程
- 10 篇 生物工程
- 9 篇 生物医学工程（可授...
- 6 篇 交通运输工程
- 5 篇 化学工程与技术
- 4 篇 材料科学与工程（可...
- 4 篇 电子科学与技术（可...
- 4 篇 安全科学与工程
- 3 篇 机械工程
- 3 篇 建筑学
360 篇 理学
- 337 篇 数学
- 23 篇 统计学（可授理学、...
- 17 篇 系统科学
- 14 篇 生物学
- 10 篇 物理学
- 5 篇 化学
86 篇 管理学
- 53 篇 图书情报与档案管...
- 37 篇 管理科学与工程(可...
- 17 篇 工商管理
10 篇 法学
- 7 篇 法学
- 3 篇 社会学
9 篇 医学
- 9 篇 临床医学
- 7 篇 基础医学(可授医学...
- 6 篇 药学(可授医学、理...
7 篇 教育学
- 7 篇 教育学
3 篇 经济学
- 3 篇 应用经济学
3 篇 农学

主题

388 篇 logic programmin...
142 篇 artificial intel...
63 篇 semantics
52 篇 answer set progr...
49 篇 mathematical log...
43 篇 computer circuit...
42 篇 formal logic
40 篇 knowledge repres...
35 篇 logics and meani...
29 篇 programming tech...
25 篇 knowledge repres...
25 篇 calculations
22 篇 programming lang...
18 篇 software enginee...
16 篇 fuzzy logic
16 篇 inductive logic ...
13 篇 constraint progr...
12 篇 programming
12 篇 data description
12 篇 temporal logic

机构

15 篇 vienna univ tech...
13 篇 univ minho ctr a...
11 篇 univ potsdam pot...
11 篇 tu wien austria
8 篇 univ evora escol...
8 篇 univ texas dept ...
6 篇 new mexico state...
6 篇 inria rennes ren...
6 篇 university of po...
6 篇 imperial coll lo...
6 篇 univ kentucky de...
6 篇 univ minho dept ...
5 篇 univ potsdam ins...
5 篇 katholieke univ ...
5 篇 univ genoa dibri...
5 篇 natl inst inform...
5 篇 natl univ irelan...
5 篇 suny stony brook...
5 篇 mediclin arabian...
5 篇 carnegie mellon ...

作者

31 篇 schaub torsten
30 篇 ricca francesco
24 篇 eiter thomas
20 篇 vicente henrique
19 篇 gebser martin
18 篇 neves jose
17 篇 alviano mario
17 篇 tompits hans
16 篇 leone nicola
16 篇 woltran stefan
13 篇 faber wolfgang
13 篇 cabalar pedro
13 篇 dodaro carmine
12 篇 son tran cao
12 篇 baral chitta
11 篇 voronkov andrei
11 篇 maratea marco
11 篇 inoue katsumi
10 篇 fink michael
10 篇 neves joao

语言

1,540 篇 英文
8 篇 中文
6 篇 其他

检索条件"任意字段=15th International Conference on Logic for Programming Artificial Intelligence and Reasoning"

共 1554 条记录，以下是481-490 订阅

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

详细简洁

排序：

15th conference on artificial intelligence in Medicine, AIME 2015

15th Conference on Artificial Intelligence in Medicine, AIME...

引用

15th conference on artificial intelligence in Medicine, AIME 2015

ISBN: (纸本)9783319195506

the proceedings contain 51 papers. the special focus in this conference is on Process Mining, Phenotyping, Data Mining, Machine Learning and Temporal Data Mining. the topics include: Physics of the medical record;contextualisation of biomedical knowledge through large-scale processing of literature, clinical narratives and social media;an active learning framework for efficient condition severity classification;predictive monitoring of local anomalies in clinical treatment processes;mining surgery phase-related sequential rules from vertebroplasty simulations traces;data driven order set development using metaheuristic optimization;conceptual modeling of clinical pathways;distributed learning to protect privacy in multi-centric clinical studies;mining hierarchical pathology data using inductive logic programming;domain knowledge based hierarchical feature selection for 30-day hospital readmission prediction;a genomic data fusion framework to exploit rare and common variants for association discovery;collaborative filtering for estimating health related utilities in decision support systems;updating stochastic networks to integrate cross-sectional and longitudinal studies;optimal sub-sequence matching for the automatic prediction of surgical tasks;on the advantage of using dedicated data mining techniques to predict colorectal cancer;identifying chemotherapy regimens in electronic health record data using interval-encoded sequence alignment;an evaluation framework for the comparison of fine-grained predictive models in health care;a model for cross-platform searches in temporal microarray data;risk assessment for primary coronary heart disease event using dynamic Bayesian networks and a Bayesian network for probabilistic reasoning and imputation of missing risk factors in type 2 diabetes.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Budget-Constrained Knowledge in Multiagent Systems 14

Budget-Constrained Knowledge in Multiagent Systems

引用

14th international conference on Autonomous Agents and Multiagent Systems (AAMAS)

作者： Naumov, Pavel Tao, Jia McDaniel Coll Math & Comp Sci Westminster MD 20853 USA Bryn Mawr Coll Dept Comp Sci Bryn Mawr PA 19010 USA

ISBN: (纸本)9781450334136

the paper introduces a modal logical system for reasoning about knowledge in which information available to agents might be constrained by the available budget. Although the system lacks an equivalent of the standard Negative Introspection axiom from epistemic logic S5, it is proven to be sound and complete with respect to an S5-like Kripke semantics.

关键词： modal logic epistemology axiomatization completeness

来源：评论

学校读者我要写书评

暂无评论

Combining heuristics for configuration problems using answer set programming 13th

引用

13th international conference on logic programming and Nonmonotonic reasoning, LPNMR 2015

作者： Gebser, Martin Ryabokon, Anna Schenner, Gottfried HIIT Aalto University Espoo Finland University of Potsdam Potsdam Germany Alpen-Adria-Universität Klagenfurt Klagenfurt Austria Siemens AG Österreich Vienna Austria

ISBN: (纸本)9783319232638

this paper describes an abstract problem derived from a combination of Siemens product configuration problems encountered in practice. Often isolated parts of configuration problems can be solved by mapping them to well-studied problems for which efficient heuristics exist (graph coloring, bin-packing, etc.). Unfortunately, these heuristics may fail to work when applied to a problem that combines two or more subproblems. In the paper we show how to formulate a combined configuration problem in Answer Set programming (ASP) and to solve it using heuristics à la hclasp. In addition, we present a novel method for heuristic generation based on a combination of greedy search with ASP that allows to improve the performance of an ASP solver. © Springer international Publishing Switzerland 2015.

关键词： Heuristic methods

来源：评论

学校读者我要写书评

暂无评论

Answer set programming modulo acyclicity 1

引用

13th international conference on logic programming and Nonmonotonic reasoning, LPNMR 2015

作者： Bomanson, Jori Gebser, Martin Janhunen, Tomi Kaufmann, Benjamin Schaub, Torsten Aalto University HIIT Espoo Finland University of Potsdam Potsdam Germany INRIA Rennes Rennes France

ISBN: (数字)9783319232645

ISBN: (纸本)9783319232638

Acyclicity constraints are prevalent in knowledge representation and, in particular, applications where acyclic data structures such as DAGs and trees play a role. Recently, such constraints have been considered in the satisfiability modulo theories (SMT) framework, and in this paper we carry out an analogous extension to the answer set programming (ASP) paradigm. the resulting formalism, ASP modulo acyclicity, offers a rich set of primitives to express constraints related with recursive structures. the implementation, obtained as an extension to the state-of-the-art answer set solver clasp, provides a unique combination of traditional unfounded set checking with acyclicity propagation. © Springer international Publishing Switzerland 2015.

关键词： Knowledge representation

来源：评论

学校读者我要写书评

暂无评论

14th international conference of the Italian Association for artificial intelligence, AIIA 2015

14th International Conference of the Italian Association for...

引用

14th international conference of the Italian Association for artificial intelligence, 2015

ISBN: (纸本)9783319243085

the proceedings contain 35 papers. the special focus in this conference is on Swarm intelligence;Genetic Algorithms;Computer Vision;Multi Agent Systems;Knowledge Representation;reasoning;Machine Learning and Natural Language. the topics include: Collective self-awareness and self-expression for efficient network exploration;swarm-based controller for traffic lights management;path relinking for a constrained simulation-optimization team scheduling problem arising in hydroinformatics;adaptive tactical decisions in pedestrian simulation;using stochastic optimization to improve the detection of small checkerboards;empowering agent coordination with social engagement;anticipatory coordination in socio-technical knowledge-intensive environments;a kinetic study of opinion dynamics in multi-agent systems;cooperating with trusted parties would make life easier;agent based simulation of incentive mechanisms on photovoltaic adoption;feature-based modelling and information systems for engineering;a multi-engine theorem prover for a description logic of typicality;defeasible logic programming in satisfiability modulo CHR;abstract solvers for quantified Boolean formulas and their applications;learning accurate cutset networks by exploiting decomposability;common-sense knowledge for natural language understanding;testing a learn-verify-repair approach for safe human-robot interaction;empowered negative specialization in inductive logic programming;open data integration using SPARQL and SPIN;bootstrapping large scale polarity lexicons through advanced distributional methods;using semantic models for robust natural language human robot interaction;automatic identification and disambiguation of concepts and named entities in the multilingual Wikipedia and a logic-based approach to named-entity disambiguation in the web of data.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Compacting boolean formulae for inference in probabilistic logic programming 13th

引用

13th international conference on logic programming and Nonmonotonic reasoning, LPNMR 2015

作者： Mantadelis, theofrastos Shterionov, Dimitar Janssens, Gerda CRACS and INESC TEC University of Porto Rua do Campo Alegre 1021/1055 Porto4169-007 Portugal Department of Computer Science KU Leuven Celestijnenlaan 200A Heverlee2402 3001 Belgium

ISBN: (纸本)9783319232638

Knowledge compilation converts Boolean formulae for which some inference tasks are computationally expensive into a representation where the same tasks are tractable. ProbLog is a state-of-the-art Probabilistic logic programming system that uses knowledge compilation to reduce the expensive probabilistic inference to an efficient weighted model counting. Motivated to improve ProbLog’s performance we present an approach that optimizes Boolean formulae in order to speed-up knowledge compilation. We identify 7 Boolean subformulae patterns that can be used to re-write Boolean *** implemented an algorithm with polynomial complexity which detects and compacts 6 of these patterns. We employ our method in the inference pipeline of ProbLog and conduct extensive experiments. We show that our compaction method improves knowledge compilation and consecutively the overall inference performance. Furthermore, using compaction reduces the number of time-outs, allowing us to solve previously unsolvable problems. © Springer international Publishing Switzerland 2015.

关键词： Compaction

来源：评论

学校读者我要写书评

暂无评论

Aspartame: Solving constraint satisfaction problems with answer set programming 1

引用

13th international conference on logic programming and Nonmonotonic reasoning, LPNMR 2015

作者： Banbara, Mutsunori Gebser, Martin Inoue, Katsumi Ostrowski, Max Peano, Andrea Schaub, Torsten Soh, Takehide Tamura, Naoyuki Weise, Matthias Aalto University HIIT Greater Helsinki Finland INRIA Rennes Rennes France Kobe University Kobe Japan NII Tokyo Tokyo Japan University of Ferrara Ferrara Italy University of Potsdam Potsdam Germany

ISBN: (数字)9783319232645

ISBN: (纸本)9783319232638

Encoding finite linear CSPs as Boolean formulas and solving them by using modern SAT solvers has proven to be highly effective by the award-winning sugar system. We here develop an alternative approach based on ASP that serves two purposes. First, it provides a library for solving CSPs as part of an encompassing logic program. Second, it furnishes an ASP-based CP solver similar to sugar. Both tasks are addressed by using first-order ASP encodings that provide us with a high degree of flexibility, either for integration within ASP or for easy experimentation with different implementations. When used as a CP solver, the resulting system aspartame re-uses parts of sugar for parsing and normalizing CSPs. the obtained set of facts is then combined with an ASP encoding that can be grounded and solved by off-the-shelf ASP systems. We establish the competitiveness of our approach by empirically contrasting aspartame and sugar. © Springer international Publishing Switzerland 2015.

关键词： Constraint satisfaction problems

来源：评论

学校读者我要写书评

暂无评论

Doctoral consortium extended abstract: Planning with concurrent transaction logic 13th

引用

13th international conference on logic programming and Nonmonotonic reasoning, LPNMR 2015

作者： Basseda, Reza Stony Brook University Stony BrookNY11794 United States

ISBN: (纸本)9783319232638

Automated planning has been the subject of intensive research and is at the core of several areas of AI, including intelligent agents and robotics. In this thesis proposal, we argue that Concurrent Transaction logic (CT R) is a natural specification language for planning algorithms, which enables one to see further afield and thus discover better and more general solutions than using one-of-a-kind formalisms. Specifically, we take the well-known STRIPS planning strategy and show that CT R lets one specify the STRIPS planning algorithm easily and concisely, and extend it in several respects. For instance, we show that extensions to allow indirect effects and to support action ramifications come almost for free. the original STRIPS planning strategy is also shown to be incomplete. Using concurrency operators in CT R, we propose a non-linear STRIPS planning algorithm, which is proven to be complete. Moreover, this thesis proposal outlines several extensions of STRIPS planning strategy. All of the extensions show that the use of CT R accrues significant benefits in the area of planning. © Springer international Publishing Switzerland 2015.

关键词： Specification languages

来源：评论

学校读者我要写书评

暂无评论

18th international conference on Foundations of Software Science and Computation Structures, FOSSACS 2015 Held as Part of the European Joint conferences on theory and Practice of Software, ETAPS 2015

18th International Conference on Foundations of Software Sci...

引用

18th international conference on Foundations of Software Science and Computation Structures, FoSSaCS 2015 Held as Part of the European Joint conferences on theory and Practice of Software, ETAPS 2015

ISBN: (纸本)9783662466773

the proceedings contain 38 papers. the special focus in this conference is on Semantics of programming Languages, Categorical Models, Temporal logics and Timed Systems. the topics include: Synthesis of strategies and the Hoare logic of angelic nondeterminism;game semantics and normalization by evaluation;a categorical semantics for linear logical frameworks;coalgebraic trace semantics via forgetful logics;on the total variation distance of semi-Markov chains;decidable and expressive classes of probabilistic automata;compositional metric reasoning with probabilistic process calculi;fragments of ml decidable by nested data class memory automata;step-indexed logical relations for probability;robust multidimensional mean-payoff games are undecidable;three variables suffice for real-time logic;on presburger arithmetic extended with modulo counting quantifiers;programming and reasoning with guarded recursion for coinductive types;the computational contents of ramified corecurrence and on the mints hierarchy in first-order intuitionistic logic.

关键词：

来源：评论

学校读者我要写书评

暂无评论

international standard ISO 9001 an artificial intelligence view 17

International standard ISO 9001 an artificial intelligence v...

引用

17th international conference on Enterprise Information Systems, ICEIS 2015

作者： Neves, José Fernandes, Ana Gomes, Guida Neves, Mariana Abelha, António Vicente, Henrique Algoritmi Universidade do Minho Braga Portugal Departamento de Química Escola de Ciências e Tecnologia Universidade de Évora Évora Portugal Deloitte Londres United Kingdom Departamento de Química Centro de Química de Évora Escola de Ciências e Tecnologia Universidade de Évora Évora Portugal

ISBN: (纸本)9789897580970

ISO 9001 is recognized as a Quality Management Systems standard, i.e., it is the primary phase of a process of constant enhancement that will provide an organisation with the necessary management tools to improve working practices. Indeed, it provides a framework and a set of principles aimed at ensuring a common sense approach to the management of an organization in order to consistently satisfy customers and other stakeholders. therefore, and in order to add value to ISO 9001, this work focuses on the development of a decision support system, which will allow companies to be able to meet the needs of customers by fulfilling requirements that reflect either the effectiveness or the non-effectiveness of an organization. the procedures for knowledge representation and reasoning used are based on an extension to the logic programming language, allowing the handling of incomplete, contradictory and even forbidden data, information and/or knowledge. the computational framework is centred on artificial Neural Networks to evaluate customer's satisfaction and the degree of confidence that one has on such a happening.

关键词： logic programming

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共156页 << < 45 46 47 48 49 50 51 52 53 54 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：