咨询与建议

限定检索结果

文献类型

  • 198 篇 期刊文献
  • 95 篇 会议
  • 2 篇 学位论文

馆藏范围

  • 295 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 265 篇 工学
    • 243 篇 计算机科学与技术...
    • 104 篇 软件工程
    • 28 篇 电气工程
    • 25 篇 控制科学与工程
    • 10 篇 信息与通信工程
    • 6 篇 化学工程与技术
    • 4 篇 机械工程
    • 3 篇 电子科学与技术(可...
    • 2 篇 仪器科学与技术
    • 2 篇 环境科学与工程(可...
    • 2 篇 网络空间安全
    • 1 篇 材料科学与工程(可...
    • 1 篇 动力工程及工程热...
    • 1 篇 石油与天然气工程
    • 1 篇 交通运输工程
    • 1 篇 城乡规划学
  • 87 篇 理学
    • 82 篇 数学
    • 2 篇 生物学
    • 2 篇 系统科学
    • 2 篇 统计学(可授理学、...
    • 1 篇 物理学
    • 1 篇 化学
    • 1 篇 地理学
  • 37 篇 管理学
    • 33 篇 管理科学与工程(可...
    • 8 篇 工商管理
    • 3 篇 图书情报与档案管...
  • 8 篇 经济学
    • 8 篇 应用经济学
    • 1 篇 理论经济学
  • 6 篇 医学
    • 4 篇 基础医学(可授医学...
  • 3 篇 教育学
    • 3 篇 教育学
  • 1 篇 农学

主题

  • 295 篇 constraint logic...
  • 27 篇 mathematical pro...
  • 17 篇 optimization
  • 16 篇 logic programmin...
  • 15 篇 scheduling
  • 14 篇 program transfor...
  • 11 篇 decision support
  • 10 篇 program verifica...
  • 8 篇 artificial intel...
  • 8 篇 prolog
  • 7 篇 clp
  • 7 篇 constraint satis...
  • 7 篇 symbolic executi...
  • 6 篇 languages
  • 6 篇 decision support...
  • 6 篇 program analysis
  • 6 篇 test case genera...
  • 6 篇 abstract interpr...
  • 6 篇 constraint solvi...
  • 6 篇 constructive neg...

机构

  • 8 篇 kielce univ tech...
  • 6 篇 cnr iasi rome
  • 6 篇 kielce univ tech...
  • 5 篇 univ roma tor ve...
  • 5 篇 univ craiova cra...
  • 5 篇 new mexico state...
  • 5 篇 univ udine dipar...
  • 4 篇 kielce univ tech...
  • 3 篇 univ pisa dipart...
  • 3 篇 univ melbourne d...
  • 3 篇 kielce univ tech...
  • 3 篇 univ parma dipar...
  • 3 篇 iasi cnr i-00185...
  • 3 篇 carnegie mellon ...
  • 3 篇 natl univ singap...
  • 3 篇 imdea software i...
  • 3 篇 g dannunzio univ...
  • 3 篇 univ roma tor ve...
  • 3 篇 univ parma dipar...
  • 3 篇 tech univ gheorg...

作者

  • 25 篇 sitek pawel
  • 22 篇 wikarek jaroslaw
  • 13 篇 proietti maurizi...
  • 12 篇 pettorossi alber...
  • 12 篇 fioravanti fabio
  • 8 篇 de angelis emanu...
  • 6 篇 badica amelia
  • 6 篇 senni valerio
  • 6 篇 mesnard fred
  • 6 篇 badica costin
  • 6 篇 rossi gianfranco
  • 5 篇 cristia maximili...
  • 4 篇 gavanelli marco
  • 4 篇 stefanski tadeus...
  • 4 篇 stuckey pj
  • 4 篇 dovier agostino
  • 4 篇 dovier a
  • 4 篇 hermenegildo m
  • 4 篇 pontelli enrico
  • 4 篇 leon florin

语言

  • 269 篇 英文
  • 25 篇 其他
  • 1 篇 德文
检索条件"主题词=Constraint Logic Programming"
295 条 记 录,以下是201-210 订阅
排序:
Abstract verification and debugging of constraint logic programs  1
收藏 引用
Joint ERCIM/CologNet International Workshop on constraint Solving and constraint logic programming
作者: Hermenegildo, M Puebla, G Bueno, F López-García, P Tech Univ Madrid UPM Dept Comp Sci Madrid Spain
The technique of Abstract Interpretation [13] has allowed the development of sophisticated program analyses which are provably correct and practical. The semantic approximations produced by such analyses have been tra... 详细信息
来源: 评论
A real implementation for constructive negation
收藏 引用
19th International Conference on logic programming
作者: Muñoz, S Moreno-Navarro, JJ Univ Politecn Madrid Fac Informat LSIIS Madrid 28660 Spain
logic programming has been advocated as a language for system specification, especially for logical behaviours, rules and knowledge. However, modeling problems involving negation, which is quite natural in many cases,... 详细信息
来源: 评论
Cardinality constraints in disjunctive deductive databases
收藏 引用
2nd International Workshop on Semantics in Databases
作者: Seipel, D Geske, U Univ Wurzburg Dept Comp Sci D-97074 Wurzburg Germany Fraunhofer First Berlin D-12489 Berlin Germany
We investigate cardinality constraints of the form M -theta K, where M is a set and theta is one of the comparison operators or "greater than or equal to";such a constraint states that "exactly", &... 详细信息
来源: 评论
Cooperation and competition of agents in the auction of computer bridge
收藏 引用
ELECTRONICS AND COMMUNICATIONS IN JAPAN PART III-FUNDAMENTAL ELECTRONIC SCIENCE 2003年 第12期86卷 76-86页
作者: Ando, T Kobayashi, N Uehara, T Tokyo Univ Technol Hachioji Tokyo 1928580 Japan
The auction in contract bridge is a game with incomplete information. This paper models the process as an interaction among agents with a hypothetical reasoning mechanism. The criterion for the action of each agent is... 详细信息
来源: 评论
Resource leveling scheduling system: A two-phase CLP relaxation method
收藏 引用
ELECTRONICS AND COMMUNICATIONS IN JAPAN PART II-ELECTRONICS 2003年 第6期86卷 62-72页
作者: Takada, M Terano, T Mitsubishi Chem Corp Ctr Res Dev & Engn Ibaraki 3140102 Japan Univ Tsukuba Grad Sch Syst Management Tokyo 1120012 Japan
We have developed a production scheduling system called "K-CHIP," which handles operator resource leveling, using CLP (constraint logic programming). This system has the following features: (1) it approaches... 详细信息
来源: 评论
A case of business model conversion using planning and scheduling application having intermediate cutting stock
收藏 引用
JSME INTERNATIONAL JOURNAL SERIES C-MECHANICAL SYSTEMS MACHINE ELEMENTS AND MANUFACTURING 2003年 第1期46卷 93-99页
作者: Takada, M Mitsubishi Chem Corp Sci & Technol Res Ctr Kashima Ibaraki 3140102 Japan
This paper describes the experience of developing a production planning and scheduling system, which makes more than 1700 kinds of end products from more than 300 kinds of large plates stocked in the intermediate ware... 详细信息
来源: 评论
Integrating finite domain constraints and CLP with sets  03
Integrating finite domain constraints and CLP with sets
收藏 引用
Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming
作者: A. Dal Palú A. Dovier E. Pontelli G. Rossi Università di Udine New Mexico State University Università di Parma
In this paper we propose a semantically well-founded combination of the constraint solvers used in the constraint programming languages CLP(SET) and CLP(FD). This work demonstrates that it is possible to provide effic... 详细信息
来源: 评论
Effective algorithm for handling constraints in generator maintenance scheduling
收藏 引用
IEE PROCEEDINGS-GENERATION TRANSMISSION AND DISTRIBUTION 2002年 第3期149卷 274-282页
作者: Huang, KY Yang, HT Cheng Shiu Inst Technol Dept Elect Engn Kaohsiung 833 Taiwan Chung Yuan Christian Univ Dept Elect Engn Chungli 32023 Taiwan
An effective algorithm for handling constraints to solve the generator maintenance scheduling (GMS) problem is presented. The proposed algorithm of constraint logic programming (CLP) synthesises logic programming, con... 详细信息
来源: 评论
Using parametric set constraints for locating errors in CLP programs
收藏 引用
THEORY AND PRACTICE OF logic programming 2002年 第4-5期2卷 549-610页
作者: Drabent, W Maluszynski, J Pietrzak, P Linkoping Univ Dept Comp & Informat Sci S-58183 Linkoping Sweden Polish Acad Sci Inst Comp Sci PL-01237 Warsaw Poland
This paper introduces a framework of parametric descriptive directional types for constraint logic programming (CLP). It proposes a method for locating type errors in CLP programs, and presents a prototype debugging t... 详细信息
来源: 评论
A decision support systems generator for transportation demand forecasting implemented by constraint logic programming
收藏 引用
DECISION SUPPORT SYSTEMS 1999年 第3期26卷 179-194页
作者: Fierbinteanu, C Univ Electrocommun Grad Sch Informat Syst Tokyo 1828585 Japan
In this paper we propose a framework for a decision support systems (DSS) generator for constrained search problems, implemented by constraint logic programming (CLP). We illustrate this concept by the implementation ... 详细信息
来源: 评论