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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

馆藏范围

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

日期分布

学科分类号

921 篇 工学
- 869 篇 计算机科学与技术...
- 470 篇 软件工程
- 93 篇 控制科学与工程
- 66 篇 电气工程
- 43 篇 信息与通信工程
- 13 篇 机械工程
- 10 篇 土木工程
- 8 篇 建筑学
- 8 篇 石油与天然气工程
- 7 篇 交通运输工程
- 7 篇 生物工程
- 6 篇 生物医学工程（可授...
- 5 篇 力学（可授工学、理...
- 5 篇 仪器科学与技术
- 5 篇 电子科学与技术（可...
- 5 篇 农业工程
241 篇 理学
- 203 篇 数学
- 19 篇 系统科学
- 17 篇 物理学
- 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...
26 篇 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,235 篇 英文
8 篇 其他
8 篇 中文
1 篇 葡萄牙文

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

共 1251 条记录，以下是951-960 订阅

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

详细简洁

排序：

Resolution principle based on finite chain lattice-valued proposition logic FCLP(X)

Resolution principle based on finite chain lattice-valued pr...

引用

IEEE international conference on Fuzzy Systems (FUZZ-IEEE)

作者： D. Meng Xiaoping Qiu Intelligent Control Development Center Department of Applied Mathematics Southwest Jiaotong University Chengdu Sichuan China

In the present paper, resolution-based automated reasoning theory and algorithm in a finite chain lattice-valued proposition logic are focused. Concretely, the resolution principle, which is based on a finite chain lattice-valued propositional logic FCLP(X) is investigated. And soundness theorem and completeness theorem of this resolution principle are also proved. In order to realize resolution, the concrete algorithm of resolution is discussed. It is hoped that this research will make forward theoretical research of automated reasoning based on lattice-valued logic.

关键词： Fuzzy logic Multivalued logic Lattices logic functions Intelligent control Mathematics Telephony Concrete Computational intelligence logic programming

来源：评论

学校读者我要写书评

暂无评论

7th European conference on Principles and Practice of Knowledge Discovery in Databases, PKDD 2003

引用

7th European conference on Principles and Practice of Knowledge Discovery in Databases, PKDD 2003

ISBN: (纸本)3540200851

the proceedings contain 44 papers. the special focus in this conference is on Principles and Practice of Knowledge Discovery in Databases. the topics include: Sailing as a machine learning challenge;two-eyed algorithms and problems;power laws and self-similarity for graphs, streams and traditional data;propensity score methodology applied to estimate the effects of marketing interventions;efficient statistical pruning of association rules;majority classification by means of association rules;adaptive constraint pushing in frequent pattern mining;anticipated data reduction in constrained pattern mining;minimal k-free representations of frequent sets;discovering unbounded episodes in sequential data;a multi-relational naïve bayes classifier;improving prediction of the minority class in boosting;using belief networks and fisher kernels;a skeleton-based approach to learning bayesian networks from data;on decision boundaries of naïve bayes in continuous domains;application of inductive logic programming to structure-based drug design;visualizing class probability estimators;automated detection of epidemics from the usage logs of a physicians’ reference database;an indiscernibility-based clustering method with iterative refinement of equivalence relations;a novel approach on mining user preferences for personalized applications;explaining text clustering results using semantic structures;analyzing attribute dependencies;ranking interesting subspaces for clustering high dimensional data;efficiently finding arbitrarily scaled patterns;using transduction and multi-view learning to answer emails;exploring fringe settings of SVMs for classification;rule discovery and probabilistic modeling for onomastic data;constraint-based mining of sequential patterns over datasets with consecutive repetitions.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Synthetic analysis technique of oil-impregnated insulation

Synthetic analysis technique of oil-impregnated insulation

引用

international conference on Properties and Applications of Properties and Applications of Dielectric Materials

作者： M. Dong Z. Yan Y. Taniguchi School of Electrical Engineering Xi'an Jiaotong University Xi'an China Kawasaki Japan

Insulation analysis is a comprehensive issue that relates theory and knowledge in many fields, sometimes achieving an accurate conclusion is still a problem yet unsolved. In this paper, a comprehensive analysis scheme based on the fuzzy logic is presented to synthesize more information came from both off-line tests and on-line monitoring, at the same time data mining is also used to find latent knowledge out. To combine various methods in systematically way, the fuzzy reasoning is adopted in this framework to manage the inherent uncertainty in various methods and semantic experiences accumulated by experts. the case studies show that this scheme is efficient and flexible.

关键词： Oil insulation Power system reliability Maintenance Dielectrics and electrical insulation Insulation testing Fuzzy logic Petroleum Degradation Costs Information analysis

