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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

18 篇 会议

馆藏范围

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

日期分布

学科分类号

15 篇 工学
- 15 篇 计算机科学与技术...
- 14 篇 软件工程
- 1 篇 材料科学与工程（可...
- 1 篇 建筑学
- 1 篇 交通运输工程
3 篇 理学
- 2 篇 数学
- 1 篇 物理学
- 1 篇 生物学
1 篇 管理学
- 1 篇 图书情报与档案管...

主题

7 篇 logic programmin...
2 篇 computer circuit...
1 篇 formal logic
1 篇 pattern matching
1 篇 taxonomies
1 篇 semantics
1 篇 constraint progr...
1 篇 computer games

机构

2 篇 institut für inf...
1 篇 department of co...
1 篇 programming lang...
1 篇 dept. of compute...
1 篇 logics research ...
1 篇 semantics gmbh
1 篇 department of ap...
1 篇 university of ma...
1 篇 department of co...
1 篇 institut für inf...
1 篇 universidad rey ...
1 篇 dept. of compute...
1 篇 dipartimento di ...
1 篇 university of te...
1 篇 innsbruck austri...
1 篇 univ sussex dept...
1 篇 univ saarland pr...
1 篇 latvia universit...
1 篇 school of life s...

作者

2 篇 woltran stefan
2 篇 tompits hans
1 篇 justs janis
1 篇 konczak kathrin
1 篇 polleres axel
1 篇 chen mingmin
1 篇 licis arturs
1 篇 eiter thomas
1 篇 lepper markus
1 篇 ludäscher bertra...
1 篇 santos marcus vi...
1 篇 bowers shawn
1 篇 traxler patrick
1 篇 micaletto davide
1 篇 oetsch johannes
1 篇 reus bernhard
1 篇 faber wolfgang
1 篇 vanags mikus
1 篇 widemann baltasa...
1 篇 mancini toni

语言

18 篇 英文

检索条件"任意字段=20th Workshop on Logic Programming, WLP 2006"

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

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

详细简洁

排序：

20th workshop on logic programming 2006, wlp 2006

20th Workshop on Logic Programming 2006, WLP 2006

引用

20th workshop on logic programming, wlp 2006

the proceedings contain 24 papers. the special focus in this conference is on logic programming. the topics include: Tableaux calculi for answer set programming;algorithmic aspects of model representations;object-oriented constraint programming in java using the library firstcs;causal theories as logic programs;voting theory in answer set programming;evaluating ASP and commercial solvers on the CSPLib (preliminary work);dynamic logic programming and world state evaluation in computer games;executable denotations for concurrent languages using concurrent transaction logic;adding constraint handling rules to curry;INCLP(R) - interval-based nonlinear constraint logic programming over the reals;non-monotonic integrity constraints;complete first-order axiomatization of finite or infinite m-extended trees;many-valued logic programming and fixpoint semantics for higher-order herbrand models;logic programs with contextually scoped negation;declarative web data extraction and annotation;replacements in non-ground answer-set programming;weak order equivalence for logic programs with preferences;decomposition of nonmonotone aggregates in answer set programming;fine-grained parallel implementation of the preflow-push algorithm in CHR;Dijkstra's algorithm with fibonacci heaps;towards a CHR-based model-driven framework of reusable reasoning components;a tool for advanced correspondence checking in answer-set programming and a system for integrating multiple semantics in an answer-set programming framework.

关键词：

来源：评论

学校读者我要写书评

暂无评论

20th workshop on logic programming 2006, wlp 2006

20th Workshop on Logic Programming 2006, WLP 2006

引用

20th workshop on logic programming, wlp 2006

关键词：

来源：评论

学校读者我要写书评

暂无评论

Kiel Declarative programming Days 2013 - 20th Int. Conf. on Applications of Declarative programming and Knowledge Management, INAP 2013, 22nd Int. workshop on Functional and (Constraint) logic programming, WFLP 2013 and 27th wlp 2013

Kiel Declarative Programming Days 2013 - 20th Int. Conf. on ...

引用

Kiel Declarative programming Days 2013 - 20th Int. Conf. on Applications of Declarative programming and Knowledge Management, INAP 2013, 22nd Int. workshop on Functional and (Constraint) logic programming, WFLP 2013 and 27th wlp 2013

the proceedings contain 22 papers. the topics discussed include: extension of Gelfond-Lifschitz reduction for preferred answer sets : preliminary report;construction of explanation graphs from extended dependency graphs for answer set programs;some experiments on light-weight object-functional-logic programming in java with paisley;on an approach to implementing exact real arithmetic in curry;sharing and exchanging data;introducing real variables and integer objective functions to answer set programming;propositional encoding of constraints over tree-shaped data;coverage driven test generation and consistency algorithm;towards a verification framework for Haskell by combining graph transformation units and SAT solving;constraint-based approach for an early inspection of the feasibility of cyber physical systems;and debate games in logic programming.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Causal theories as logic programs

Causal theories as logic programs

引用

20th workshop on logic programming, wlp 2006

作者： Ferraris, Paolo University of Texas at Austin Austin TX 78712 United States

We show how we can rewrite any causal theory - under the semantics of causal logic due to McCain and Turner - as a logic program in the answer set semantics. Using this translation the models of any causal theory can ... 详细信息

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

Weak order equivalence for logic programs with preferences

Weak order equivalence for logic programs with preferences

引用

20th workshop on logic programming, wlp 2006

