咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是131-140 订阅
Proving Theorems by Program Transformation
收藏 引用
FUNDAMENTA INFORMATICAE 2013年 第1-4期127卷 115-134页
作者: Fioravanti, Fabio Pettorossi, Alberto Proietti, Maurizio Senni, Valerio Univ G dAnnunzio I-65127 Pescara Italy Univ Roma Tor Vergata I-00133 Rome Italy CNR IASI I-00185 Rome Italy Inst Adv Studies IMT Lucca Italy
In this paper we present an overview of the unfold/fold proof method, a method for proving theorems about programs, based on program transformation. As a metalanguage for specifying programs and program properties we ... 详细信息
来源: 评论
A Practical Decision Procedure for Quantifier-Free, Decidable Languages Extended with Restricted Quantifiers
收藏 引用
JOURNAL OF AUTOMATED REASONING 2024年 第4期68卷 23页
作者: Cristia, Maximiliano Rossi, Gianfranco Univ Nacl Rosario Rosario Argentina UNR CIFASIS CONICET Rosario Argentina Univ Parma Parma Italy
Let L(X )be the language of a first-order, decidable, quantifier-free theory X. Consider the language, L-RQ(X), that extends L-X with formulas of the form for all x is an element of A : phi (restricted universal quant... 详细信息
来源: 评论
Program Verification using constraint Handling Rules and Array constraint Generalizations
收藏 引用
FUNDAMENTA INFORMATICAE 2017年 第1期150卷 73-117页
作者: De Angelis, Emanuele Pettorossi, Alberto Fioravanti, Fabio Proietti, Maurizio Univ G dAnnunzio Viale Pindaro 42 I-65127 Pescara Italy Univ Roma Tor Vergata Via Politecn 1 I-00133 Rome Italy CNR IASI Via Taurini 19 I-00185 Rome Italy
The transformation of constraint logic programs (CLP programs) has been shown to be an effective methodology for verifying properties of imperative programs. By following this methodology, we encode the negation of a ... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Dischargeable Obligations in the SCIFF Framework
收藏 引用
FUNDAMENTA INFORMATICAE 2020年 第3-4期176卷 321-348页
作者: Alberti, Marco Gavanelli, Marco Lamma, Evelina Riguzzi, Fabrizio Satoh, Ken Zese, Riccardo Univ Ferrara Dipartimento Matemat & Informat Via Saragat 1 I-44122 Ferrara Italy Univ Ferrara Dipartimento Ingn Via Saragat 1 I-44122 Ferrara Italy Natl Inst Informat Principles Informat Res Div Chiyoda Ku 2-1-2 Hitotsubashi Tokyo 1018430 Japan
Abductive logic programming (ALP) has been proven very effective for formalizing societies of agents, commitments and norms, in particular by mapping the most common deontic operators (obligation, prohibition, permiss... 详细信息
来源: 评论
CLP-based protein fragment assembly
收藏 引用
THEORY AND PRACTICE OF logic programming 2010年 第4-6期10卷 709-724页
作者: Dal Palu, Alessandro Dovier, Agostino Fogolari, Federico Pontelli, Enrico Univ Parma Dept Math I-43100 Parma Italy Univ Udine Dept Math & Comp Sci I-33100 Udine Italy Univ Udine Dept Biomed Sci I-33100 Udine Italy New Mexico State Univ Dept Comp Sci Las Cruces NM 88003 USA
The paper investigates a novel approach, based on constraint logic programming (CLP), to predict the 3D conformation of a protein via fragments assembly. The fragments are extracted by a preprocessor-also developed fo... 详细信息
来源: 评论
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 ... 详细信息
来源: 评论
Capacitated vehicle routing problem with pick-up and alternative delivery (CVRPPAD): model and implementation using hybrid approach
收藏 引用
ANNALS OF OPERATIONS RESEARCH 2019年 第1-2期273卷 257-277页
作者: Sitek, Pawel Wikarek, Jaroslaw Kielce Univ Technol Dept Informat Syst Kielce Poland
The paper presents an optimization model and its implementation using a hybrid approach for the Capacitated Vehicle Routing Problem with Pick-up and Alternative Delivery (CVRPPAD). The development of the CVRPPAD was m... 详细信息
来源: 评论
A constraint-BASED REASONING FRAMEWORK FOR BEHAVIORAL ANIMATION
收藏 引用
COMPUTER GRAPHICS FORUM 1994年 第5期13卷 315-324页
作者: MAH, S CALVERT, TW HAVENS, W Graphics and Multimedia Research Lab / Intelligent Systems Lab School of Computing Science Simon Fraser University Burnaby B.C. Canada V5A 1S6 e-mail: sang@cs.sfu.ca tom@cs.sfu.ca havens@cs.sfu.ca
Behaviour is a reflection of a reasoning process that must deal with constraints imposed by an external environment, internal knowledge and physical structure. This paper proposes a framework for behavioural animation... 详细信息
来源: 评论
Typing constraint logic programs
收藏 引用
THEORY AND PRACTICE OF logic programming 2001年 第6期1卷 751-777页
作者: Fages, F Coquery, E INRIA Rocquencourt Projet Contraintes F-78153 Le Chesnay France
We present a prescriptive type system with parametric polymorphism and subtyping for constraint logic programs. The aim of this type system is to detect programming errors statically. It introduces a type discipline f... 详细信息
来源: 评论