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

Fast decompilation of compiled Prolog clauses 3rd

3rd International Conference on logic programming, ICLP 1986

作者： Buettner, Kevin A. Logic Programming Research Group School of Computer & Information Science Syracuse University United States

ISBN: (纸本)9783540164920

Serious Prolog implementations in recent years have been primarily compiler-based, nearly all of which are founded on the abstract instruction set of Warren [1983]. The performance achieved by such implementations greatly outstrips that attainable in interpreter-based systems. Unfortunately, the sophistication of these compiler-based environments is often inferior to environments of interpreter-based systems to the extent that a "compatible" interpreter is often required for serious software development. Among the deficiencies of these environments, database operations such as assert, retract, and clause seem to be particularly afflicted. In addition, the ability to debug compiled code has been either non-existent or at best, very constrained. Unlike compiler technology of many traditional languages, there is little reason for this to be the case in Prolog. An efficient implementation of retract, listing, and clause by decompilation of compiled clause code is the subject of this paper. Techniques used in the implementation of the decompilation process have also proven useful in the implementation of the standard four port debugger found in many Prolog systems. © 1986, Springer-Verlag.

关键词： Software design

来源：评论

学校读者我要写书评

暂无评论

PARACONSISTENT logic programming

引用

THEORETICAL computer science 1989年第2期68卷 135-154页

作者： BLAIR, HA SUBRAHMANIAN, VS Logic Programming Theory Group School of Computer & Information Science 313 Link Hall Syracuse University Syracuse NY 13244-1240 U.S.A.

This paper makes two contributions. First, we give a semantics for sets of clauses of the syntactic form L 0 ⇍ L 1 &⋯& L n where each L i is a literal. We call such clauses generally Horn clauses. Any such endeavour has to give a coherent, formal treatment of inconsistency (in the sense of two-valued logic). Thus, as a second contribution, we give a robust semantics for generally Horn programs that allows us to “make sense” of sets of generally Horn clauses that are inconsistent (in the two-valued logic sense). This applies to the design of very large knowledge bases where inconsistent information is often present.

关键词： computer Metatheory

来源：评论

学校读者我要写书评

暂无评论

The design and implementation of a high-speed incremental portable Prolog compiler 3rd

引用

3rd International Conference on logic programming, ICLP 1986

作者： Bowen, Kenneth A. Buettner, Kevin A. Cicekli, Ilyas Turk, Andrew K. Logic Programming Research Group School of Computer & Information Science Syracuse University SyracuseNY13210 United States

ISBN: (纸本)9783540164920

The design and implementation of a relatively portable Prolog compiler achieving 12K LIPS on the standard benchmark is described. The compiler is incremental and uses decompilation to implement retract, clause, and listing, as well as support the needs of its four-port debugger. The system supports modules, garbage collection, database pointers, and a full range of built-ins. © 1986, Springer-Verlag.

关键词： Program compilers

来源：评论

学校读者我要写书评

暂无评论

New directions in logic programming 86

New directions in logic programming

引用

1986 ACM 14th Annual Conference on computer science, CSC 1986

作者： Bowen, Kenneth A. Logic Programming Research Group School of Computer and Information Science Syracuse University Syracuse NY13210 United States

ISBN: (纸本)0897911776

Prolog has established itself as a highly successful example of the logic programming paradigm. Today there are a number of vigorous research streams exploring methods of extending the capabilities and capacities achieved by Prolog. These include treatment of concurrency, inclusion of functional programming capabilities, and incorporation of metalevel reasoning techniques. The paper will survey the goals and current state of these explorations. © 1986 ACM.

关键词： logic programming

来源：评论

学校读者我要写书评

暂无评论

Paraconsistent logic programming 7th

引用

7th Conference on Foundations of Software Technology and Theoretical computer science, FST and TCS 1987

作者： Blair, Howard A. Subrahmanian, V.S. Logic Programming Theory Group School of Computer & Information Science Syracuse University 313 Link Hall SyracuseNY13244 United States

ISBN: (纸本)9783540186250

This paper makes two contributions. Firstly, we give a semantics for sets of clauses of the form L0 ⇐ L1&.. &Ln where each Li is a literal. We call such clauses generally-Horn clauses. Any such endeavour has to give a coherent, formal treatment of inconsistency (in the sense of two-valued logic). Thus, as a second contribution, we give a robust semantics for generally-Horn programs that allows us to "make sense" of sets of generally-Horn clauses that are inconsistent (in the two-valued logic sense). This applies to the design of very large knowledge bases where inconsistent information is often present. © 1987, Springer-Verlag.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

Compiler optimizations for the WAM 3rd

引用

3rd International Conference on logic programming, ICLP 1986

