咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是171-180 订阅
排序:
Improving PARMA trailing
收藏 引用
THEORY AND PRACTICE OF logic programming 2006年 第0期6卷 609-644页
作者: Schrijvers, Tom Demoen, Bart De la Banda, Maria Garcia Stuckey, Peter J. Katholieke Univ Leuven Dept Comp Sci Louvain Belgium Monash Univ Sch Comp Sci & Software Engn Clayton Vic 3168 Australia Univ Melbourne Dept Comp Sci & Software Engn NICTA Victoria Lab Parkville Vic 3052 Australia
Taylor introduced a variable binding scheme for logic variables in his PARMA system, that uses cycles of bindings rather than the linear chains of bindings used in the standard WAM representation. Both the HAL and dPr... 详细信息
来源: 评论
Formal analysis of PIN block attacks
收藏 引用
THEORETICAL COMPUTER SCIENCE 2006年 第1-2期367卷 257-270页
作者: Steel, Graham Univ Edinburgh Sch Informat Edinburgh Midlothian Scotland
Personal identification number (PIN) blocks are 64-bit strings that encode a PIN ready for encryption and secure transmission in banking networks. These networks employ tamper-proof hardware security modules (HSMs) to... 详细信息
来源: 评论
Decision support systems based on CLP approach in SMEs
Decision support systems based on CLP approach in SMEs
收藏 引用
11th IEEE International Conference on Emerging Technologies and Factory Automation
作者: Tomczuk-Pirog, Izabela Wojcik, Robert Banaszak, Zbigniew Tech Univ Opole Dept Management & Prod Engn PL-45370 Opole Poland Polish Acad Sci Syst Res Inst Lab Knowledge Syst & Artificial Intelligence PL-50449 Warsaw Poland Wroclaw Univ Technol Inst Comp Engn Control & Robot PL-50372 Wroclaw Poland
The paper focuses on a selected class of decision problems related with the production flow planning in SMEs, particularly in new production orders. Verification of orders gives a possibility to evaluate whether resou... 详细信息
来源: 评论
Railway controller synthesis based on system requirements
收藏 引用
IMACS Multiconference on Computational Engineering in Systems Applications (CESA 2006)
作者: Bourdeaud'huy, Thomas Yim, Pascal Ecole Cent Lille LAGIS UMR 8021 BP 48 F-59651 Villeneuve Dascq France
In this paper, we present a conception methodology based on system requirements, whithin which we propose to integrate formalisation and verification into the same process. This method uses the constraint programming ... 详细信息
来源: 评论
An extended formalism to constraint logic programming for decision analysis
收藏 引用
KNOWLEDGE-BASED SYSTEMS 2002年 第3期15卷 189-202页
作者: Liao, SY Wang, HQ Liao, LJ City Univ Hong Kong Dept Informat Syst Kowloon Hong Kong Peoples R China
While constraint logic programming (CLP) is becoming a favorite tool for decision support systems (DSS), its utility to DSS is limited due to the lack of decision theoretic analysis capability. The combination of CLP ... 详细信息
来源: 评论
Soft constraint logic programming and generalized shortest path problems
收藏 引用
JOURNAL OF HEURISTICS 2002年 第1期8卷 25-41页
作者: Bistarelli, S Montanari, U Rossi, F Univ Pisa Dipartimento Informat I-56125 Pisa Italy Univ Padua Dipartimento Matemat Pura & Applicata I-35131 Padua Italy
In this paper we study the relationship between constraint programming (CP) and Shortest Path (SP) problems. In particular, we show that classical, multicriteria, partially ordered, and modality-based SP problems can ... 详细信息
来源: 评论
MACLP: multi agent constraint logic programming
收藏 引用
INFORMATION SCIENCES 2002年 第1-4期144卷 127-142页
作者: Vlahavas, I Aristotle Univ Thessaloniki Dept Informat GR-54006 Thessaloniki Greece
Multi Agent Systems (MAS) have become the key technology for decomposing complex problems in order to solve them more efficiently, or for problems distributed in nature. However, many industrial applications besides t... 详细信息
来源: 评论
Automatic generation of CHR constraint solvers
收藏 引用
THEORY AND PRACTICE OF logic programming 2005年 第4-5期5卷 403-418页
作者: Abdennadher, S Rigotti, C German Univ Cairo Dept Comp Sci Cairo Egypt INSA Lyon LIRIS Lab Lyon France
In this paper, we present a framework for automatic generation of CHR solvers given the logical specification of the constraints. This approach takes advantage of the power of tabled resolution for constraint logic pr... 详细信息
来源: 评论
On the system of two all_different predicates
收藏 引用
INFORMATION PROCESSING LETTERS 2005年 第3期94卷 99-105页
作者: Appa, G Magos, D Mourtos, I London Sch Econ London WC2A 2AE England Technol Educ Inst Athens Egaleo 12210 Greece Athens Univ Econ & Business Athens 10434 Greece
Numerous real-life problems require certain variables to be assigneddifferent values. This requirement is encapsulated in constraints of difference. If x_1, x_2 denotetwo problem variables, the (nonlinear) constraint ... 详细信息
来源: 评论
CHR grammars
收藏 引用
THEORY AND PRACTICE OF logic programming 2005年 第4-5期5卷 467-501页
作者: Christiansen, H Roskilde Univ Dept Comp Sci DK-4000 Roskilde Denmark
A grammar formalism based upon CHR is proposed analogously to the way Definite Clause Grammars are defined and implemented on top of Prolog. These grammars execute as robust bottom-up parsers with an inherent treatmen... 详细信息
来源: 评论