来源：评论

学校读者我要写书评

暂无评论

9th international conference on logic for programming, Artificial Intelligence, and reasoning, LPAR 2002

9th International Conference on Logic for Programming, Artif...

引用

9th international conference on logic for programming, Artificial Intelligence, and reasoning, LPAR 2002

ISBN: (纸本)3540000100

the proceedings contain 30 papers. the special focus in this conference is on logic for programming, Artificial Intelligence, and reasoning. the topics include: Improving on-demand strategy annotations;first-order logic as a constraint programming language;maintenance of formal software developments by stratified verification;a note on universal measures for weak implicit computational complexity;extending compositional message sequence graphs;searching for invariants using temporal resolution;proof planning for feature interactions;an extension of BDICTL with functional dependencies and components;directed automated theorem proving;a framework for splitting BDI agents;on the complexity of disjunction and explicit definability properties in some intermediate logics;using BDDs with combinations of theories;on expressive description logics with composition of roles in number restrictions;query optimization of disjunctive databases with constraints through binding propagation;a non-commutative extension of MELL;procedural semantics for fuzzy disjunctive programs;pushdown specifications;theorem proving with sequence variables and flexible arity symbols;parallelism and tree regular constraints;a semantics for proof plans with applications to interactive proof planning;an isomorphism between a fragment of sequent calculus and an extension of natural deduction;a local system for linear logic;investigating type-certifying compilation with isabelle;automating type soundness proofs via decision procedures and guided reductions and abox satisfiability reduced to terminological reasoning in expressive description logics.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Searching for invariants using temporal resolution 1

引用

9th international conference on logic for programming, Artificial Intelligence and reasoning

作者： Brotherston, J Degtyarev, A Fisher, M Lisitsa, A Univ Edinburgh Div Informat Edinburgh EH1 1HN Midlothian Scotland Univ Liverpool Dept Comp Sci Liverpool L69 7ZF Merseyside England

ISBN: (数字)9783540360780

ISBN: (纸本)3540000100

In this paper, we show how the clausal temporal resolution technique developed for temporal logic provides an effective method for searching for invariants. and so is suitable for mechanising a wide class of temporal problems. We demonstrate that this scheme of searching for invariants can be also applied to a class of multi-predicate induction problems represented by mutually recursive definitions. Completeness of the approach, examples of the application of the scheme, and overview of the implementation are described.

关键词： Artificial intelligence

来源：评论

学校读者我要写书评

暂无评论

An abductive approach for analysing event-based requirements specifications

引用

18th international conference on logic programming

作者： Russo, A Miller, R Nuseibeh, B Kramer, J Univ London Imperial Coll Sci Technol & Med London SW7 2BT England UCL London WC1E 6BT England Open Univ Milton Keynes MK7 6AA Bucks England

ISBN: (纸本)3540439307

We present a logic and logic programming based approach for analysing event-based requirements specifications given in terms of, a system's reaction to events and safety properties. the approach uses a variant of Kowalski and Sergot's Event Calculus to represent such specifications declaratively and an abductive reasoning mechanism for analysing safety properties. Given a system description and a safety property, the abductive mechanism is able to identify a complete set of counterexamples (if any exist) of the property in terms of symbolic ''current" states and associated event-based transitions. A case study of an automobile cruise control system specified in the SCR framework is used to illustrate our approach. the technique described is implemented. using existing tools for abductive logic programming.

关键词： logic programming

来源：评论

学校读者我要写书评

暂无评论

reasoning with infinite stable models II: Disjunctive programs

引用

18th international conference on logic programming

作者： Bonatti, PA Univ Milan Dip Tecnol Informaz I-26013 Crema Italy

ISBN: (纸本)3540439307

the class of finitary normal logic programs-identified recently, [1]-makes it possible to reason effectively with function symbols, recursion, and infinite stable models. these features may lead to a full integration of the standard logic programming paradigm with the answer set programming paradigm. For all finitary programs, ground goals axe decidable, while nonground goals are semidecidable. Moreover, the existing engines (that currently accept only much more restricted programs [11,7]) can be extended to handle finitary, programs by replacing their front-ends and keeping their core inference mechanism unchanged. In this paper, the theory of finitary normal programs is extended to disjunctive programs. More precisely, we introduce a suitable generalization of the notion of finitary program and extend all the results of [1] to this class. For this purpose, a consistency result by Fages is extended from normal programs to disjunctive programs. We also correct an error occurring in [1].

关键词： logic programming

来源：评论

学校读者我要写书评

暂无评论

