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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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 篇 会议
69 册 图书
55 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

1,260 篇 工学
- 1,245 篇 计算机科学与技术...
- 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 篇 农学

主题

387 篇 logic programmin...
141 篇 artificial intel...
63 篇 semantics
52 篇 answer set progr...
48 篇 mathematical log...
43 篇 computer circuit...
42 篇 formal logic
40 篇 knowledge repres...
34 篇 logics and meani...
28 篇 programming tech...
25 篇 knowledge repres...
25 篇 calculations
21 篇 programming lang...
18 篇 software enginee...
16 篇 fuzzy logic
15 篇 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 篇 中文
4 篇 其他

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

共 1552 条记录，以下是291-300 订阅

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

详细简洁

排序：

ATPboost: Learning Premise Selection in Binary Setting with ATP Feedback 9th

ATPboost: Learning Premise Selection in Binary Setting with ...

引用

9th international Joint conference on Automated reasoning (IJCAR) Held as Part of the Federated logic conference (FloC)

作者： Piotrowski, Bartosz Urban, Josef Czech Inst Informat Robot & Cybernet Prague Czech Republic Univ Warsaw Fac Math Informat & Mech Warsaw Poland

ISBN: (纸本)9783319942056;9783319942049

ATPboost is a system for solving sets of large-theory problems by interleaving ATP runs with state-of-the-art machine learning of premise selection from the proofs. Unlike many approaches that use multi-label setting, the learning is implemented as binary classification that estimates the pairwise-relevance of (theorem, premise) pairs. ATPboost uses for this the fast state-of-the-art XGBoost gradient boosting algorithm. Learning in the binary setting however requires negative examples, which is nontrivial due to many alternative proofs. We discuss and implement several solutions in the context of the ATP/ML feedback loop, and show significant improvement over the multi-label approach.

关键词： artificial intelligence

来源：评论

学校读者我要写书评

暂无评论

Interactive online tool as an instrument for learning mathematics through programming techniques, aimed at high school students 2018

Interactive online tool as an instrument for learning mathem...

引用

6th international conference on Information Technology - IoT and Smart City (ICIT)

作者： Auccahuasi, Wilver Bernardo Santiago, Grisi Ore Nunez, Elizabeth Sernaque, Fernando Univ Continental Huancayo Peru Inst Peruano Invest Ingn Avanzada Lima Peru

ISBN: (纸本)9781450366298

the High school is the pillar in the development of skills and competences of the basic sciences, allowing to develop in the student abilities that will allow him to choose a profession, the mathematics course is the one indicated in allowing the development of logical, analytical, interpretation and of calculation, allowing to develop with greater comfort in higher education. University careers and techniques related to engineering areas, have a strong component in mathematics and the development of certain courses related to the use of computer tools with greater emphasis on programming courses, it is the programming courses that allow the continuity of the student, in this research work, we present an interactive tool through which the student of secondary education is presented, topics related to mathematics and the way how they can be solved through the use of programming techniques, jointly developing mathematical, logical and programming skills, allowing the student to improve their cognitive skills and their ability to use the different computational tools, the pilot test was conducted on the basis of 15 students in the second grade of secondary education of a school in Lima, where he was given the basic course of programming using the interactive tool, developing development guides with problems of mathematical reasoning, which allowed us to analyze the improvement in the way of approaching mathematical problems from a logic of programming as well as the way of learning a programming language, in our case the language used was Python with an interactive tool based on artificial intelligence, which allows the student to ask about the use of the language syntax.

关键词： Python Natural language processing Smart agents Chatbot

来源：评论

学校读者我要写书评

暂无评论

12th international Workshop on Rewriting logic and its Applications, WRLA 2018

12th International Workshop on Rewriting Logic and its Appli...

引用

12th international Workshop on Rewriting logic and its Applications, WRLA 2018

ISBN: (纸本)9783319998398

the proceedings contain 14 papers. the special focus in this conference is on Rewriting logic and its Applications. the topics include: Proving ground confluence of equational specifications modulo axioms;uniform strong normalization for multi-discipline calculi;real-time rewriting logic semantics for spatial concurrent constraint programming;Approximating any logic program by a CS-program;multi-paradigm programming in maude;MUnit: A unit framework for maude;parameterized programming for compositional system specification;Symbolic specification and verification of data-aware BPMN processes using rewriting modulo SMT;associative unification and symbolic reasoning modulo associativity in maude;proving structural properties of sequent systems in rewriting logic;formal modeling and analysis of the walter transactional data store;extending timbuk to verify functional programs.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Hypersequential Argumentation Frameworks: An Instantiation in the Modal logic S5 17

