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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

馆藏范围

1,552 篇 电子文献
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...
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
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,541 篇 英文
8 篇 中文
4 篇 其他

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

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

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

详细简洁

排序：

Design of a Solver for Multi-Agent Epistemic Planning 35

Design of a Solver for Multi-Agent Epistemic Planning

引用

35th international conference on logic programming (ICLP)

作者： Fabiano, Francesco Univ Udine Dipartimento DMIF Udine Italy

As the interest in artificial intelligence continues to grow it is becoming more and more important to investigate formalization and tools that allow us to exploit logic to reason about the world. In particular, given the increasing number of multi-agents systems that could benefit from techniques of automated reasoning, exploring new ways to define not only the world's status but also the agents' information is constantly growing in importance. this type of reasoning, i.e., about agents' percep-tion of the world and also about agents' knowledge of her and others' knowledge, is referred to as epistemic *** our work we will try to formalize this concept, expressed through epistemic logic, for dy-namic domains. In particular we will attempt to define a new action-based language for multi-agent epistemic planning and to implement an epistemic planner based on it. this solver should provide a tool flexible enough to be able to reason on different domains, e.g., economy, security, justice and politics, where reasoning about others' beliefs could lead to winning strategies or help in changing a group of agents' view of the world.

关键词： Epistemic reasoning Planning Multi-agent Action languages Heuristics Information change Knowledge representation

来源：评论

学校读者我要写书评

暂无评论

An Online Tool for Unfolding Symbolic Fuzzy logic Programs 15th

An Online Tool for Unfolding Symbolic Fuzzy Logic Programs

引用

15th international Work-conference on artificial Neural Networks (IWANN)

作者： Moreno, Gines Antonio Riaza, Jose UCLM Dept Comp Syst Albacete 02071 Spain

ISBN: (纸本)9783030205188;9783030205171

In many declarative frameworks, unfolding is a very wellknown semantics-preserving transformation technique based on the application of computational steps on the bodies of program rules for improving efficiency. In this paper we describe an online tool which allows us to unfold a symbolic extension of amodern fuzzy logic language where program rules can embed concrete and/or symbolic fuzzy connectives and truth degrees on their bodies. the system offers a comfortable interaction with users for unfolding symbolic programs and it also provides useful options to navigate along the sequence of unfolded programs. Finally, the symbolic unfolding transformation is connected with some fuzzy tuning techniques that we previously implemented on the same tool.

关键词： Fuzzy logic programming Symbolic execution Unfolding

来源：评论

学校读者我要写书评

暂无评论

3rd international Joint conference on Rules and reasoning, RuleML+RR 2019

3rd International Joint Conference on Rules and Reasoning, R...

引用

3rd international Joint conference on Rules and reasoning, RuleML+RR 2019

ISBN: (纸本)9783030310943

the proceedings contain 15 papers. the special focus in this conference is on Rules and reasoning. the topics include: Complementing logical reasoning with sub-symbolic commonsense;Adding constraint tables to the DMN standard: Preliminary results;detecting "slippery slope" and other argumentative stances of opposition using tree kernels in monologic discourse;fuzzy logic programming for Tuning Neural Networks;querying key-value stores under single-key constraints: rewriting and parallelization;reasoning on DL-LiteR with defeasibility in ASP;ODRL policy modelling and compliance checking;Aligning, interoperating, and co-executing air traffic control rules across PSOA RuleML and IDP;An ASP-based solution for operating room scheduling with beds management;EASE: Enabling hardware assertion synthesis from english;formalizing object-ontological mapping using F-logic;Alternating fixpoint operator for hybrid MKNF knowledge bases as an approximator of AFT;Efficient TBox reasoning with value restrictions—introducing the FLower reasoner.

关键词：

来源：评论

学校读者我要写书评

暂无评论

ASP and ontologies for reasoning on business processes 18

ASP and ontologies for reasoning on business processes

引用

Discussion and Doctoral Consortium Papers of AI*IA - 18th international conference of the Italian Association for artificial intelligence, AI*IA-DDC 2019

作者： Giordano, Laura Dupré, Daniele theseider DISIT Università del Piemonte Orientale Alessandria Italy

In this paper we show that Answer Set programming (ASP) can accommodate for domain ontologies in modeling and reasoning about Business Processes, especially for process verification. In this work, knowledge on the process domain is expressed in a low-complexity description logic (DL), and terms from the ontology can be used in embedding business rules in the model as well as in expressing constraints that should be verified to achieve compliance by design. Causal rules for reasoning on side-effects of activities in the process domain can be derived, based on knowledge expressed in the DL. We show how ASP can accommodate them, relying on reasoning about actions and change, for process analysis, and, in particular, for verifying formulas in temporal logic. © 2019 CEUR-WS. All rights reserved.

关键词： Ontology

来源：评论

学校读者我要写书评

暂无评论

Synthesis the Structure of the Technological Cutting Process 15

Synthesis the Structure of the Technological Cutting Process