6th international conference on Artificial Intelligence and Symbolic Computation, AISC 2002 held jointly with 10th symposium on the Integration of Symbolic Computation and Mechanized reasoning, Calculemus 2002

引用

Joint conferences on 6th Artificial Intelligence and Symbolic Computation, AISC 2002 and 10th Symposium on the Integration of Symbolic Computation and Mechanized reasoning, Calculemus 2002

ISBN: (纸本)3540438653

the proceedings contain 30 papers. the special focus in this conference is on Artificial Intelligence, automated reasoning, and Symbolic Computation. the topics include: Expressiveness and complexity of full first-order constraints in the algebra of trees;deduction versus computation;integration of quantifier elimination with constraint logic programming;towards a hybrid symbolic/numeric computational approach in controller design;inductive synthesis of functional programs;on a generalised logicality theorem;using symbolic computation in an automated sequent derivation system for multi-valued logic;multicontext logic for semigroups of contexts;indefinite integration as a testbed for developments in multi-agent systems;genetic symbolic classification integrated with non-linear coefficient optimisation;a novel face recognition method;non-commutative logic for hand-written character modeling;from numerical to symbolic data during the recognition of scenarii;on mathematical modeling of networks and implementation aspects;continuous first-order constraint satisfaction;reasoning and scheduling with interval constraints;a genetic-based approach for satisfiability problems;the meaning of infinity in calculus and computer algebra systems and making conjectures about maple functions.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Meta-programming with names and necessity 02

Meta-programming with names and necessity

引用

7th international conference on Functional programming

作者： Nanevski, A Carnegie Mellon Univ Sch Comp Sci Pittsburgh PA 15213 USA

ISBN: (纸本)9781581134872

Meta-programming languages provide infrastructure to generate and execute object programs at run-time. In a typed setting, they contain a modal type constructor which classifies object code. these code types generally come in two flavors: closed and open. Closed code expressions can be invoked at run-time, but the computations over them are more rigid, and typically produce less efficient residual object programs. Open code provides better inlining and partial evaluation of object programs, but once constructed, expressions of this type cannot in general be evaluated. Recent work in this area has focused on combining the two notions into a sound system. We present a novel way to achieve this. It is based on adding the notion of names from the work on Nominal logic and FreshML to the lambda(square)-calculus of proof terms for the necessity fragment of modal logic S4. the resulting language provides a more fine-grained control over free variables of object programs when compared to the existing languages for meta-programming. In addition, this approach lends itself well to addition of intensional code analysis, i.e. ability of meta programs to inspect and destruct object programs at run-time in a type-safe manner, which we also undertake.

关键词： languages modal lambda-calculus higher-order abstract syntax

来源：评论

学校读者我要写书评

暂无评论

Probabilistic finite domains: A brief overview 18th

引用

18th international conference on logic programming

作者： Angelopoulos, N Univ London Imperial Coll Sci Technol & Med Dept Comp London SW7 2BZ England

ISBN: (纸本)3540439307

We propose a new way of extending logic programming (LP) for reasoning with uncertainty. Probabilistic finite domains (Pfd) capitalise on ideas introduced by Constraint LP, on how to extend the reasoning capabilities of the LP engine. Unlike other approaches to the field, Pfd syntax can be intuitively related to the axioms defining Probability and to the underlying concepts of Probability theory, (PT) such as sample space, events, and probability function. Probabilistic variables are core computational units and have two parts. Firstly, a finite domain, which at each stage holds the collection of possible values that can be assigned to the variable, and secondly a probabilistic function that can be used to assign probabilities to the elements of the domain. the two constituents are kept in isolation from each other. there are two benefits in such an approach. Firstly, that propagation techniques from finite domains research are retained, since a domain̵7;s representation is not altered. thus, a probabilistic variable continues to behave as a finite domain variable. Secondly, that the probabilistic function captures the probabilistic behaviour of the variable in a manner which is, to a large extent, independent of the particular domain values. the notion of events as used in PT can be captured by LP predicates containing probabilistic variables and the derives operator (⊢) as defined in LP. Pfd stores hold conditional constraints which are a computationally useful restriction of conditional probability from PT. Conditional constraints are defined by D₁: π₁⊕...⊕D_n: π_n | Q₁ 743;...743; Q_m where, D_i and Q_j are predicates and each π_i is a probability measure (0 ≤ π_i ≤ 1, 1 ≤ i ≤ n, 1 ≤ j ≤ m). the conjuction of Q_j̵7;s qualifies probabilistic knowledge about D_i<

关键词： logic programming

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共126页 << < 92 93 94 95 96 97 98 99 100 101 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：