Hypersequential Argumentation Frameworks: An Instantiation i...

引用

17th international conference on Autonomous Agents and MultiAgent Systems (AAMAS)

作者： Borg, AnneMarie Arieli, Ofer Ruhr Univ Bochum Inst Philosophy 2 Bochum Germany Acad Coll Tel Aviv Sch Comp Sci Tel Aviv Israel

ISBN: (纸本)9781450356497

In this paper we introduce hypersequent-based frameworks for the modeling of defeasible reasoning by means of logic-based argumentation. these frameworks are an extension of sequent-based argumentation frameworks, in which arguments are represented not only by sequents, but by more general expressions, called hypersequents. this generalization allows to incorporate, as the deductive base of our formalism, some well-studied logics like the modal logic S5, the relevant logic RM, and Godel-Dummett logic LC, to which no cut-free sequent calculi are known. In this paper we take S5 as the core logic and show that the hypersequent-based argumentation frameworks that are obtained in this case yield a robust defeasible variant of S5 with several desirable properties.

关键词： Structured argumentation Dung-style semantics Nonmonotonic logic Modal logic Sequent calculi Hypersequent calculi

来源：评论

学校读者我要写书评

暂无评论

Evolutionary Computation on Road Safety 13th

Evolutionary Computation on Road Safety

引用

13th international conference on Hybrid artificial Intelligent Systems (HAIS)

作者： Fernandes, Bruno Vicente, Henrique Ribeiro, Jorge Analide, Cesar Neves, Jose Univ Minho Ctr ALGORITMI Braga Portugal Univ Evora Evora Chem Ctr Dept Chem Evora Portugal Polytech Inst Viana Do Castelo ARC4DigiT Appl Res Ctr Digital Transformat Sch Technol & Management Viana Do Castelo Portugal

ISBN: (纸本)9783319926391;9783319926384

this study examines the psychological research that focuses on road safety in Smart Cities as proposed by the Vulnerable Road Users (VRUs) sphere. It takes into account qualities such as VRUs' personal information, their habits, environmental measurements and things data. With the goal of seeing VRUs as active and proactive actors with differentiated feelings and behaviours, we are committed to integrating the social factors that characterize each VRU into our social machinery. As a result, we will focus on the development of a VRU Social Machine to assess VRUs' behaviour in order to improve road safety. the formal background will be to use logic programming to define its architecture based on a Deep Learning approach to Knowledge Representation and reasoning, complemented with an Evolutionary approach to Computing.

关键词： artificial intelligence Smart Cities Vulnerable Road Users Internet of People Knowledge Representation and reasoning Evolutionary Computation

来源：评论

学校读者我要写书评

暂无评论

Diagnosis of Alzheimer Disease through an artificial Neural Network Based System

Diagnosis of Alzheimer Disease Through an Artificial Neural ...

引用

8th international conference on Applied Human Factors and Ergonomics (AHEF) / international conferences on Human Factors and Simulation and Digital Human Modeling and Applied Optimization

作者： Ramalhosa, Ivo Mateus, Pedro Alves, Victor Vicente, Henrique Ferraz, Filipa Neves, Joao Neves, Jose Univ Minho Ctr Algoritmi Braga Portugal Univ Evora Escola Ciencias & Tecnol Dept Quim Evora Portugal Arabian Ranches Mediclin POB 282602 Dubai U Arab Emirates

ISBN: (纸本)9783319605913;9783319605906

Alzheimer's Disease (AD) is referred to as one of the most common causes of dementia, which in itself justifies the interest and investment that is made in order to find new biomarkers to identify the disease in its early stages. Indeed, focusing on the hippocampus as a marker for AD, it would be object of analyse different methods of volume measurement and hippocampus segmentation. On the other hand, the computational framework is built on top of a logic programming approach to Knowledge Representation and reasoning, complemented with a computational framework base on artificial Neural Networks that grip on incomplete, unknown, and even self-contradictory information or knowledge.

关键词： Alzheimer disease Biomarker Hippocampus logic programming Medical imaging Intelligent systems

来源：评论

学校读者我要写书评

暂无评论

4th international Workshop on theory and Applications of Formal Argumentation, TAFA 2017

引用

4th international Workshop on theory and Applications of Formal Argumentation, TAFA 2017

ISBN: (纸本)9783319755526