作者： Konczak, Kathrin Institut für Informatik Universität Potsdam Postfach 90 03 27 D-14439 Potsdam Germany

Recently, notions of equivalence for Answer Set programming have been studied intensively and were shown to be beneficial for modular programming and automated optimization. In [9], the novel notion of strong equivalence for logic programs with rule preferences (so-called ordered logic programs) has been defined and necessary and suffcient conditions for programs being strongly equivalent have been presented. In this paper, we extend this work and analyze a weaker notion of equivalence for ordered logic programs. Whereas strong equivalence makes great demands on ordered logic programs, the weakened notion enables program transformations for simplifying preference relations.

关键词： Computer circuits

来源：评论

学校读者我要写书评

暂无评论

Many-valued logic programming and fixpoint semantics for higher-order herbrand models

Many-valued logic programming and fixpoint semantics for hig...

引用

20th workshop on logic programming, wlp 2006

作者： Majkić, Zoran University of Maryland College Park United States

In this paper we compare the two versions of knowledge invariant transformations of the original Many-valued logic programs: the strict Annotated logic programs and the 'meta' logic programs obtained by the ontological encapsulation [1]. We show that the first one has the higher-order Herbrand interpretations, while the last can be seen as the flattening of the first one. these two knowledge invariant 2-valued logic transformations of the 4-valued Belnap's bilattice-based logic, able to handle incompleteness and inconsistency of knowledge-base systems, are mutually inverse in Galois connection based on predicate compression and decompression (flattening). Consequently, we can use this Galois connection between them to establish their fixpoint semantics relationship. this results generalize the truth-knowledge fixpoint semantics for many-valued logic programming [2].

关键词： logic programming

来源：评论

学校读者我要写书评

暂无评论

Executable denotations for concurrent languages using concurrent transaction logic

Executable denotations for concurrent languages using concur...

引用

20th workshop on logic programming, wlp 2006

作者： Santos, Marcus Vinicius Department of Computer Science Ryerson University M5B 2K3 Toronto Canada

this paper presents an approach based on a Horn fragment of Concurrent Transaction logic (CTR) for semantic description and execution of programming languages. the Horn notation is used in much the same way that plain Horn logic is used to specify semantics of programming languages. However, CTR extends that framework a deductive database language which provides a declarative, logic programming framework that naturally accommodates the notions of store, store updates, dataflow in declarative languages, data-driven concurrency, and message passing concurrency. the contributions of this paper are twofold: it shows how the semantics of concurrent programming languages can be fully specified in a Horn-based logic framework;and it demonstrates that CTR-based logical denotations provide a unified formal semantics for such languages, which can also serve as a prototyping tool for the language developer.

关键词： logic programming

来源：评论

学校读者我要写书评

暂无评论

Evaluating ASP and commercial solvers on the CSPLib (Preliminary work)

Evaluating ASP and commercial solvers on the CSPLib (Prelimi...

引用

20th workshop on logic programming, wlp 2006

作者： Cadoli, Marco Mancini, Toni Micaletto, Davide Patrizi, Fabio Dipartimento di Informatica e Sistemistica Università di Roma 'La Sapienza' Italy

this paper deals with three solvers for combinatorial problems: the commercial state-of-the-art solver Ilog opl, and the research ASP systems dlv and smodels. the first goal of this research is to evaluate the relative performance of such systems, using a reproducible and extensible experimental methodology. In particular, we consider a third-party problem library, i.e., the CSPLib, and uniform rules for modelling and selecting instances. the second goal is to analyze the effects of a popular reformulation technique, i.e., symmetry breaking, and the role of other modelling aspects, like global constraints and auxiliary predicates in constraint expressions.

关键词： logic programming

来源：评论

学校读者我要写书评

暂无评论

Dynamic logic programming and world state evaluation in computer games

Dynamic logic programming and world state evaluation in comp...

引用

20th workshop on logic programming, wlp 2006

作者： Šiška, Jozef Department of Applied Informatics Comenius University Bratislava Slovakia

In this paper we propose a framework for world state evaluation in computer games based on Dynamic logic programming (DynLoP). Computer games (especially role-playing and adventure games) offer an exact, coherent and relatively small and simple world description and are usually built on game engines, which provide scripting capabilities. A common task of game scripting involves evaluation of the world state in a game, usually to find out whether a player has already completed a task (game quest). In this paper we describe a framework for building a Dynamic logic Program based on a description of a game world, quests and events in the game. Stable models of such a program are then used to determine the status of a quest or the whole game. Because of declarative nature of DynLoP, its use allows easier and simpler queries and quest (task) characterization than current imperative scripting languages used in game engines. Furthermore, the world of a computer game provides an excellent environment for evaluation of DynLoP and its various semantics.

关键词： Computer games

来源：评论

学校读者我要写书评

暂无评论

NCLP(): Interval-based nonlinear constraint logic programming over the reals

NCLP(): Interval-based nonlinear constraint logic programmin...

引用

20th workshop on logic programming, wlp 2006

作者： De Koninck, Leslie Schrijvers, Tom Demoen, Bart Department of Computer Science K.U.Leuven Belgium

We present the INCLP() system, a new Constraint logic programming system for nonlinear constraints over the reals, based on interval techniques. A first evaluation shows that we can improve on other systems in a number of areas. INCLP() is written in Prolog using Constraint Handling Rules and is the first nonlinear CLP system implemented using this technology. Directions for future research are given.

关键词： Constraint programming

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共2页 << < 1 2 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：