找回密码
 To register

QQ登录

只需一步,快速开始

扫一扫,访问微社区

Titlebook: New Trends in Constraints; Joint ERCIM/Compulog Krzysztof R. Apt,Eric Monfroy,Francesca Rossi Conference proceedings 2000 Springer-Verlag B

[复制链接]
楼主: Agoraphobia
发表于 2025-3-23 10:19:16 | 显示全部楼层
发表于 2025-3-23 16:46:19 | 显示全部楼层
Rule Based Programming with Constraints and Strategies and to retract if needed using backtracking. To illustrate the framework, we formalise a planning problem, namely a controller for printing tasks, that shows how to combine rules, strategies and constraint solving on finite domains.
发表于 2025-3-23 21:21:37 | 显示全部楼层
0302-9743 leading researchers were carefully reviewed. The book is divided in topical sections on constraint propagation and manipulation, constraint programming, and rule-based constraint programming.978-3-540-67885-4978-3-540-44654-5Series ISSN 0302-9743 Series E-ISSN 1611-3349
发表于 2025-3-24 01:38:02 | 显示全部楼层
Conference proceedings 2000yprus, Greece in October 1999. The 12 revised full research papers presented together with four surveys by leading researchers were carefully reviewed. The book is divided in topical sections on constraint propagation and manipulation, constraint programming, and rule-based constraint programming.
发表于 2025-3-24 03:33:16 | 显示全部楼层
发表于 2025-3-24 09:31:14 | 显示全部楼层
A Constraint-Based Language for Virtual Agentse notion of time adequate for animation systems such as VRML. We illustrate this approach by some simple examples of virtual creatures that can autonomously move in the 3D world, and we describe some simple behaviors derived from biologically-inspired models of navigation.
发表于 2025-3-24 10:50:54 | 显示全部楼层
OPL Script: Composing and Controlling Modelsuse traditional scripting facilities. The basic abstractions of OPLScript are the concepts of models and abstract models that make it possible to develop, maintain, test, and reuse models independently of the scripts using them and to develop scripts that apply to a variety of models.
发表于 2025-3-24 15:37:33 | 显示全部楼层
Ways of Maintaining Arc Consistency in Search Using the Cartesian Representationng and representing all solutions of a CSP. It is assessed that maintaining arc-consistency (MAC) is the most efficient general algorithm for solving hard problems. A few work on combining MAC with CPR exists. In this paper we study comparatively two other possible alternatives of MAC-CPR.
发表于 2025-3-24 22:09:13 | 显示全部楼层
发表于 2025-3-24 23:20:49 | 显示全部楼层
 关于派博传思  派博传思旗下网站  友情链接
派博传思介绍 公司地理位置 论文服务流程 影响因子官网 SITEMAP 大讲堂 北京大学 Oxford Uni. Harvard Uni.
发展历史沿革 期刊点评 投稿经验总结 SCIENCEGARD IMPACTFACTOR 派博系数 清华大学 Yale Uni. Stanford Uni.
|Archiver|手机版|小黑屋| 派博传思国际 ( 京公网安备110108008328) GMT+8, 2025-5-1 16:27
Copyright © 2001-2015 派博传思   京公网安备110108008328 版权所有 All rights reserved
快速回复 返回顶部 返回列表