引用

15th IEEE international conference on the Experience of Designing and Application of CAD Systems (CADSM)

作者： Khavina, I. P. Lymarenko, V. V. Podorozhniak, A. O. Chemykh, O. P. Mezentsev, M., V Natl Tech Univ Kharkiv Polytech Inst Comp Engn & Programming Kharkiv Ukraine

ISBN: (纸本)9781728100531

One of the directions of technological processes (TP) improvement of processing by cutting operations is the development of applications for automating the synthesis of TP machining, and the synthesis is carried out in two stages: the first is the structural optimization of TP in the form of TP operations sequence;the second is the parametric optimization of TP, where the search for optimal modes of operations is carried out. A decision of support system for the structural optimization of the TP cutting metal processing that is used for the high-precision products of aviation equipment, which makes a rational choice of the set of TP components in the form of a set of part surfaces, work pieces, equipment, fixtures, tool, lubricating and cooling technological environments are used in the enterprise and possible operations is proposed in the paper. the solution is formed on the basis of the developed heuristic rules for the selection of TP components that take into account technical and technological data on TP components, the requirements of standards, regulatory and industry metalworking documents, accumulated knowledge in the field of the theory of mechanical machining and the experience of process experts. With this approach, the problem has a finite set of solutions, formed as a set of alternative TP. the final decision on the TP structure is formed after determining the optimal modes of operation - cutting speed and feed, according to the specified objective functions. To solve the problem which is formalized in the form of a decision tree, a method of sequential hierarchical synthesis and methods of artificial intelligence, namely, production rules implemented using the logic programming language, are applied. the testing made on the example of TP processing a specific product.

关键词： decision support system cutting metal processing structural optimization artificial intelligence

来源：评论

学校读者我要写书评

暂无评论

Simple Contrapositive Assumption-Based Frameworks 18

Simple Contrapositive Assumption-Based Frameworks

引用

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

作者： Heyninck, Jesse Arieli, Ofer Ruhr Univ Bochum Bochum Germany Acad Coll Tel Aviv Tel Aviv Israel

ISBN: (纸本)9781450363099

We study the Dung semantics for extended forms of assumption based argumentation frameworks (ABFs), based on any contrapositive propositional logic, and whose defeasible rules are expressed by arbitrary formulas in that logic. New results on the well-founded semantics for such ABFs are reported, the redundancy of the closure condition is shown, and the use of disjunctive attacks is investigated. Useful properties of the generalized frameworks are also considered.

关键词： ABA frameworks Dung semantics Defeasible reasoning

来源：评论

学校读者我要写书评

暂无评论

Infinets: the Parallel Syntax for Non-wellfounded Proof-theory 28th

Infinets: The Parallel Syntax for Non-wellfounded Proof-Theo...

引用

28th international conference on Automated reasoning with Analytic Tableaux and Related Methods (TABLEAUX)

作者： De, Abhishek Saurin, Alexis Univ Paris IRIF Paris France Univ Paris CNRS IRIF Paris France

ISBN: (纸本)9783030290269;9783030290252

logics based on the mu-calculus are used to model inductive and coinductive reasoning and to verify reactive systems. A well-structured proof-theory is needed in order to apply such logics to the study of programming languages with (co)inductive data types and automated (co)inductive theorem proving. the traditional proof system suffers some defects, non-wellfounded (or infinitary) and circular proofs have been recognized as a valuable alternative, and significant progress have been made in this direction in recent years. Such proofs are nonwellfounded sequent derivations together with a global validity condition expressed in terms of progressing threads. the present paper investigates a discrepancy found in such proof systems, between the sequential nature of sequent proofs and the parallel structure of threads: various proof attempts may have the exact threading structure while differing in the order of inference rules applications. the paper introduces infinets, that are proof-nets for non-wellfounded proofs in the setting of multiplicative linear logic with least and greatest fixed-points (mu MLL infinity) and study their correctness and sequentialization.

关键词： Circular proofs Non-wellfounded proofs Fixed points mu-calculus Linear logic Proof-nets Induction and coinduction

来源：评论

学校读者我要写书评

暂无评论

15th IFIP WG 12.5 international conference on artificial intelligence Applications and Innovations, AIAI 2019

15th IFIP WG 12.5 International Conference on Artificial Int...

引用

15th IFIP WG 12.5 international conference on artificial intelligence Applications and Innovations, AIAI 2019

ISBN: (纸本)9783030198220

