咨询与建议

限定检索结果

文献类型

  • 200 篇 期刊文献
  • 95 篇 会议
  • 1 篇 学位论文

馆藏范围

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

日期分布

学科分类号

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

主题

  • 296 篇 constraint logic...
  • 27 篇 mathematical pro...
  • 17 篇 optimization
  • 16 篇 logic programmin...
  • 15 篇 scheduling
  • 14 篇 program transfor...
  • 11 篇 decision support
  • 10 篇 program verifica...
  • 9 篇 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...

作者

  • 26 篇 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

语言

  • 268 篇 英文
  • 27 篇 其他
  • 1 篇 德文
检索条件"主题词=constraint logic programming"
296 条 记 录,以下是101-110 订阅
排序:
Program verification via iterated specialization
收藏 引用
SCIENCE OF COMPUTER programming 2014年 第Part2期95卷 149-175页
作者: De Angelis, E. Fioravanti, F. Pettorossi, A. Proietti, M. Univ G DAnnunzio DEC I-65127 Pescara Italy Univ Roma Tor Vergata DICII I-00133 Rome Italy CNR IASI I-00185 Rome Italy
We present a method for verifying properties of imperative programs by using techniques based on the specialization of constraint logic programs (CLP). We consider a class of imperative programs with integer variables... 详细信息
来源: 评论
Towards verification of computation orchestration
收藏 引用
FORMAL ASPECTS OF COMPUTING 2014年 第4期26卷 729-759页
作者: Dong, Jin Song Liu, Yang Sun, Jun Zhang, Xian Natl Univ Singapore Sch Comp Singapore 117548 Singapore Nanyang Technol Univ Sch Comp Engn Singapore 639798 Singapore Singapore Univ Technol & Design Singapore Singapore
Recently, a promising programming model called Orc has been proposed to support a structured way of orchestrating distributed Web Services. Orc is intuitive because it offers concise constructors to manage concurrent ... 详细信息
来源: 评论
Hybrid Solution Framework for Supply Chain Problems
Hybrid Solution Framework for Supply Chain Problems
收藏 引用
11th International Symposium on Distributed Computing and Artificial Intelligence (DCAI)
作者: Sitek, Pawel Wikarek, Jaroslaw Univ Technol Inst Management & Control Syst Kielce Poland
The paper presents application and implementation aspects of a hybrid approach to modeling and optimization for supply chain problems. Two environments of mathematical programming (MP) and constraint programming (CP) ... 详细信息
来源: 评论
Assertion-based Debugging of Higher-Order (C) LP Programs  14
Assertion-based Debugging of Higher-Order (C) LP Programs
收藏 引用
16th International Symposium on Principles and Practice of Declarative programming (PPDP)
作者: Stulova, Nataliia Morales, Jose F. Hermenegildo, Manuel V. IMDEA Software Inst Madrid Spain Tech Univ Madrid UPM Sch Comp Sci Madrid Spain
Higher-order constructs extend the expressiveness of firstorder (constraint) logic programming ((C) LP) both syntactically and semantically. At the same time assertions have been in use for some time in (C) LP systems... 详细信息
来源: 评论
A hybrid multi-agent approach to the solving supply chain problems  18th
A hybrid multi-agent approach to the solving supply chain pr...
收藏 引用
18th Annual International Conference on Knowledge-Based and Intelligent Information and Engineering Systems (KES)
作者: Sitek, Pawel Nielsen, Izabela Ewa Wikarek, Jaroslaw Kielce Univ Technol Inst Management & Control Syst PL-25314 Kielce Poland Univ Dept Mech & Mfg Engn Aalborg Denmark
The paper presents a concept and application of a hybrid multi-agent approach to modeling and optimization the supply chain problems. Two environments (mathematical programming (MP) and constraint logic programming (C... 详细信息
来源: 评论
Evolution of Region Connection Calculus to VRCC-3D+
收藏 引用
NEW MATHEMATICS AND NATURAL COMPUTATION 2014年 第2期10卷 103-141页
作者: Sabharwal, Chaman L. Leopold, Jennifer L. Missouri Univ S&T Comp Sci Dept Rolla MO 65409 USA
Qualitative spatial reasoning (QSR) is useful for deriving logical inferences when quantitative spatial information is not available. QSR theories have applications in areas such as geographic information systems, spa... 详细信息
来源: 评论
Model-based protocol log generation for testing a telecommunication test harness using CLP
Model-based protocol log generation for testing a telecommun...
收藏 引用
Design, Automation and Test in Europe Conference and Exhibition (DATE)
作者: Balck, Kenneth Grinchtein, Olga Pearson, Justin Ericsson AB Linkoping Sweden Ericsson AB Stockholm Sweden Uppsala Univ Dept Informat Technol Uppsala Sweden
Within telecommunications development it is vital to have frameworks and systems to replay complicated scenarios on equipment under test, often there are not enough available scenarios. In this paper we study the prob... 详细信息
来源: 评论
Program verification via iterated specialization
Program verification via iterated specialization
收藏 引用
Science of Computer programming
作者: De Angelis, E. Fioravanti, F. Pettorossi, A. Proietti, M. DEC University G. d'Annunzio Viale Pindaro 42 Pescara65127 Italy DICII University of Rome Tor Vergata Via del Politecnico 1 Roma00133 Italy CNR-IASI Viale Manzoni 30 Roma00185 Italy
We propose a software model checking *** method is based on program specialization of constraint logic *** have evaluated our method by an extensive experimentation. © 2014 Elsevier B.V.
来源: 评论
A Hybrid Multi-agent Approach to the Solving Supply Chain Problems
收藏 引用
Procedia Computer Science 2014年 35卷 1557-1566页
作者: Paweł Sitek Izabela Ewa Nielsen Jarosław Wikarek Kielce University of Technology Institute of Management and Control Systems 25-314 Kielce Poland University Department of Mechanical and Manufacturing Engineering Alborg Denmark
The paper presents a concept and application of a hybrid multi-agent approach to modeling and optimization the supply chain problems. Two environments (mathematical programming (MP) and constraint logic programming (C... 详细信息
来源: 评论
Integrating answer set programming and constraint logic programming
收藏 引用
ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE 2008年 第1-4期53卷 251-287页
作者: Mellarkod, Veena S. Gelfond, Michael Zhang, Yuanlin Texas Tech Univ Lubbock TX 79409 USA
We introduce a knowledge representation language AC(C) extending the syntax and semantics of ASP and CR-Prolog, give some examples of its use, and present an algorithm, ACsolver, for computing answer sets of AC(C) pro... 详细信息
来源: 评论