咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是151-160 订阅
排序:
Extending Constructive logic Negation with Types
收藏 引用
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE 2009年 246卷 183-198页
作者: Munoz-Hernandez, Susana Jose Moreno-Navarro, Juan Univ Politecn Madrid Fac Informat Campus Montegancedo Boadilla Monte Madrid 28660 Spain IMDEA Software Madrid 28660 Spain
Negation has traditionally been a difficult issue in logic programming. Most of Prolog programmers have been restricted to use just a weak negation technique, like negation as failure. Many alternative semantics were ... 详细信息
来源: 评论
A declarative constraint-based method for analyzing discrete genetic regulatory networks
收藏 引用
BIOSYSTEMS 2009年 第2期98卷 91-104页
作者: Corblin, Fabien Tripodi, Sebastien Fanchon, Eric Ropers, Delphine Trilling, Laurent Univ Grenoble 1 Lab Tech Ingn Med & Complex Informat Math & Appli CNRS UMR 5525 F-38710 La Tronche France INRIA Grenoble Unite Rech F-38334 Montbonnot St Martin Saint Ismier France
Dynamical modeling has proven useful for understanding how complex biological processes emerge from the many components and interactions composing genetic regulatory networks (GRNs). However, the development of models... 详细信息
来源: 评论
Capturing and Building Expertise in Virtual Worlds
Capturing and Building Expertise in Virtual Worlds
收藏 引用
5th International Conference on Foundation of Augmented Cognition
作者: Freeman, Jared Stacy, Webb MacMillan, Jean Levchuk, Georgiy Aptima Inc Washington DC 20036 USA
Model-driven simulation can make the design and delivery of instruction more efficient and effective. We describe two computational models that support both the design and delivery of instruction. BEST (the Bench-mark... 详细信息
来源: 评论
Implementing Constructive Intensional Negation
收藏 引用
NEW GENERATION COMPUTING 2008年 第1期27卷 25-56页
作者: Marino, Julio Jose Moreno-Navarro, Juan Munoz-Hernandez, Susana Univ Politecn Madrid Babel Grp Boadilla Del Monte 28660 Spain
Although negation is an active area of research in logic programming, sound and complete implementations are still absent from actual Prolog systems. One of the most promising techniques in the literature is intension... 详细信息
来源: 评论
Design and implementation of a tracer driver: Easy and efficient dynamic analyses of constraint logic programs
收藏 引用
THEORY AND PRACTICE OF logic programming 2008年 第5-6期8卷 581-609页
作者: Langevine, Ludovic Ducasse, Mireille Mission Crit IT B-1420 Braine Lalleud Belgium INSA Rennes IRISA F-35042 Rennes France
Tracers provide users with useful information about program executions. In this article, we propose a "tracer driver". From a single tracer, it provides a powerful front-end enabling multiple dynamic analysi... 详细信息
来源: 评论
TCHR: a framework for tabled CLP
收藏 引用
THEORY AND PRACTICE OF logic programming 2008年 第4期8卷 491-526页
作者: Schrijvers, Tom Demoen, Bart Warren, David S. Katholieke Univ Leuven Dept Comp Sci Louvain Belgium SUNY Stony Brook Dept Comp Sci Stony Brook NY 11794 USA
Tabled constraint logic programming is a powerful execution mechanism for dealing with constraint logic programming without worrying about fixpoint computation. Various applications, e.g. in the fields of program anal... 详细信息
来源: 评论
Recurrence with affine level mappings is P-time decidable for CLP(R)
收藏 引用
THEORY AND PRACTICE OF logic programming 2008年 第1期8卷 111-119页
作者: Mesnard, Fred Serebrenik, Alexander Univ Reunion IREMIA St Denis Reunion France Tech Univ Eindhoven Lab Qual Software NL-5600 MB Eindhoven Netherlands
In this paper we introduce a class of constraint logic programs such that their termination can be proved by using affine level mappings. We show that membership to this class is decidable in polynomial time.
来源: 评论
On benchmarking constraint logic programming platforms. Response to Fernandez and Hill's "a comparative study of eight constraint programming languages over the boolean and finite domains"
收藏 引用
constraintS 2004年 第1期9卷 5-34页
作者: Wallace, M Schimpf, J Shen, K Harvey, W Univ London Imperial Coll Sci Technol & Med William Penney Lab IC Parc London SW7 2AZ England
The comparative study published in this journal by Fernandez and Hill benchmarked some constraint programming systems on a set of well-known puzzles. The current article examines the positive and negative aspects of t... 详细信息
来源: 评论
A declarative framework for constrained search problems
A declarative framework for constrained search problems
收藏 引用
21st International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems
作者: Sitek, Pawel Wikarek, Jaroslaw Tech Univ Kielce Control & Management Syst Sect PL-25314 Kielce Poland
Constrained search problems (eg. scheduling, planning, resource allocation, placement, routing etc.) appear frequently at different levels of decisions. They are usually characterized by many types of constraints, whi... 详细信息
来源: 评论
Semi-dynamic demand in a non-permutation flowshop with constrained resequencing buffers
收藏 引用
6th International Conference on Large-Scale Scientific Computing (LSSC 2007)
作者: Faerber, Gerrit Salhi, Said Coves Moreno, Anna M. Univ Politecn Cataluna Inst Org Control Sistemes Ind Barcelona Spain Univ Kent Kent Business Sch Ctr Heurist Optimisat Canterbury Kent England
This work presents the performance comparison of two conceptually different approaches for a mixed model non-permutation flowshop production line. The demand is a semi-dynamic demand with a fixed job sequence for the ... 详细信息
来源: 评论