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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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,160 篇 会议
58 册 图书
37 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

922 篇 工学
- 870 篇 计算机科学与技术...
- 470 篇 软件工程
- 93 篇 控制科学与工程
- 66 篇 电气工程
- 43 篇 信息与通信工程
- 13 篇 机械工程
- 10 篇 土木工程
- 8 篇 建筑学
- 8 篇 石油与天然气工程
- 7 篇 交通运输工程
- 7 篇 生物工程
- 6 篇 生物医学工程（可授...
- 5 篇 力学（可授工学、理...
- 5 篇 仪器科学与技术
- 5 篇 电子科学与技术（可...
- 5 篇 农业工程
242 篇 理学
- 203 篇 数学
- 19 篇 系统科学
- 18 篇 物理学
- 15 篇 生物学
- 7 篇 统计学（可授理学、...
97 篇 管理学
- 62 篇 管理科学与工程(可...
- 41 篇 图书情报与档案管...
- 37 篇 工商管理
13 篇 教育学
- 12 篇 教育学
11 篇 医学
- 8 篇 基础医学(可授医学...
- 7 篇 临床医学
10 篇 法学
- 6 篇 社会学
7 篇 经济学
- 7 篇 应用经济学
7 篇 农学
- 6 篇 作物学
4 篇 文学
3 篇 哲学

主题

254 篇 logic programmin...
53 篇 artificial intel...
50 篇 fuzzy logic
42 篇 semantics
40 篇 formal logic
40 篇 mathematical log...
32 篇 computer circuit...
31 篇 logics and meani...
27 篇 software enginee...
23 篇 integer programm...
22 篇 temporal logic
21 篇 programming tech...
20 篇 programming lang...
19 篇 programming
19 篇 calculations
19 篇 knowledge repres...
17 篇 computer science
17 篇 logic
17 篇 answer set progr...
14 篇 software enginee...

机构

9 篇 univ bath dept c...
9 篇 vienna univ tech...
5 篇 univ london impe...
5 篇 rhein westfal th...
5 篇 univ london impe...
5 篇 univ texas dept ...
4 篇 tu wien austria
4 篇 simon fraser uni...
4 篇 department of co...
4 篇 guangxi key labo...
4 篇 univ liverpool d...
4 篇 univ potsdam ins...
4 篇 carnegie mellon ...
4 篇 univ glamorgan c...
4 篇 univ potsdam ins...
3 篇 univ potsdam ins...
3 篇 theoretical comp...
3 篇 saitama univ dep...
3 篇 microsoft resear...
3 篇 univ potsdam pot...

作者

12 篇 schaub torsten
12 篇 de vos marina
10 篇 brain martin
9 篇 ricca francesco
8 篇 gebser martin
8 篇 russo alessandra
7 篇 gore rajeev
6 篇 leone nicola
6 篇 andrei voronkov
6 篇 xu yang
6 篇 giesl juergen
5 篇 cliffe owen
5 篇 eiter thomas
5 篇 faber wolfgang
5 篇 cabalar pedro
5 篇 gupta gopal
5 篇 tompits hans
5 篇 schaub t
4 篇 mileo alessandra
4 篇 chang liang

语言

1,217 篇 英文
30 篇 其他
9 篇 中文
1 篇 葡萄牙文

检索条件"任意字段=7th International Conference on Logic for Programming and Automated Reasoning"

共 1255 条记录，以下是361-370 订阅

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

详细简洁

排序：

A BDI Agents programming Language Based Fuzzy Beliefs

A BDI Agents Programming Language Based Fuzzy Beliefs

引用

international conference on Intelligent Human-Machine Systems and Cybernetics, IHMSC

作者： Mei Chen Department of Chemical Engineering and Materials Science

ISBN: (纸本)9781479986477

the Belief-Desire-Intention (BDI) model is well suited for describing an agent's mental state. To model human reasoning with uncertainty and imprecision, fuzzy logic have been employed to represent beliefs for BDI agents in our previous work. In order that the BDI agents are more and more suitable for modelling our real world, a BDI agent programming language with fuzzied-belief based on a existing BDI agent programming language is developed in this paper. the new language is more flexible and human-like compared to non-fuzzy based BDI agent language in the real world applications. Particularly, it provides a more reasonable planning selection mechanism. the reasoning capability of the previous BDI language is improved due to the work in this paper.

关键词： Computer languages Libraries Semantics Cognition Bismuth programming Planning

来源：评论

学校读者我要写书评

暂无评论

7th international conference on Reversible Computation, RC 2015

引用

7th international conference on Reversible Computation, RC 2015

ISBN: (纸本)9783319208596

the proceedings contain 27 papers. the special focus in this conference is on Reversible Machines and Reversible Languages. the topics include: Moment semantics for reversible rule-based systems;a hierarchy of fast reversible turing machines;real-time methods in reversible computation;reversible ordered restarting automata;garbage collection for reversible functional languages;reverse code generation for parallel discrete event simulation;towards a domain-specific language for reversible assembly sequences;reversibility in extended measurement-based quantum computation;a fully fault-tolerant representation of quantum circuits;equational reasoning about quantum protocols;design and fabrication of a microprocessor using adiabatic CMOS and Bennett Clocking;improved algorithms for debugging problems on erroneous reversible circuits;a language for describing and rewriting reversible circuits with Ancillae and its permutation semantics;technology mapping for single target gate based circuits using boolean functional decomposition;towards line-aware realizations of expressions for HDL-based synthesis of reversible circuits;synthesis of quantum circuits for dedicated physical machine descriptions;power-clock generator impact on the performance of NEM-based quasi-adiabatic logic circuits;towards a cost metric for nearest neighbor constraints in reversible circuits;towards modelling of local reversibility and application of functional decomposition in synthesis of reversible circuits.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Analysis of XACML policies with ASP

Analysis of XACML policies with ASP

引用

New Technologies, Mobility and Security (NTMS)

作者： Dhouha Ayed Marie-Noëlle Lepareux Cyrille Martins Theresis Lab - Thales Services

Security policy administrators face difficulties to ensure that the policies they specify in XACML correspond to what they intend to formulate and to understand their overall effect. this paper proposes a logic-based XACML3.0 analysis solution using Answer Set programming (ASP) where Ansprolog is used to model the XACML decision process and an ASP solver is employed in an innovative way to perform logical reasoning on access control policies such as detecting conflicts in a multi-organizational context.

关键词： programming Algorithm design and analysis Cognition Authorization Medical services Semantics

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

13th international Symposium on automated Technology for Verification and Analysis, ATVA 2015

13th International Symposium on Automated Technology for Ver...

引用

13th international Symposium on automated Technology for Verification and Analysis, ATVA 2015

ISBN: (纸本)9783319249520

the proceedings contain 35 papers. the special focus in this conference is on automated Technology for Verification and Analysis. the topics include: Probabilistic programming;machines reasoning about machines;using SMT for solving fragments of parameterised boolean equation systems;unfolding-based process discovery;improving interpolants for linear arithmetic;a mechanically checked generation of correlating programs directed by structured syntactic differences;on automated lemma generation for separation logic with inductive definitions;severity levels of inconsistent code;learning the language of error;explicit model checking of very large MDP using partitioning and secondary storage;model checking failure-prone open systems using probabilistic automata;optimal continuous time markov decisions;spanning the spectrum from safety to liveness;a tool for verifying properties of hidden markov models;an automatic framework for proving parameterized cache coherence protocols;an approximate steady-state analyser of probabilistic boolean networks;digital evidence for android;boosting sequentialization-based verification of multi-threaded c programs via symbolic pruning of redundant schedules;a contextual equivalence checker for IMJ;trace diagnostics using temporal implicants;test case generation of actor systems;lattice-based semantics for combinatorial model evolution;effective verification of replicated data types using later appearance records;TSO-to-TSO linearizability is undecidable;formal verification of infinite-state BIP models;symbolic slicing for the verification of concurrent programs and on the complexity of model-checking branching and alternating-time temporal logics in one-counter systems.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Artificial neural networks in diagnosis of liver diseases 6th

Artificial neural networks in diagnosis of liver diseases

引用

6th international conference on Information Technology in Bio- and Medical Informatics, ITBAM 2015

作者： Neves, José Cunha, Adriana Almeida, Ana Carvalho, André Neves, João Abelha, António Machado, José Vicente, Henrique Centro Algoritmi Universidade Do Minho Braga Portugal Departamento de Informática Universidade Do Minho Braga Portugal Drs. Nicolas and Asp Dubai United Arab Emirates Departamento de Química Centro de Química de Évora Escola de Ciências e Tecnologia Universidade de Évora Évora Portugal

ISBN: (纸本)9783319227405

Liver diseases have severe patients’ consequences, being one of the main causes of premature death. these facts reveal the centrality of one`s daily habits, and how important it is the early diagnosis of these kind of illnesses, not only to the patients themselves, but also to the society in general. therefore, this work will focus on the development of a diagnosis support system to these kind of maladies, built under a formal framework based on logic programming, in terms of its knowledge representation and reasoning procedures, complemented with an approach to computing grounded on Artificial Neural Networks. © Springer international Publishing Switzerland 2015.

关键词： logic programming

来源：评论

学校读者我要写书评

暂无评论

7th international Joint conference on Biomedical Engineering Systems and Technologies, BIOSTEC 2014

7th International Joint Conference on Biomedical Engineering...

引用

7th international Joint conference on Biomedical Engineering Systems and Technologies, BIOSTEC 2014

ISBN: (纸本)9783319261287

the proceedings contain 25 papers. the special focus in this conference is on Biomedical Electronics and Devices. the topics include: A complex challenge turned into an important clinical tool;simple fabrication method of micro-fluidic devices with thick resist flow paths designed arbitrarily using versatile computer aided design tools;design of a wearable remote neonatal health monitoring device;novel wireless systems for telemedicine and body area networks applications;impact of threshold computation methods in hardware wavelet denoising implementations for neural signal processing;development of concurrent object-oriented logic programming platform for the intelligent monitoring of anomalous human activities;automatic extraction and selection of coherent regions in FDG-PET images;model based quantification of tissue structural properties using optical coherence tomography;formulation of homeostasis by realisability on linear temporal logic;interaction-based aggregation of mRNA and miRNA expression profiles to differentiate myelodysplastic syndrome;a computational pipeline to identify new potential regulatory motifs in melanoma progression;empirical study of domain adaptation algorithms on the task of splice site prediction;automatic extraction of highly predictive sequence features that incorporate contiguity and mutation;exploring expiratory flow dynamics to understand chronic obstructive pulmonary disease;velar movement assessment for speech interfaces;observer design for a nonlinear minimal model of glucose disappearance and insulin kinetics;comparison of angle measurements between integral-based and quaternion-based methods using inertial sensors for gait evaluation and using illumination changes to synchronize eye tracking in visual paradigms.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Dynamic JChoc: A Distributed Constraints reasoning Platform for Dynamically Changing Environments 7th

Dynamic <i>JChoc</i>: A Distributed Constraints Reasoning Pl...

引用

7th international conference on Agents and Artificial Intelligence (ICAART)

作者： Benelallam, Imade Erraji, Zakarya EL Khattabi, Ghizlane Bouyakhf, El Houssine Univ Mohammed 5 LIMIARF FSR Rabat Morocco INSEA Rabat Morocco

ISBN: (纸本)9783319279473;9783319279466

In Artificial Intelligence, a large number of problems (i.e. distributed resource management, distributed air traffic management, Distributed Sensor Network [1]) can be modeled and solved as Distributed Constraint Satisfaction Problems (DisCSPs). As many real world problems change continuously and incessantly over time, some methods have been developed (e.g. DynABT), for solving problems which exhibit this dynamic behavior. Meanwhile, there was no available framework that helped users to develope intelligent multi-agent systems based on Dynamic and Distributed Constraints reasoning (DCR) techniques. In this paper, we propose a new platform, called JChoc, supporting the dynamic aspect for DisCSPs. JChoc is an easy to use platform, based on an elegant Multi-agent communication sub-platform (e.i JADE). It deals with agents with local complex problems and allows a realistic use of agents on a real distributed and dynamic framework. A real distributed problem is addressed to illustrate how the platform can be used to solve dynamically changing problems. However, the experimental results show the defectiveness of our platform.

关键词： Dynamically changing environments Constraint programming(CP) Multi-agent systems Distributed problem solving Agent models and architectures Distributed constraints reasoning Realistic use Constraint satisfaction problem (CSP) Distributed CSP (DisCSP)

来源：评论

学校读者我要写书评

暂无评论

Incorporating logic in Artificial Bee Colony (ABC) algorithm to solve first order logic problems: the logical ABC

Incorporating logic in Artificial Bee Colony (ABC) algorithm...

引用

international conference on Knowledge and Smart Technology (KST)

作者： Divya Kumar Krishn Kumar Mishra Computer Science and Engineering Department MNNIT Allahabad Allahabad India

the fascination for generating reasons and drawing inferences has given a tremendous impetus to research in theoretical computer science. In spite of having well defined constructs and globally accepted notations for logic and First-order theorem provers, theorem proving is still a semi-decidable problem having exponential time complexity. On the other hand swarm intelligence is a swiftly growing research area for solving optimization problems. this paper presents a novel approach for automated theorem proving using meta-heuristics. In the present research we have tried to combine these two entirely different zones of computer science, i.e. meta-heuristics and concrete logic via modeling theorem provers as an optimization problem in a sound practical manner. Also we have experimentally shown how to automate first order reasoning using Artificial Bee Colony algorithm on a sample problem expressed in First-order predicate calculus.

关键词： Knowledge based systems Cognition Inference algorithms Optimization History Computer science Calculus

来源：评论

学校读者我要写书评

暂无评论

Ant-FOIL: Integrating Ant Colony System and FOIL

Ant-FOIL: Integrating Ant Colony System and FOIL

引用

international conference on Intelligent Human-Machine Systems and Cybernetics, IHMSC

作者： Chenyang Yan Ningbo City College Vocational Technology Ningbo China

ISBN: (纸本)9781479986477

A novel and simple combination of inductive logic programming with swarm intelligence is presented. the Ant-FOIL tightly integrates the well-known inductive logic programming rule-learner FOIL with Ant Colony System meta-heuristic. the hypotheses construction is guided by the ACS stochastic local decision policy depends on pheromone and heuristic information. Experiments in applying Ant-FOIL to well-known benchmarks shows that Ant-FOIL performs better than either its baseline algorithm (FOIL), and is at the same time competitive with more sophisticated approaches (kFOIL, nFOIL and Aleph).

关键词： Lattices Accuracy Prediction algorithms logic programming Benchmark testing Alzheimer's disease Cities and towns

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共126页 << < 33 34 35 36 37 38 39 40 41 42 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：