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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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 条记录，以下是1111-1120 订阅

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

详细简洁

排序：

BQM: A system integrating logic, objects, and non-monotonic reasoning

BQM: A system integrating logic, objects, and non-monotonic ...

引用

7th international conference on Tools with Artificial Intelligence (TAI 95)

作者： Leone, N Rullo, P UNICAL DEISCNRISII-87030 RENDEITALY

the BQM1 system extends deductive database technology with knowledge structuring capabilities to provide an advanced environment for the development of data and knowledge-based applications. the system relies on a kno... 详细信息

ISBN: (纸本)0818673125

the BQM¹ system extends deductive database technology with knowledge structuring capabilities to provide an advanced environment for the development of data and knowledge-based applications. the system relies on a knowledge representation language that combines the declarativeness of logic programming with the notions of object, inheritance with exceptions, and message passing. Exceptions are supported by allowing rules with negated heads. the use of exceptions inside the inheritance mechanism makes the language inherently nonmonotonic. the paper describes BQM focusing on both the language and the implementation techniques. An informal overview of the language is first given. then, a number of techniques for efficient query evaluation are presented. these techniques significantly extend 'traditional' deductive database query evaluation strategies to deal with nonmonotonic reasoning. A description of the architecture of the current prototype of the BQM system is also given.

关键词： Database systems

来源：评论

学校读者我要写书评

暂无评论

Modelling diagnosis systems with the logic programming 7th

引用

7th Portuguese conference on Artificial Intelligence, EPIA 1995

作者： de Almeida Móra, Iara Alferes, JosÉ Júlio CRIA Uninova and DM U. Évora Monte da Caparica2825 Portugal

ISBN: (纸本)9783540604280

the evolution of logic programming semantics has included the introduction of an explicit form of negation, beside the older implicit (or default) negation typical of logic programming. For the richer language, called extended logic programming, much theoretical work has been done. Mainly resulting from the theoretical work, the language has been shown adequate for a spate of knowledge representation and reasoning forms. However, the theoretical work has not been accompanied by the usage of the language for building real-life implementations. In this paper we report on the experience of using extended logic programming to model the diagnosis system. By using extended logic programming, we can rely on a well established language, with a clear declarative semantics, and for which implementations exist. Moreover, some issue of the diagnosis process are automatically dealt by the contradiction removal methods developed for extended logic programming. Due to the greater expressive power of extended logic programming, the process of implementing diagnosis of distributed systems has been quite simplified. the form of the resulting program is rather simple and has a very clear and declarative reading. thus, we deem that extended logic programming can be used in practice to solve some "real-life" problems. © Springer-Verlag Berlin Heidelberg 1995.

关键词： logic programming

来源：评论

学校读者我要写书评

暂无评论

Induction system that learns programs in different programming languages using genetic programming and logic grammars

Induction system that learns programs in different programmi...

引用

Proceedings of the 1995 IEEE 7th international conference on Tools with Artificial Intelligence

作者： Wong, Man Leung Leung, Kwong Sak Chinese Univ of Hong Kong

Genetic programming (GP) and Inductive logic programming (ILP) have received increasing interest recently. Since their formalisms are so different, these two approaches cannot be integrated easily though they share many common goals and functionalities. A unification will greatly enhance their problem solving power. Moreover, they are restricted in the computer languages in which programs can be induced. In this paper, we have presented a flexible system called LOGENPRO (the logic grammar based GENetic programming system) that combines GP and ILP. It is based on a formalism of logic grammars. the system can learn programs in various programming languages and represent context-sensitive information and domain-dependent knowledge. the performance of LOGENPRO in inducing logic programs from noisy examples is evaluated. A detailed comparison to FOIL has been conducted. this experiment demonstrates that LOGENPRO is a promising alternative to other inductive logic programming systems and sometimes is superior for handling noisy data. Moreover, a series of examples are used to illustrate that LOGENPRO is so flexible that programs in different programming languages including LISP, Prolog and Fuzzy Prolog. can be induced.

关键词： Learning systems

来源：评论

学校读者我要写书评

暂无评论

An integration of model checking with automated proof checking 7th

An integration of model checking with automated proof checki...

引用

7th conference on Computer Aided Verification (CAV 95)

作者： Rajan, S Shankar, N Srivas, MK Computer Science Laboratory SRI International Menlo Park 94025 CA United States

ISBN: (纸本)3540600450

