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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

182 篇 会议
14 册 图书
11 篇 期刊文献

馆藏范围

206 篇 电子文献
1 种 纸本馆藏

日期分布

学科分类号

149 篇 工学
- 138 篇 计算机科学与技术...
- 63 篇 软件工程
- 35 篇 电气工程
- 13 篇 控制科学与工程
- 4 篇 信息与通信工程
- 4 篇 生物工程
- 3 篇 生物医学工程（可授...
- 2 篇 化学工程与技术
- 2 篇 交通运输工程
- 1 篇 材料科学与工程（可...
- 1 篇 建筑学
- 1 篇 安全科学与工程
27 篇 理学
- 21 篇 数学
- 5 篇 生物学
- 2 篇 物理学
- 2 篇 化学
- 2 篇 系统科学
- 2 篇 统计学（可授理学、...
8 篇 管理学
- 7 篇 管理科学与工程(可...
- 4 篇 工商管理
- 2 篇 图书情报与档案管...
2 篇 法学
- 2 篇 社会学
2 篇 教育学
- 2 篇 教育学
1 篇 文学
- 1 篇 外国语言文学
1 篇 医学
- 1 篇 基础医学(可授医学...
- 1 篇 临床医学
- 1 篇 药学(可授医学、理...

主题

49 篇 logic programmin...
13 篇 fuzzy logic
12 篇 mathematical log...
11 篇 programming
11 篇 artificial intel...
10 篇 formal logic
8 篇 programming lang...
7 篇 software enginee...
7 篇 logics and meani...
6 篇 programming tech...
6 篇 probabilistic lo...
5 篇 computer science
5 篇 logic gates
5 篇 semantics
4 篇 programming prof...
4 篇 constraint logic...
4 篇 application soft...
4 篇 kripke logical r...
4 篇 mathematical mod...
4 篇 algorithm analys...

机构

3 篇 univ kentucky de...
2 篇 industrial softw...
2 篇 max planck inst ...
2 篇 vienna univ tech...
2 篇 univ cyprus dept...
2 篇 institute of log...
2 篇 ben gurion univ ...
2 篇 imdea software i...
2 篇 international in...
2 篇 aarhus univ dk-8...
2 篇 wakayama univ de...
2 篇 michigan state u...
2 篇 kings coll londo...
1 篇 mpi informat d-6...
1 篇 transmeta corpor...
1 篇 inria
1 篇 ist austria klos...
1 篇 kielce univ tech...
1 篇 vig impex craiov...
1 篇 department of ma...

作者

4 篇 eiter thomas
3 篇 truszczynski mir...
3 篇 dimopoulos y
2 篇 egly uwe
2 篇 sarna-starosta b...
2 篇 stepanova daria
2 篇 woltran stefan
2 篇 dillon laura k.
2 篇 birkedal lars
2 篇 chlipala adam
2 篇 andrei voronkov
2 篇 dreyer derek
2 篇 turon aaron
2 篇 brewka gerhard
2 篇 kyaw myat thu
2 篇 myo thet naung
2 篇 brafman ri
2 篇 stirewalt r. e. ...
2 篇 krishnaswami nee...
1 篇 miller r

语言

202 篇 英文
4 篇 其他
1 篇 中文

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

共 207 条记录，以下是151-160 订阅

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

详细简洁

排序：

PROCEEDINGS OF thE EIGHTEENth HAWAII international conference ON SYSTEM SCIENCES 1985.

PROCEEDINGS OF THE EIGHTEENTH HAWAII INTERNATIONAL CONFERENC...

引用

Proceedings of the Eighteenth Hawaii international conference on System Sciences 1985. Volume 3: Medical Information Processing. Proceedings of the Hawaii international conference on System Science 18th, Distributed by Western Periodicals Co

Proceedings includes 207 papers, of which six are presented in the form of abstracts or extended abstracts only. Topics considered include: multiple processing, robotics, computer architecture, image processing, distributed processing, database systems, data communications, knowledge bases, intelligent decision support, interfaces, algorithms, programming languages, graphics, software engineering, memories, education, medical informatics, clinical laboratories, handicapped aids, nursing, hospitals, data processing, integrated circuits, logic design, character recognition, automata theory, information retrieval, biomedical engineering, pattern recognition, military applications, personnel training, airomics, peripheral equipment, microprocessors, mathematical techniques, and coding.

关键词： SYSTEMS SCIENCE AND CYBERNETICS

来源：评论

学校读者我要写书评

暂无评论

Managing deceitful arguments with X-logics

Managing deceitful arguments with X-logics

引用

18th IEEE international conference on Tools with Artificial Intelligence, ICTAI 2006

作者： Aubry, Geoffroy Risch, Vincent LSIS UMR CNRS 6168 Domaine Universitaire de Saint-Jérôme 13397 Marseilles cedex 20 France

ISBN: (纸本)0769527280

In most works on negotiation dialogues, agents are supposed to be ideally honest. However, there are many situations where such a behaviour cannot always be expected from the agents (e.g. advertising, political negotiation, etc.). the aim of this paper is to reconsider the role of deceitful arguments in argumentation frameworks. We propose a logical tool for representing and handling deceitful arguments in a dialogue between two formal agents having to face their respective knowledge and trying to convince each other. X-logics, a nonmonotonic extension of classical propositional logics, is used as the background formalism for representing the reasoning of the agents on arguments. Starting from a previous work dedicated to the generation of new arguments, we propose to define the notion of lie as a new kind of possible agent's answer. Finally we describe the way an agent may trick and how the other agent may detect it. © 2006 IEEE.

关键词： logic programming

来源：评论

学校读者我要写书评

暂无评论

logic-Based Benders Decomposition for an Inter-modal Transportation Problem 18th

Logic-Based Benders Decomposition for an Inter-modal Transpo...

引用

18th international conference on the Integration of Constraint programming, Artificial Intelligence, and Operations Research (CPAIOR)

作者： Avgerinos, Ioannis Mourtos, Ioannis Zois, Georgios Athens Univ Econ & Business Dept Management Sci & Technol ELTRUN Res Lab Athens 10434 Greece

ISBN: (纸本)9783030782306;9783030782290

this paper studies a real-life inter-modal freight transportation problem, comprised by three consecutive stages: disposition where orders are picked up by trucks, transferred and unloaded to a set of warehouses in Central and Eastern Europe, inter-region transport where the orders are packed into trailers, which are shipped to warehouses in Turkey using different inter-region transport modes, and last-mile delivery where the orders unloaded at the warehouses in Turkey are picked up by vans and delivered to their final destination. the objective is to minimise total transport and tardiness cost. After restricting the routes in the disposition stage, we formulate a mixed-integer linear program that captures the entire delivery process. then, we propose a Benders' decomposition and prove the validity of a set of optimality cuts and of a subproblem relaxation. We show the impact of this approach on large-scale real instances under user-imposed time limits. We further strengthening the master problem with a set of valid inequalities and speed up the solution of the subproblem using Constraint programming.

关键词： Inter-modal transportation Pickup and delivery planning Benders decomposition Integer programming Constraint programming

来源：评论

学校读者我要写书评

暂无评论

Principles and Practice of Constraint programming 1

引用

丛书名： Lecture Notes in Computer Science

1000年

作者： Michela Milano

ISBN: (数字)9783642335587

ISBN: (纸本)9783642335570

this book constitutes the thoroughly refereed post-conference proceedings of the 18th international conference on Principles and Practice of Constraint programming (CP 2012), held in Québec, Canada, in October 2012. the 68 revised full papers were carefully selected from 186 submissions. Beside the technical program, the conference featured two special tracks. the former was the traditional application track, which focused on industrial and academic uses of constraint technology and its comparison and integration with other optimization techniques (MIP, local search, SAT, etc.) the second track, featured for the first time in 2012, concentrated on multidisciplinary papers: cross-cutting methodology and challenging applications collecting papers that link CP technology with other techniques like machine learning, data mining, game theory, simulation, knowledge compilation, visualization, control theory, and robotics. In addition, the track focused on challenging application fields with a high social impact such as CP for life sciences, sustainability, energy efficiency, web, social sciences, finance, and verification.

关键词： Mathematical logic and Formal Languages Numeric Computing Algorithm Analysis and Problem Complexity logics and Meanings of Programs Discrete Mathematics in Computer Science programming Languages, Compilers, Interpreters

来源：评论

学校读者我要写书评

暂无评论

Aggregate functions in disjunctive logic programming: Semantics, complexity, and implementation in DLV

Aggregate functions in disjunctive logic programming: Semant...

引用

18th international Joint conference on Artificial Intelligence, IJCAI 2003

作者： Dell'Armi, Tina Faber, Wolfgang Ielpa, Giuseppe Leone, Nicola Pfeifer, Gerald Italy Inst. f. Informationssysteme 184/3 TU Wien A-1040Wien Austria

Disjunctive logic programming (DLP) is a very expressive formalism: it allows to express every property of finite structures that is decidable in the complexity class E∧ (NPNH). Despite the high expressiveness of DLP, there are some simple properties, often arising in real-world applications, which cannot be encoded in a simple and natural manner. Among these, properties requiring to apply some arithmetic operators (like sum, times, count) on a set of elements satisfying some conditions, cannot be naturally expressed in DLP. To overcome this deficiency, in this paper we extend DLP by aggregate functions. We formally define the semantics of the new language, named DLP-4. We show the usefulness of the new constructs on relevant knowledge-based problems. We analyze the computational complexity of DLP-4, showing that the addition of aggregates does not bring a higher cost in that respect. We provide an implementation of the DLP-4 language in DLV- the state-of-the-art DLP system - and report on experiments which confirm the usefulness of the proposed extension also for the efficiency of the computation.

关键词： Aggregates

来源：评论

学校读者我要写书评

暂无评论

18th international conference on Computational Methods in Systems Biology, CMSB 2020

18th International Conference on Computational Methods in Sy...

引用

18th international conference on Computational Methods in Systems Biology, CMSB 2020

ISBN: (纸本)9783030603267

the proceedings contain 22 papers. the special focus in this conference is on Computational Methods in Systems Biology. the topics include: Tutorial: the colomoto interactive notebook, accessible and reproducible computational analyses for qualitative biological networks;integrating experimental pharmacology and systems biology for gpcr drug discovery;control Strategy Identification via Trap Spaces in Boolean Networks;comparing Probabilistic and logic programming Approaches to Predict the Effects of Enzymes in a Neurodegenerative Disease Model;growth Dependent Computation of Chokepoints in Metabolic Networks;what is a Cell Cycle Checkpoint? the TotemBioNet Answer;stationary Distributions and Metastable Behaviour for Self-regulating Proteins with General Lifetime Distributions;core Models of Receptor Reactions to Evaluate Basic Pathway Designs Enabling Heterogeneous Commitments to Apoptosis;Parallel Parameter Synthesis for Multi-affine Hybrid Systems from Hybrid CTL Specifications;classifier Construction in Boolean Networks Using Algebraic Methods;qualitative Analysis of Mammalian Circadian Oscillations: Cycle Dynamics and Robustness;on the Complexity of Quadratization for Polynomial Differential Equations;interval Constraint Satisfaction and Optimization for Biological Homeostasis and Multistationarity;Accelerating Reactions at the DNA Can Slow Down Transient Gene Expression;eBCSgen: A Software Tool for Biochemical Space Language;fnyzer: A Python Package for the Analysis of Flexible Nets;modRev - Model Revision Tool for Boolean logical Models of Biological Regulatory Networks;synthesis and Simulation of Ensembles of Boolean Networks for Cell Fate Decision;graphical Conditions for Rate Independence in Chemical Reaction Networks;ABC(SMC)2: Simultaneous Inference and Model Checking of Chemical Reaction Networks;sequential Temporary and Permanent Control of Boolean Networks.

关键词：

来源：评论

学校读者我要写书评

暂无评论

An approach for comparison of IEC 61131-3 graphical programs

An approach for comparison of IEC 61131-3 graphical programs

引用

2013 IEEE 18th international conference on Emerging Technologies and Factory Automation, ETFA 2013

作者： Jetley, Raoul Rath, Anand Aparajithan, V. Kumar, D. Prasad, Vinu Ramaswamy, Srini Industrial Software Systems ABB Corporate Research Bangalore India International Institute of Information Technology Bangalore India

ISBN: (纸本)9781479908622

IEC 61131-3 is an open standard that provides guidelines for programmable logic controllers and control systems. the standard defines specifications for control system programming languages, both textual and graphical. A control system application developed using these languages can go through several changes over the course of the project's life-cycle. While differences in textual programs can be detected using traditional text difference algorithms, there exist no effective means for tracking changes at a granular, semantic level for graphical control system programs. In this paper, we present an approach for comparison of graphical IEC 61131-3 programs, specifically those written using the Function Block Diagram and Sequential Function Chart notations. To perform this comparison, we represent the programs in an XML format, and use this to compare individual elements. the differences are computed and the programs are then rendered in a customized graphical viewer that highlights changes between programs. We implement a prototype comparison utility for graphical IEC 61131-3 programs and show how it can help reduce the effort involved in manual review and maintenance activities. © 2013 IEEE.

关键词： Programmable logic controllers

来源：评论

学校读者我要写书评

暂无评论

Existential Abstraction on Argumentation Frameworks via Clustering 18

Existential Abstraction on Argumentation Frameworks via Clus...

引用

18th international conference on Principles of Knowledge Representation and Reasoning, KR 2021

作者： Saribatur, Zeynep G. Wallner, Johannes P. Institute of Logic and Computation TU Wien Austria Institute of Software Technology Graz University of Technology Austria

ISBN: (纸本)9781956792997

Argumentation in Artificial Intelligence (AI) builds on formal approaches to reasoning argumentatively. Common to many such approaches is to use argumentation frameworks (AFs) as reasoning engines, with AFs being composed of arguments and attacks between arguments, which are instantiated from knowledge bases in a principle-based manner. While representing what can be argued for in an AF provides a conceptually clean way, this process can face challenges arising from generating a large number of arguments, which can act as a barrier to explainability. Inspired by successful approaches to model checking where the state explosion is mitigated by applying existential abstraction, we study an adaption of existential abstraction in form of clustering arguments in an AF to address an associated"argument explosion". In this paper, we provide a foundational investigation of this form of existential abstraction by defining semantics of the resulting clustered AFs, which balance two inherent aspects of existential abstractions: abstracting from concrete AFs and not permitting too much spuriousness (i.e., conclusions that hold on the abstraction but not on the original AF). Moreover, we show properties of clustered AFs, including complexity results, discuss use of clusterings for explaining results of reasoning tasks, and employ the recently introduced methodology of abstraction in answer set programming (ASP) for obtaining and reasoning over clustered AFs. Copyright © 2021, Association for the Advancement of Artificial Intelligence (***). All rights reserved.

关键词： Abstracting

来源：评论

学校读者我要写书评

暂无评论

A DNA based molecular logic gate capable of a variety of logical operations

A DNA based molecular logic gate capable of a variety of log...

引用

18th international conference on DNA Computing and Molecular programming, DNA 18

作者： Kan, Anton Shohda, Koh-Ichiroh Suyama, Akira Department of Life Sciences Institute of Physics University of Tokyo 3-8-1 Komaba Meguro-ku Tokyo 153-8902 Japan

ISBN: (纸本)9783642322075

In this paper we report on a module in the RTRACS molecular computing system, constructed with DNA, RNA and enzymes. the module is a 2-input logic gate that receives input and produces output in the form of RNA molecules. Each of the two input molecules is chosen from a set of two, and the logic gate produces an output molecule for each of the four possible input combinations. Two output RNA molecules can be produced by this module, one for only one combination of inputs, whilst the remaining three combinations lead to the production of the other output. Since the RNA strands can be arbitrarily assigned logical values, this module is capable performing multiple logical operations, including AND, NAND, OR and NOR, given the appropriate mapping of RNA molecules to logical values. We performed numerical simulations of the logic gate reaction scheme, revealing the details of the kinetics of the production of output molecules and the theoretical input-output characteristics. We also experimentally demonstrated the proper functioning of the logic gate, showing the correct formation of intermediate steps, the real time production of output molecules as well as the input-output characteristics of the module. We believe this versatile logic gate has significant advantages as a basic module of RTRACS due to the wide variety of possible logical operations. © 2012 Springer-Verlag.

关键词： logic gates

来源：评论

学校读者我要写书评

暂无评论

Automatic Formal Verification of RISC-V Pipelined Microprocessors with Fault Tolerance by Spatial Redundancy at a High Level of Abstraction 18th

Automatic Formal Verification of RISC-V Pipelined Microproce...

引用

18th international conference on Integrated Formal Methods (IFM)

作者： Velev, Miroslav N. Aries Design Automat Chicago IL 60618 USA

ISBN: (纸本)9783031477041;9783031477058

Presented are abstraction techniques for efficient modeling of pipelined microprocessors of the RISC-V architecture, including designs with fault tolerance by spatial redundancy. this is done at a high-level of abstraction, allowing us to formally verify such processors extremely efficiently by using the property of Positive Equality. To the best of our knowledge, this is the first work on formal verification of RISC-V pipelined processors at a high level of abstraction, and the first work on formal verification of pipelined microprocessors with fault tolerance by spatial redundancy.

关键词： Abstraction Boolean Satisfiability (SAT) Correspondence Checking Fault Tolerance by Spatial Redundancy Formal Verification logic of Equality with Uninterpreted Functions and Memories Microprocessor Correctness RISC-V Positive Equality

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共21页 << < 12 13 14 15 16 17 18 19 20 21 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：