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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

7 篇 会议

馆藏范围

7 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

5 篇 工学
- 5 篇 计算机科学与技术...
- 5 篇 软件工程
1 篇 理学
- 1 篇 生物学
1 篇 管理学
- 1 篇 图书情报与档案管...

主题

2 篇 semantics
1 篇 intelligent data...
1 篇 software design
1 篇 functional progr...

机构

1 篇 departamento de ...
1 篇 institut für inf...
1 篇 dep. sistemas in...
1 篇 i-56124
1 篇 departamento de ...
1 篇 computer science...

作者

1 篇 porto antónio
1 篇 loyer yann
1 篇 lópez-fraguas fr...
1 篇 sánchez-hernánde...
1 篇 caballero rafael
1 篇 antoy sergio
1 篇 hanus michael
1 篇 lópez-fraguas fr...
1 篇 straccia umberto

语言

7 篇 英文

检索条件"任意字段=6th Fuji International Symposium on Functional and Logic Programming, FLOPS 2002"

共 7 条记录，以下是1-10 订阅

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

详细简洁

排序：

6th international symposium on functional and logic programming, flops 2002

6th International Symposium on Functional and Logic Programm...

引用

6th fuji international symposium on functional and logic programming, flops 2002

ISBN: (纸本)3540442332

the proceedings contain 18 papers. the special focus in this conference is on Constraints, Program Transformation and Analysis. the topics include: the essence of XML;to the gates of HAL;functional logic design patterns;on consistency and width notions for constraint programs with algebraic constraints;solving mixed quantified constraints over a domain based on real numbers and herbrand terms;on the correctness of the factoring transformation;lambda-lifting in quadratic time;the well-founded semantics in normal logic programs with uncertainty;monadic and CPS transformations into the linear lambda calculus;coinductive interpreters for process calculi;descendants and head normalization of higher-order rewrite systems;narrowing failure in functional logic programming;system description and performance evaluation;dynamic-cut with definitional trees;the head condition and polymorphic recursion;structural abstraction and application in logic programming and a functional calculus for scientific discovery.

关键词：

来源：评论

学校读者我要写书评

暂无评论

functional logic design patterns 6th

Functional logic design patterns

引用

6th fuji international symposium on functional and logic programming, flops 2002

作者： Antoy, Sergio Hanus, Michael Computer Science Department Portland State University P.O. Box 751 PortlandOR97207 United States Institut für Informatik Christian-Albrechts-Universität Kiel Olshausenstr. 40 KielD-24098 Germany

ISBN: (纸本)3540442332

We introduce a handful of software design patterns for functional logic languages. Following usual approaches, for each pattern we propose a name and we describe its intent, applicability, structure, consequences, etc. Our patterns deal with data type construction, identifier declarations, mappings, search, non-determinism and other fundamental aspects of the design and implementation of programs. We present some problems and we show fragments of programs that solve these problems using our patterns. the programming language of our examples is Curry. the complete programs are available on-line. © Springer-Verlag Berlin Heidelberg 2002.

关键词： Software design

来源：评论

学校读者我要写书评

暂无评论

the well-founded semantics in normal logic programs with uncertainty 6th

The well-founded semantics in normal logic programs with unc...

引用

6th fuji international symposium on functional and logic programming, flops 2002

作者： Loyer, Yann Straccia, Umberto I-56124 Italy

ISBN: (纸本)3540442332

Many frameworks of logic programming have been proposed to manage uncertain information in deductive databases and expert systems. Roughly, on the basis of how uncertainty is associated to facts and the rules in a program, they can be classified into implication-based (IB) and annotation-based (AB). However, one fundamental issue that remains unaddressed in the IB approach is the representation and the manipulation of the non-monotonic mode of negation, an important feature for real applications. Our focus in this paper is to introduce nonmonotonic negation in the parametric IB framework, a unifying umbrella for IB frameworks. the semantical approach that we will adopt is based on the well-founded semantics, one of the most widely studied and used semantics of (classical) logic programs with negation. © Springer-Verlag Berlin Heidelberg 2002.

关键词： Intelligent databases

来源：评论

学校读者我要写书评

暂无评论

Narrowing failure in functional logic programming 6th

Narrowing failure in functional logic programming

引用

6th fuji international symposium on functional and logic programming, flops 2002

作者： López-Fraguas, Francisco Javier Sánchez-Hernández, Jaime Dep. Sistemas Informáticos y Programación Univ. Complutense de Madrid Spain

ISBN: (纸本)3540442332

Negation as failure is an important language feature within the logic programming paradigm. the natural notion generalizing negation as failure in a functional logic setting is that of finite failure of reduction. In previous works we have shown the interest of using such programming construct when writing functional logic programs, and we have given a logical status to failure by means of proof calculi designed to deduce failures from programs. In this paper we address the problem of the operational mechanism for the execution of functional logic programs using failure. Our main contribution is the proposal of a narrowing relation able to deal with failures, which is constructive in the usual sense of the term in the context of negation, that is, narrowing is able to find substitutions for variables even in presence of failures. As main technical results, we prove correctness and completeness of the narrowing relation with respect to the proof-theoretic semantics. © Springer-Verlag Berlin Heidelberg 2002.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

Structural abstraction and application in logic programming 6th

Structural abstraction and application in logic programming

引用

6th fuji international symposium on functional and logic programming, flops 2002

作者： Porto, António Departamento de Informática Universidade Nova de Lisboa Portugal

ISBN: (纸本)3540442332

this paper explores a seeminglyv ery simple idea—an operation for extending a term with extra (start or end) arguments to yield a new term. this allows the definition a varietyof structural operators that provide the power of functional composition and higher-order features on top of the non-directional and non-deterministic (relational) behavior of the underlying logic programming setting. Syntax alone is taken to be meaningless, semantics being associated to syntax in context. Multiple semantic views of each term are therefore possible, in different contexts. One such semantic view is structural, wherebya ny term is taken as an implicit abstraction of another term over some of its subterms. the standard operational semantics is extended with a rewrite step prior to each goal invocation, that appeals to a functional rewrite semantics to interpret certain terms as applications of implicit inner structural abstractions to inner arguments. the approach is first described through meta-level functional definitions, and then an implementation is shown through a collection of standard Prolog predicates. the powerful gain in expressiveness is thus achieved without anye xtension of the underlying machinery, much in the spirit of an old claim by D. H. Warren [5]. the scheme was motivated byt he needs of a large real-world application [4] where it is now in use. © Springer-Verlag Berlin Heidelberg 2002.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

A functional-logic perspective of parsing 4th

A functional-logic perspective of parsing

引用

4th fuji international symposium on functional and logic programming, flops 1999

作者： Caballero, Rafael López-Fraguas, Francisco J. Departamento de Sistemas Informáticos y Programación Universidad Complutense de Madrid Madrid Spain

ISBN: (纸本)354066677X

Parsing has been a traditional workbench for showing the virtues of declarative programming. Both logic and functional programming claim the ability of writing parsers in a natural and concise *** address here the task from a functional-logic perspective. By modeling parsers as non-deterministic functions we achieve a very natural manner of building parsers, which combines the nicest properties of the functional and logic approaches. In particular, we are able to define parsers within our framework in a style very close to that of functional programming parsers, but using simpler concepts. Moreover, we have moved beyond usual declarative approaches to parsers, since the functional-logic parsers presented here can be considered as truly data values. As an example of this feature we define a function that detects ambiguous grammars. © Springer-Verlag Berlin Heidelberg 1999.

关键词： functional 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.

关键词：

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共1页 << < 1 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：