Although automated proof checking tools for general-purpose logics have been successfully employed in the verification of digital systems, there are inherent limits to the efficient automation of expressive logics. If the expressiveness is constrained, there are useful logic fragments for which efficient decision procedures can be found. the model checking paradigm yields an important class of decision procedures for establishing temporal properties of finite-state systems. Model checking is remarkably effective for automatically verifying finite automata with relatively small state spaces, but is inadequate when the state spaces are either too large or unbounded. For this reason, it is useful to integrate the complementary technologies of model checking and proof checking. Such an integration has to be carried out in a delicate manner in order to be more than just the sum of the techniques. We describe an approach for such an integration where a BDD-based model checker for the propositional mu-calculus has been used as a decision procedure within the framework of the PVS proof checker. We argue that our approach fits in nicely with the design philosophy of PVS of providing highly effective mechanical reasoning capability by using efficient decision procedures as the workhorses of an interactive proof checker.

关键词： Model checking

来源：评论

学校读者我要写书评

暂无评论

7th international conference on Computer Aided Verification, CAV 1995

7th International Conference on Computer Aided Verification,...

引用

7th international conference on Computer Aided Verification, CAV 1995

ISBN: (纸本)9783540600459

the proceedings contain 34 papers. the special focus in this conference is on Computer Aided Verification. the topics include: Insights on arithmetic circuit verification;avoiding memory requirement maxima;generating BDD models for process algebra terms;hardware verification using monadic second-order logic;verifying safety properties of a class of infinite-state distributed algorithms;model checking for infinite state systems using data abstraction, assumption-commitment style reasoning and theorem proving;technique and tool for computer aided verification and transformation;an integration of model checking with automated proof checking;automatic datapath abstraction in hardware systems;toupie = µ-calculus + constraints;safety property verification of esterel programs and applications to telecommunications software;methods for µ-calculus model checking;efficient checking of behavioural relations and modal assertions using fixed-point inversion;it usually works: the temporal logic of stochastic systems;local liveness for compositional modeling of fair reactive systems;trace theoretic verification of asynchronous circuits using unfoldings;from duration calculus to linear hybrid automata;local model checking for real-time systems;algorithmic analysis of nonlinear hybrid systems;on polynomial-size programs winning finite-state games;the rabin index and chain automata, with applications to automata and games;an automata-theoretic approach to fair realizability and synthesis;supervisory control of finite state machines;compositional and inductive semantic definitions in fixpoint, equational, constraint, closure-condition, rule-based and game-theoretic form;utilizing symmetry when model checking under fairness assumptions;augmenting branching temporal logics with existential quantification over atomic propositions;modelling asynchrony with a synchronous model.

关键词：

来源：评论

学校读者我要写书评

暂无评论

7th international Symposium on programming Languages: Implementations, logics and Programs, PLILP 1995

7th International Symposium on Programming Languages: Implem...

引用

7th international Symposium on programming Languages: Implementations, logics and Programs, PLILP 1995

ISBN: (纸本)354060359X

the proceedings contain 34 papers. the special focus in this conference is on Functional programming and Narrowing. the topics include: A generic program for sequential decision processes;parsing visual languages with constraint multiset grammars;programming with constructor classes;towards a taxonomy of functional language implementations;a verified implementation of narrowing;a new calculus for semantic matching;a complete narrowing calculus for higher-order functional logic programming;exploiting parallelism in tabled evaluations;design and implementation of jump tables for fast indexing of logic programs;an abstract machine for Oz;uniform PERs and comportment analysis;uniqueness type inference;mode analysis of arrays and array comprehensions;better consumers for deforestation;efficient compile-time garbage collection for arbitrary data structures;efficient multi-level generating extensions;mechanically verifying the correctness of an offline partial evaluator;a semantic model of binding times for safe partial evaluation;lazy functional components for graphical user interfaces;lightweight GUIs for functional programming;lazy functional components for graphical user interfaces;lightweight GUIs for functional programming;a functional framework for deterministically interleaved interactive programs;a debugging model for lazy narrowing;evaluation of expressions in a multiparadigm framework;an expression-or-parallel implementation for a functional logic language;attributed models of executable specifications;approximating constraint logic programs using polymorphic types and regular descriptions;performance of a data-parallel concurrent constraint programming system and a portable implementation of memoing evaluation.

关键词：

来源：评论

学校读者我要写书评

暂无评论

BQM: a system integrating logic, objects, and non-monotonic reasoning

BQM: a system integrating logic, objects, and non-monotonic ...

引用

international conference on Tools for Artificial Intelligence (ICTAI)

作者： N. Leone P. Rullo ISI CNR-c/o DEIS-UNICAL Rende Italy DIMET Universita di Reggio Calabria Reggio Calabria Italy

the BQM system extends deductive database technology with knowledge structuring capabilities to provide an advanced environment for the development of data and knowledge-based applications. the system relies on a knowledge representation language that combines the declarativeness of logic programming with the notions of object, inheritance with exceptions and message passing. Exceptions are supported by allowing rules with negated heads. the use of exceptions inside the inheritance mechanism makes the language inherently nonmonotonic. the paper describes BQM focusing on both the language and the implementation techniques. An informal overview of the language is first given. then, a number of techniques for efficient query evaluation are presented. these techniques significantly extend "traditional" deductive database query evaluation strategies to deal with nonmonotonic reasoning. A description of the architecture of the current prototype of the BQM system is also given.

