咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是201-210 订阅
排序:
Autonomous Generation of Conflict-Free Examination Timetable Using constraint Satisfaction Modelling
Autonomous Generation of Conflict-Free Examination Timetable...
收藏 引用
2017 International Artificial Intelligence and Data Processing Symposium (IDAP)
作者: Elsaka, Tarek Univ Sharjah Sharjah U Arab Emirates CLAES Cairo Egypt
Examination timetable (ETT) is a complex administrative task at educational institutions that must fulfill various constraints to generate the ETT to schedule exam sessions within a precise period. The ETT problem cou... 详细信息
来源: 评论
Extension of Model Functionalities for Multi-echelon Distribution Systems Through the Introduction of logical constraints
收藏 引用
International Conference Challenges in Automation, Robotics and Measurement Techniques (Automation)
作者: Sitek, Pawel Wikarek, Jaroslaw Kielce Univ Technol Dept Informat Syst Kielce Poland
Multi-echelon distribution systems are quite common in supply-chain and city logistic systems. The paper presents a concept of extending functionality of the multi-distribution models by introduction logical constrain... 详细信息
来源: 评论
Optimization of Freight Transportation Brokerage Using Agents and constraints  18th
收藏 引用
18th International Conference on Engineering Applications of Neural Networks (EANN)
作者: Badica, Amelia Badica, Costin Leon, Florin Danciulescu, Daniela Univ Craiova Craiova Romania Tech Univ Gheorghe Asachi Iasi Iasi Romania
In this paper we address the problem of declarative modeling of freight transportation brokering using agents and constraints. Our model can be used for the optimization of vehicle assignments to customer orders that ... 详细信息
来源: 评论
Semantics-based generation of verification conditions by program specialization  15
Semantics-based generation of verification conditions by pro...
收藏 引用
17th International Symposium on Principles and Practice of Declarative programming (PPDP)
作者: De Angelis, E. Fioravanti, F. Pettorossi, A. Proietti, M. Univ G dAnnunzio DEC Chieti Italy Univ Roma Tor Vergata DICII Rome Italy CNR IASI Rome Italy
We present a method for automatically generating verification conditions for a class of imperative programs and safety properties. Our method is parametric with respect to the semantics of the imperative programming l... 详细信息
来源: 评论
An Integrated Declarative Approach to Decision Support for Scheduling Groups of Jobs  36th
An Integrated Declarative Approach to Decision Support for S...
收藏 引用
36th International Conference on Information Systems Architecture and Technology (ISAT)
作者: Wikarek, Jaroslaw Kielce Univ Technol Dept Control & Management Syst Kielce Poland
This study deals with scheduling groups of jobs, their arrival and delivery, and individual processing of each of them. All jobs in a group should be delivered at the same time after processing. The author presents a ... 详细信息
来源: 评论
Competency Management Model for a Team of Trainers  1
收藏 引用
14th International Conference on Computational Collective Intelligence (ICCCI)
作者: Wikarek, Jaroslaw Sitele, Pawel Kielce Univ Technol Dept Control & Management Syst Kielce Poland
The paper proposes a model of management and configuration of competences of a team conducting advanced training in the field of IT, electronics, robotics and other advanced technologies. The model enables decision su... 详细信息
来源: 评论
Configuration Model of Employee Competences in a Social Media Team  1
收藏 引用
34th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems (IEA/AIE)
作者: Wikarek, Jaroslaw Sitek, Pawel Kielce Univ Technol Kielce Poland
In the age of economics and knowledge-based economy, the competences of enterprises and organizations focus on the competences of their employees. It is especially visible in enterprises using advanced IT technologies... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Declarative Modeling of a Milk-Run Vehicle Routing Problem for Split and Merge Supply Streams Scheduling  39th
Declarative Modeling of a Milk-Run Vehicle Routing Problem f...
收藏 引用
39th International Conference on Information Systems Architecture and Technology (ISAT)
作者: Bocewicz, G. Nielsen, P. Banaszak, Z. Koszalin Univ Technol Fac Elect & Comp Sci Koszalin Poland Aalborg Univ Dept Mat & Prod Aalborg Denmark
A flow production system with concurrently executed supply chains providing material handling/transportation services to a given set of workstations is analyzed. The considered streams of split and merge supply chains... 详细信息
来源: 评论
Solving Horn Clauses on Inductive Data Types Without Induction
Solving Horn Clauses on Inductive Data Types Without Inducti...
收藏 引用
34th International Conference on logic programming (ICLP)
作者: De Angelis, Emanuele Fioravanti, Fabio Pettorossi, Alberto Proietti, Maurizio G dAnnunzio Univ Chieti Pescara DEC Pescara Italy Univ Roma Tor Vergata DICII Rome Italy CNR IASI Rome Italy
We address the problem of verifying the satisfiability of Constrained Horn Clauses (CHCs) based on theories of inductively defined data structures, such as lists and trees. We propose a transformation technique whose ... 详细信息
来源: 评论