咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是261-270 订阅
排序:
logic-based representation and reasoning about knowledge of constrained resources
收藏 引用
KNOWLEDGE-BASED SYSTEMS 1997年 第2期10卷 71-80页
作者: Ryu, YU Department of Decision Sciences The University of Texas at Dallas P.O. Box 830688 M/S JO 4.4 Richardson Texas 75083-0688 USA
It appears that classical logic is not suitable for the representation and reasoning about knowledge of disposable resources. The major difference between reasoning about disposable resources and classical logic is th... 详细信息
来源: 评论
A hybrid approach of linear programming and logic modeling for the market core of sealed bid auctions
收藏 引用
Annals of Operations Research 1997年 第75期75卷 209-209页
作者: Lee, H. G. Lee, R. M. Dept. of Business Administration School of Business and Economics Yonsei University Seoul 120-749 South Korea Erasmus Univ. Res. Inst. Decis. I. Erasmus University Rotterdam 3000 DR Rotterdam P.O. Box 1738 Netherlands
This paper presents a hybrid approach for sealed bid auction that integrates linear programming and logic modeling techniques. A linear programming model for the sealed bid auction considers only prices for transactio... 详细信息
来源: 评论
Resolution of the cyclic multi-hoists scheduling problem with overlapping partitions
收藏 引用
INFOR 1997年 第4期35卷 309-324页
作者: Varnier, C Bachelu, A Baptiste, P ENSMM Lab Automat Besancon CNRS URM 6596 F-25000 Besancon France
This paper deals with scheduling problem in electroplating facilities. To maximise the productivity of electroplating lines, a predictive approach can be used to find a sequence of hoist movements that can be cyclical... 详细信息
来源: 评论
Value constraints in the CLP Scheme
收藏 引用
constraints 1997年 第2期2卷 163-183页
作者: Van Emden, M.H. Department of Computer Science University of Victoria Victoria BC V8W 3P6 P.O. Box 3055 Canada
We define value constraints, a method for incorporating constraint propagation into logic programming. It is a subscheme of the CLP scheme and is applicable wherever one has an efficient method for representing sets o... 详细信息
来源: 评论
Constructive Negation of Arithmetic constraints Using Dataflow Graphs
收藏 引用
constraints 1997年 第2期2卷 131-162页
作者: Cleary, John G. Department of Computer Science University of Waikato Hamilton New Zealand
A system which extracts a dataflow graph from sets of arithmetic constraints is described. This information is used to simplify constraints and to extract positive information from negations of constraints. The contex... 详细信息
来源: 评论
Automatic data mapping of signal processing applications
Automatic data mapping of signal processing applications
收藏 引用
IEEE International Conference on Application-Specific Systems, Architectures and Processes
作者: Ancourt, C Barthou, D Guettier, C Irigoin, F Jeannet, B Jourdan, J Mattioli, J Ecole des Mines de Paris Fontainebleau France
This paper presents a technique to map automatically a complete digital signal processing (DSP) application onto a parallel machine with distributed memory. Unlike other applications where coarse or medium grain sched... 详细信息
来源: 评论
Magic conditions
收藏 引用
ACM TRANSACTIONS ON DATABASE SYSTEMS 1996年 第1期21卷 107-155页
作者: Mumick, IS Finkelstein, SJ Pirahesh, H Ramakrishnan, R MATISSE ADBREDWOOD SHORESCA 94065 IBM CORP ALMADEN RES CTRSAN JOSECA 95120 UNIV WISCONSIN DEPT COMP SCIMADISONWI 53706
Much recent work has focused on the bottom-up evaluation of Datalog programs [Bancilhon and Ramakrishnan 1988]. One approach, called magic-sets, is based on rewriting a logic program so that bottom-up fixpoint evaluat... 详细信息
来源: 评论
Anticipatory Pruning Networks and forward checking in CLP over continuous domains
收藏 引用
DECISION SUPPORT SYSTEMS 1996年 第3-4期18卷 327-340页
作者: Jo, GS McAloon, K CUNY BROOKLYN COLL GRAD CTRDEPT COMP & INFORMAT SCIBROOKLYNNY 11210
In this paper, the notion of the Anticipatory Pruning Network (APN) is introduced and developed for the propositional part of the 2LP system;2LP (Linear programming and logic programming) is a constraint logic program... 详细信息
来源: 评论
Nicolog: A simple yet powerful cc(FD) language
收藏 引用
JOURNAL OF AUTOMATED REASONING 1996年 第3期17卷 371-403页
作者: Sidebottom, G Havens, WS SIMON FRASER UNIV INTELLIGENT SYST LABCTR SYST SCIBURNABYBC V5A 1S6CANADA SIMON FRASER UNIV SCH COMP SCIBURNABYBC V5A 1S6CANADA
In this paper, we describe Nicolog, a language with capabilities similar to recently developed constraint logic programming (CLP) languages such as CLP(BNR), clp(FD), and cc(FD). Central to Nicolog are projection cons... 详细信息
来源: 评论
Global analysis of constraint logic programs
收藏 引用
ACM TRANSACTIONS ON programming LANGUAGES AND SYSTEMS 1996年 第5期18卷 564-614页
作者: DeLaBanda, MG Hermenegildo, M Bruynooghe, M Dumortier, V Janssens, G Simoens, W KATHOLIEKE UNIV LEUVEN DEPT COMP SCIB-3001 HEVERLEEBELGIUM
This article presents and illustrates a practical approach to the dataflow analysis of constraint logic programming languages using abstract interpretation. It is first argued that, from the framework point of view, i... 详细信息
来源: 评论