the proceedings contain 15 papers. the special focus in this conference is on theory and Applications of Formal Argumentation. the topics include: Eqargsolver – system description;team persuasion;towards a general framework for dialogues that accommodate reasoning about preferences;enumerating preferred extensions: A case study of human reasoning;a dynamic model of trust in dialogues;Hypersequent-based argumentation: An instantiation in the relevance logic RM;on the interaction between logic and preference in structured argumentation;ASPIC-END: Structured argumentation with explanations and natural deduction;on the links between argumentation-based reasoning and nonmonotonic reasoning;extended explanatory argumentation frameworks;probabilities on extensions in abstract argumentation;a forward propagation algorithm for the computation of the semantics of argumentation frameworks;the formal argumentation libraries of tweety.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Deep learning for probabilistic logic programming 17

Deep learning for probabilistic logic programming

引用

Doctoral Consortium (DC) of the 17th international conference of the Italian Association for artificial intelligence, AI*IA 2018 DC

作者： Fadja, Arnaud Nguembang Riguzzi, Fabrizio Lamma, Evelina Dipartimento di Ingegneria University of Ferrara Italy Dipartimento di Matematica e Informatica University of Ferrara Via Saragat 1 FerraraI-44122 Italy

Due to its expressiveness and intuitiveness, Probabilistic logic programming (PLP) is a useful tool for reasoning in relational domains with uncertainty. However, both inference and learning are expensive tasks. In this paper we present various approaches for speeding up learning. We first consider a restriction of PLP called Liftable PLP (LPLP) in which clauses in the program share the same predicate (the target). then we extend this restriction in Hierarchical PLP (HPLP) where predicates and clauses are hierarchically organized and can be translated into Deep Neural Networks or Arithmetic Circuits. For LPLP, we propose two parameter learning algorithms, Expectation Maximization (EM) and Limited memory BFGS (LBFGS), and a discriminative structure learning. We also propose and implement an algorithm, called Parameter learning for HIerarchical probabilistic logic program (PHIL)3 that learns the parameter of HPLP using EM and gradient method. © 2018 CEUR-WS. All Rights Reserved.

关键词： Gradient methods

来源：评论

学校读者我要写书评

暂无评论

On Finite-Valued Bimodal logics with an Application to reasoning About Preferences 4th

引用

10th conference of the European-Society-for-Fuzzy-logic-and-Technology (EUSFLAT) / 16th international Workshop on Intuitionistic Fuzzy Sets and Generalized Nets (IWIFSGN)

作者： Vidal, Amanda Esteva, Francesc Godo, Lluis CAS ICS Vodarenskou Vezi 2 Prague 18207 Czech Republic CSIC Artificial Intelligence Res Inst IIIA Campus UAB S-N Bellaterra 08193 Spain

ISBN: (纸本)9783319668277;9783319668260

In a previous paper by Bou et al., the minimal modal logic over a finite residuated lattice with a necessity operator was characterized under different semantics. In the general context of a residuated lattice, the residual negation notsign is not necessarily involutive, and hence a corresponding possibility operator cannot be introduced by duality. In the first part of this paper we address the problem of extending such a minimal modal logic with a suitable possibility operator . In the second part of the paper, we introduce suitable axiomatic extensions of the resulting bimodal logic and define a logic to reason about fuzzy preferences, generalising to the many-valued case a basic preference modal logic considered by van Benthem et al.

关键词： Many-valued modal logic Necessity and possibility modal operators Finite residuated lattice reasoning about graded preferences

来源：评论

学校读者我要写书评

暂无评论

Combination of case-based reasoning and data mining through integration with the domain ontology 3rd

Combination of case-based reasoning and data mining through ...

引用

3rd international conference on Data Mining and Big Data, DMBD 2018 held in conjunction with the 9th international conference on Swarm intelligence, ICSI 2018

作者： Avdeenko, Tatiana Makarova, Ekaterina Begenova, Samal Novosibirsk State Technical University Novosibirsk Russia

ISBN: (纸本)9783319938028

In present paper we consider a combination of CBR with the Domain Ontology and Data Mining. the proposed approach to integration CBR with the Ontology, as a result, gives a numerical matrix that characterize the semantic relationship of cases with the domain concepts. then it is possible to apply methods of cluster analysis, classification and regression to this data matrix in order to organize semantic space of cases and thus increase the relevance of their retrieval. We explore possibilities of fuzzy logic approaches for building fuzzy rules and classification trees. © Springer international Publishing AG, part of Springer Nature 2018.

关键词： Data mining

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共156页 << < 26 27 28 29 30 31 32 33 34 35 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：