关键词： Deductive databases logic programming Query processing Knowledge representation Message passing Magnetic heads Prototypes Object oriented databases Data models Database systems

来源：评论

学校读者我要写书评

暂无评论

Deductive and object data languages: A quest for integration 4th

Deductive and object data languages: A quest for integration

引用

4th international conference on Deductive and Object-Oriented Databases, DOOD 1995

作者： Kifer, Michael Department of Computer Science University at Stony Brook Stony BrookNY11794 United States

ISBN: (纸本)9783540606086

According to rumors, the early hybrids of object-oriented and deductive languages were mutants that escaped from secret Government AI labs. Whether this is true or not, the fact is that by mid-80’s, database and logic programming communities began to take notice. the temptation was hard to resist: the object-oriented paradigm provides a better way of manipulating structured objects, while logic and deduction offer the power and flexibility of ad hoc querying and reasoning. thus, hybrid languages have the potential for becoming an ideal turf for cultivating the next generation of information systems. the approaches to integration of the two paradigms range from logic-based languages with unified declarative semantics, to message-passing prologs, to Prolog/C++ cocktails. In the past eight years, my colleagues and I have been developing a unified object-based logic intended to capture most of the essentials of the object-oriented paradigm. the overall plot here is that once the fundamentals are in place, the actual hybrid programming languages can be carved out of the logic the same way as deductive data languages have been carved out of the classical logic. there are two distinct aspects in object-orientation: structural (the statics) and procedural (the dynamics). the static aspect was somewhat easier to capture in logic and after taking a few wrong turns F-logic was developed [17]. Taming the dynamics was harder, because there was no widely accepted solution to the problem of state changes even for traditional deductive languages. Our recent work on Transaction logic [8, 7] appears to provide an adequate framework for specifying the dynamics in classical deductive languages. this paper first reviews some core aspects of F-logic and Transaction logic, and then shows how the two can be combined in a natural way to yield a unified foundation for future work on deductive object-oriented languages both in theory and practice. At the end, we discuss areas that still remai

关键词： logic programming

来源：评论

学校读者我要写书评

暂无评论

An induction system that learns programs in different programming languages using genetic programming and logic grammars

An induction system that learns programs in different progra...

引用

international conference on Tools for Artificial Intelligence (ICTAI)

作者： Man Leung Wong Kwong Sak Leung Department of System Engineering and Engineering Management Chinese University of Hong Kong Hong Kong China Department of Computer Science Chinese University of Hong Kong Hong Kong China

ISBN: (纸本)0818673125

Genetic programming (GP) and inductive logic programming (ILP) have received increasing interest. Since their formalisms are so different these two approaches cannot be integrated easily though they share many common goals and functionalities. A unification will greatly enhance their problem solving power. Moreover, they are restricted in the computer languages in which programs can be induced. We present a flexible system called LOGENPRO (the logic grammar based genetic programming system) that combines GP and ILP. It is based on a formalism of logic grammars. the system can learn programs in various programming languages and represent context-sensitive information and domain-dependent knowledge. the performance of LOGENPRO in inducing logic programs from noisy examples is evaluated. A detailed comparison with FOIL has been conducted. this experiment demonstrates that LOGENPRO is a promising alternative to other inductive logic programming systems and sometimes is superior for handling noisy data. Moreover, a series of examples are used to illustrate that LOGENPRO is so flexible that programs in different programming languages including LISP, Prolog and Fuzzy Prolog can be induced.

关键词： Computer languages Genetic programming logic programming Natural languages Genetic engineering Systems engineering and theory Research and development management Problem-solving Induction generators Automatic logic units

来源：评论

学校读者我要写书评

暂无评论

A formal semantics for mOPS5

A formal semantics for mOPS5

引用

international conference on Tools for Artificial Intelligence (ICTAI)

作者： H. Groiss Lnstitut für lnformatik Universitäat Klagenfurt Klagenfurt Austria

A formal declarative semantics of the rule-based language mOPS5 is defined. As the name of the language implies, it is a simplified version of OPS5. First we describe this language informally, the semantics of mOPS5 is then defined in terms of Datalog, a logic programming language, which has a well-defined minimal model semantics and fixpoint semantics. the availability of a clean semantics has several advantages: it allows program analysis and optimization as well as judging the correctness of implementations.

关键词： Databases Calculus logic programming Availability Intelligent systems Expert systems Knowledge representation

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共126页 << < 108 109 110 111 112 113 114 115 116 117 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：