咨询与建议

限定检索结果

文献类型

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

馆藏范围

  • 296 篇 电子文献
  • 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 篇 农学

主题

  • 296 篇 constraint logic...
  • 27 篇 mathematical pro...
  • 17 篇 optimization
  • 16 篇 logic programmin...
  • 16 篇 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

语言

  • 270 篇 英文
  • 25 篇 其他
  • 1 篇 德文
检索条件"主题词=Constraint Logic Programming"
296 条 记 录,以下是251-260 订阅
排序:
NEARLY OPTIMUM TIMETABLE CONSTRUCTION THROUGH CLP AND INTELLIGENT SEARCH
收藏 引用
International Journal on Artificial Intelligence Tools 1998年 第4期7卷 415-442页
作者: PANAGIOTIS STAMATOPOULOS EFSTRATIOS VIGLAS SERAFEIM KARABOYAS University of Athens Department of Informatics Panepistimiopolis 157 84 Athens Greece
The course timetable construction is a procedure that every academic department has to carry out at least twice annually, more times if some of the requirements change. These requirements indicate that a collection of... 详细信息
来源: 评论
Electronic Call Market for Commodity Transactions: Design of Computer-Mediated Order Matching System
收藏 引用
Journal of Organizational Computing and Electronic Commerce 1998年 第4期8卷 207-334页
作者: Lee, Ho Geun Lee, Ronald M. Dept. of Business Administration College of Business and Economics Yonsei University South Korea Erasmus Univ. Res. Inst. Decis. I. Erasmus University Rotterdam Netherlands Dept. of Business Administration College of Business and Economics Yonsei University Seodaemun Ku Seoul 120-749 Shin-Chon Dong 134 South Korea
Commodity exchanges provide potential market structures for electronic trading because commodity products have relatively simple and well-standardized product attributes. Most existing electronic trading systems are i... 详细信息
来源: 评论
QUALITATIVE SIMULATION AND constraint logic programming
收藏 引用
ENGINEERING APPLICATIONS OF ARTIFICIAL INTELLIGENCE 1995年 第4期8卷 379-390页
作者: LEITCH, R MARTINELLI, E Heriot-Watt University U.K.
The authors of this paper have investigated the potential of using the recently developed constraint logic programming (CLP) languages as an implementation engine for qualitative simulation. This was initiated by the ... 详细信息
来源: 评论
INDUSTRIAL LINEAR OPTIMIZATION PROBLEMS SOLVED BY constraint logic programming
收藏 引用
EUROPEAN JOURNAL OF OPERATIONAL RESEARCH 1995年 第1期84卷 82-95页
作者: BISDORF, R LAURENT, S CTR RECH PUBL CTR UNIV162A AV FAIENCERIEL-1611 LUXEMBOURGLUXEMBOURG
In this article we try to illustrate that constraint logic programming (CLP) systems allow easy expression and solution of constrained decision problems. In order to do so, this paper proposes CLP solutions for two in... 详细信息
来源: 评论
ATTRIBUTE GRAMMAR BASED MODELING OF CONCURRENT constraint logic programming
收藏 引用
International Journal on Artificial Intelligence Tools 1995年 第3期4卷 383-411页
作者: C. VOLIOTIS N.M. SGOUROS G. PAPAKONSTANTINOU Department of Electrical and Computer Engineering National Technical University of Athens Zografou Campus 15780 Athens Greece
The development of more powerful Concurrent constraint logic programming (CCLP) languages depends largely on the development of environments that facilitate the specification and integration of constraints in the sema... 详细信息
来源: 评论
Hierarchical constraint satisfaction of multilateral trade matching in commodity auction markets
收藏 引用
ANNALS OF OPERATIONS RESEARCH 1997年 第s期71卷 317-334页
作者: Ryu, YU UNIV TEXAS DEPT DECIS SCIRICHARDSONTX 75083
A commodity auction market provides a trading intermediary whose role is to find optimal trade matching between buyers and sellers that satisfies their trading constraints. Some commodity auction markets utilize forms... 详细信息
来源: 评论
A distributed constraint-based scheduler
收藏 引用
ARTIFICIAL INTELLIGENCE IN ENGINEERING 1997年 第2期11卷 91-105页
作者: Lamma, E Mello, P Milano, M DEIS Vide Risorgimento 2 I-40136 Bologna Italy
This paper presents the design and implementation of a distributed advisory system which helps different human experts in the management and control of traffic within railway stations and along railway branches. Our a... 详细信息
来源: 评论
Combination of local search and CLP in the vehicle-fleet scheduling problem
收藏 引用
EUROPEAN JOURNAL OF OPERATIONAL RESEARCH 1997年 第3期98卷 512-521页
作者: Psarras, J Stefanitsis, E Christodoulou, N Management Systems Unit Department of Electrical and Computer Engineering National Technical University of Athens 42 Patission St. GR 10682 Athens Greece
Vehicle-fleet scheduling is one of the most commonly occurring problems of transport management. In this paper a new approach facing the problem is introduced. It draws upon the combination of the advantages of Constr... 详细信息
来源: 评论
Using OBDDs to handle dynamic constraints
收藏 引用
INFORMATION PROCESSING LETTERS 1997年 第3期62卷 111-120页
作者: Bouquet, F Jegou, P CMI CNRSURA 1787LIMF-13453 MARSEILLE 13FRANCE
For many real-life problems naturally modelled as constraints systems, we have to manage dynamically systems of constraints. So, a model based on the formalism of finite constraint Satisfaction Problems (CSPs) (Montan... 详细信息
来源: 评论
logic, modeling, and programming
收藏 引用
ANNALS OF OPERATIONS RESEARCH 1997年 第s期71卷 335-372页
作者: McAloon, K Tretkoff, C CUNY GRAD CTR LOG BASED SYST LAB BROOKLYN NY 11210 USA CUNY BROOKLYN COLL BROOKLYN NY 11210 USA
In this paper we discuss the integration of logic, modeling, and programming in order to solve problems in operations research, artificial intelligence, and decision support programming in general. Our goals are to in... 详细信息
来源: 评论