the proceedings contain 77 papers. the special focus in this conference is on artificial intelligence Applications and Innovations. the topics include: FISUL: A Framework for Detecting Adverse Drug Events from Heterogeneous Medical Sources Using Feature Importance;a New Topology-Preserving Distance Metric with Applications to Multi-dimensional Data Clustering;classification of Incomplete Data Using Autoencoder and Evidential reasoning;dynamic Reliable Voting in Ensemble Learning;extracting Action Sensitive Features to Facilitate Weakly-Supervised Action Localization;image Recognition Based on Combined Filters with Pseudoinverse Learning Algorithm;design-Parameters Optimization of a Deep-Groove Ball Bearing for Different Boundary Dimensions, Employing Amended Differential Evolution Algorithm;exploring Brain Effective Connectivity in Visual Perception Using a Hierarchical Correlation Network;solving the Talent Scheduling Problem by Parallel Constraint programming;cyber-Typhon: An Online Multi-task Anomaly Detection Framework;a Deep Reinforcement Learning Approach for Automated Cryptocurrency Trading;Capacity Requirements Planning for Production Companies Using Deep Reinforcement Learning: Use Case for Deep Planning Methodology (DPM);comparison of Neural Network Optimizers for Relative Ranking Retention Between Neural Architectures;Detecting Violent Robberies in CCTV Videos Using Deep Learning;diversity Regularized Adversarial Deep Learning;interpretability of a Deep Learning Model for Rodents Brain Semantic Segmentation;learning and Detecting Stuttering Disorders;Localization of Epileptic Foci by Using Convolutional Neural Network Based on iEEG;review Spam Detection Using Word Embeddings and Deep Neural Networks;Tools for Semi-automatic Preparation of Training Data for OCR;investigating the Benefits of Exploiting Incremental Learners Under Active Learning Scheme;Training Strategies for OCR Systems for Historical Documents;optimizing Self-organizing Lists-on-Lists Usin

关键词：

来源：评论

学校读者我要写书评

暂无评论

Engineering micro-intelligence at the edge of CPCS: Design guidelines 12th

Engineering micro-intelligence at the edge of CPCS: Design g...

引用

12th international conference on Internet and Distributed Computing Systems, IDCS 2019

作者： Calegari, Roberta Ciatto, Giovanni Denti, Enrico Omicini, Andrea Alma Mater Studiorum–Università di Bologna Bologna 40136 Italy Alma Mater Studiorum–Università di Bologna Cesena 47521 Italy

ISBN: (纸本)9783030349134

the Intelligent Edge computing paradigm is playing a major role in the design and development of Cyber-Physical and Cloud Systems (CPCS), extending the Cloud and overcoming its limitations so as to better address the issues related with the physical dimension of data—and therefore of the data-aware intelligence (such as context-awareness and real-time responses). Despite the proliferation of research works in this area, a well-founded software engineering approach specifically addressing the distribution of intelligence sources between the Edge and the Cloud is still missing. In this paper we propose some general criteria along with a coherent set of guidelines to follow in the design of distributed intelligence within CPCS, suitably exploiting Edge and Cloud paradigms to effectively enable data intelligence and accounting for both symbolic and sub-symbolic approaches to reasoning. then, we exploit the notion of micro-intelligence as situated intelligence for Edge computing, promoting the idea of intelligent environment embodying rational processes meant to complement the cognitive process of individuals in order to reduce their cognitive workload and augment their cognitive capabilities. In order to demonstrate the general applicability of our guidelines, we propose Situated logic programming (SLP) as the conceptual framework for delivering micro-intelligence in CPCS, and logic programming as a Service (LPaaS) as its reference architecture and technological embodiment. © Springer Nature Switzerland AG 2019.

关键词： Design

来源：评论

学校读者我要写书评

暂无评论

Entropy and Organizational Performance 14th

Entropy and Organizational Performance

引用

14th international conference on Hybrid artificial intelligence Systems (HAIS)

作者： Neves, Jose Maia, Nuno Marreiros, Goreti Neves, Mariana Fernandes, Ana Ribeiro, Jorge Araujo, Isabel Araujo, Nuno Avidos, Liliana Ferraz, Filipa Capita, Antonio Lori, Nicolas Alves, Victor Vicente, Henrique Univ Minho Ctr Algoritmi Braga Portugal Inst Super Engn Porto Dept Engn Informat Porto Portugal Deloitte London England Univ Evora Dept Quim Evora Portugal Inst Politecn Viana do Castelo Escola Super Tecnol & Gestao Viana Do Castelo Portugal Inst Univ Ciencias Saude CESPU Gandra Portugal Inst Super Tecn Mil Luanda Angola Univ Minho ICVS Escola Med Braga Portugal

ISBN: (纸本)9783030298593;9783030298586

the main purpose of this article is to analyze the impact of the workers' behavior in terms of their emotions and feelings in system's performance, i.e., one is looking at issues concerned with Organizational Sustainability. Indeed, one's aim is to define a process that motivates and inspires managers and personnel to act upon the limit, i.e., to achieve the organizational goals through an effective and efficient implementation of operational and behavioral strategies. the focus will be on the importance of specific psychosocial variables that may affect collective pro-organizational attitudes. Data that is increasing exponentially, and somehow being out of control, i.e., the question is to know the correct value of the information that may be behind these numbers.

关键词： Entropy Organizational Sustainability logic programming Knowledge Representation and reasoning

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：