作者： Turk logic, Andrew K. Programming Research Group School of Computer & Information Science Syracuse University SyracuseNY13210 United States

A series of Warren Abstract Machine (WAM) implementation techniques are presented. These techniques and compilation strategies are designed for use in a highly optimized native code Prolog compiler. A thorough knowled... 详细信息

ISBN: (纸本)9783540164920

关键词： Program compilers

来源：评论

学校读者我要写书评

暂无评论

Constraint Solving and Language Processing 1

引用

丛书名： Lecture Notes in computer science

1000年

作者： Henning Christiansen Peter Rossen Skadhauge Jørgen Villadsen

ISBN: (数字)9783540319283

ISBN: (纸本)9783540261650

This volume contains selected and thoroughly revised papers plus contributions from invited speakers presented at the First International Workshop on C- straint Solving and Language Processing, held in Roskilde, Denmark, September 1–3, 2004. Constraint programming and Constraint Solving, in particular Constraint logic programming, appear to be a very promising platform, perhaps the most promising present platform, for bringing forward the state of the art in natural language processing, this due to the naturalness in speci?cation and the direct relation to e?cient implementation. Language, in the present context, may - fer to written and spoken language, formal and semiformal language, and even general input data to multimodal and pervasive systems, which can be handled in very much the same ways using constraint programming. The notion of constraints, with slightly di?ering meanings, apply in the ch- acterization of linguistic and cognitive phenomena, in formalized linguistic m- els as well as in implementation-oriented frameworks. programming techniques for constraint solving have been, and still are, in a period with rapid devel- ment of new e?cient methods and paradigms from which language processing can pro?t. A common metaphor for human language processing is one big c- straintsolvingprocessinwhichthedi?erent(-lyspeci?ed)linguisticandcognitive phases take place in parallel and with mutual cooperation, which ?ts quite well with current constraint programming paradigms.

关键词： Artificial Intelligence programming Techniques programming Languages, Compilers, Interpreters Mathematical logic and Formal Languages

来源：评论

学校读者我要写书评

暂无评论

Flexible Query Answering Systems 1

引用

丛书名： Lecture Notes in computer science

1000年

作者： Henrik Legind Larsen Gabriella Pasi Daniel Ortiz-Arroyo Troels Andreasen Henning Christiansen

来源：评论

学校读者我要写书评

暂无评论

Flexible Query Answering Systems 1

引用

丛书名： Lecture Notes in computer science

1000年

作者： Henning Christiansen Mohand-Saïd Hacid Troels Andreasen Henrik Legind Larsen

ISBN: (数字)9783540259572

ISBN: (纸本)9783540221609

ThisvolumeconstitutestheproceedingsoftheSixthInternationalConferenceon Flexible Query Answering Systems, FQAS 2004, held in Lyon, France, on June 24–26, 2004. FQAS is the premier conference for researchers and practitioners concerned with the vital task of providing easy, ?exible, and intuitive access to information for every type of need. This multidisciplinary conference draws on several research areas, including databases, information retrieval, knowledge representation, soft computing, multimedia, and human-computer interaction. With FQAS 2004, the FQAS conference series celebrated its tenth anniversary as it has been held every two years since 1994. The overall theme of the FQAS conferences is innovative query systems aimed at providing easy, ?exible, and intuitive access to information. Such systems are intended to facilitate retrieval from information repositories such as databases, libraries, and the Web. These repositories are typically equipped with standard query systems that are often inadequate for users. The focus of FQAS is the development of query systems that are more expressive, informative, cooperative, productive, and intuitive to use.

关键词： Artificial Intelligence information Storage and Retrieval information Systems Applications (incl. Internet) User Interfaces and Human computer Interaction Database Management IT in Business

来源：评论

学校读者我要写书评

暂无评论

Foundations of Intelligent Systems 1

引用

丛书名： Lecture Notes in computer science

1000年

作者： Troels Andreasen Henning Christiansen Juan-Carlos Cubero Zbigniew W. Raś

ISBN: (数字)9783319083261

ISBN: (纸本)9783319083254

This book constitutes the refereed proceedings of the 21st International Symposium on Methodologies for Intelligent Systems, ISMIS 2014, held in Roskilde, Denmark, in June 2014. The 61 revised full papers were carefully reviewed and selected from 111 submissions. The papers are organized in topical sections on complex networks and data stream mining; data mining methods; intelligent systems applications; knowledge representation in databases and systems; textual data analysis and mining; special session: challenges in text mining and semantic information retrieval; special session: warehousing and OLAPing complex, spatial and spatio-temporal data; ISMIS posters.

关键词： Artificial Intelligence Data Mining and Knowledge Discovery Database Management information Storage and Retrieval information Systems Applications (incl. Internet) User Interfaces and Human computer Interaction

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：