咨询与建议

限定检索结果

文献类型

  • 85 篇 期刊文献
  • 83 篇 会议
  • 3 册 图书
  • 3 篇 学位论文

馆藏范围

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

日期分布

学科分类号

  • 157 篇 工学
    • 138 篇 计算机科学与技术...
    • 68 篇 软件工程
    • 20 篇 电气工程
    • 12 篇 信息与通信工程
    • 9 篇 控制科学与工程
    • 3 篇 仪器科学与技术
    • 2 篇 机械工程
    • 2 篇 动力工程及工程热...
    • 2 篇 石油与天然气工程
    • 1 篇 力学(可授工学、理...
    • 1 篇 电子科学与技术(可...
    • 1 篇 土木工程
    • 1 篇 测绘科学与技术
    • 1 篇 航空宇航科学与技...
  • 29 篇 理学
    • 22 篇 数学
    • 3 篇 物理学
    • 2 篇 化学
    • 2 篇 生物学
    • 2 篇 统计学(可授理学、...
    • 1 篇 科学技术史(分学科...
  • 8 篇 管理学
    • 6 篇 管理科学与工程(可...
    • 1 篇 工商管理
    • 1 篇 图书情报与档案管...
  • 3 篇 哲学
    • 1 篇 哲学
  • 2 篇 教育学
    • 2 篇 教育学
  • 1 篇 农学
  • 1 篇 医学
    • 1 篇 基础医学(可授医学...

主题

  • 174 篇 declarative prog...
  • 18 篇 logic programmin...
  • 10 篇 answer set progr...
  • 8 篇 prolog
  • 6 篇 imperative progr...
  • 6 篇 constraint progr...
  • 5 篇 constraints
  • 5 篇 artificial intel...
  • 5 篇 program complete...
  • 5 篇 programming lang...
  • 4 篇 program correctn...
  • 4 篇 languages
  • 4 篇 extensible middl...
  • 4 篇 search
  • 4 篇 metadata
  • 4 篇 multidimensional...
  • 4 篇 separation of co...
  • 3 篇 cartesian progra...
  • 3 篇 parallelism
  • 3 篇 deductive databa...

机构

  • 6 篇 univ pisa dept c...
  • 3 篇 univ penn philad...
  • 3 篇 linkoping univ d...
  • 3 篇 univ new s wales...
  • 3 篇 polish acad sci ...
  • 2 篇 univ malaga lcc ...
  • 2 篇 vrije universite...
  • 2 篇 univ texas arlin...
  • 2 篇 linkoping univ i...
  • 2 篇 rise kista
  • 2 篇 cau kiel inst in...
  • 2 篇 univ parma dipar...
  • 2 篇 univ politecn va...
  • 2 篇 univ turku turku
  • 2 篇 polish acad sci ...
  • 2 篇 univ bergen berg...
  • 2 篇 univ americas pu...
  • 2 篇 johns hopkins un...
  • 2 篇 university of am...
  • 2 篇 vrije univ bruss...

作者

  • 7 篇 forti stefano
  • 7 篇 brogi antonio
  • 5 篇 drabent wlodzimi...
  • 4 篇 mancilla blanca
  • 4 篇 plaice john
  • 3 篇 ferrari gian-lui...
  • 3 篇 hellerstein jose...
  • 3 篇 calimeri frances...
  • 3 篇 loo boon thau
  • 3 篇 hanus michael
  • 3 篇 germano stefano
  • 3 篇 gopal sriram
  • 2 篇 barash mikhail
  • 2 篇 casadei roberto
  • 2 篇 stevens reinout
  • 2 篇 salvador lucas
  • 2 篇 henderson chris
  • 2 篇 varela carlos a.
  • 2 篇 stokke knut ande...
  • 2 篇 enrico pontelli

语言

  • 159 篇 英文
  • 14 篇 其他
  • 1 篇 中文
检索条件"主题词=Declarative Programming"
174 条 记 录,以下是41-50 订阅
排序:
Cartesian programming: The TransLucid programming Language
Cartesian Programming: The TransLucid Programming Language
收藏 引用
IEEE 33rd International Computer Software and Applications Conference
作者: Plaice, John Mancilla, Blanca Univ New S Wales Sch Comp Sci & Engn Sydney NSW 2052 Australia
The TransLucid programming language is a low-level intensional language, designed to be sufficiently rich for it to be the target language for translating the common programming paradigms into it, while still being fu... 详细信息
来源: 评论
Constraint-Based Sequence Mining Using Constraint programming  12
Constraint-Based Sequence Mining Using Constraint Programmin...
收藏 引用
12th International Conference on Integration of Artificial Intelligence (AI) and Operations Research (OR) Techniques in Constraint programming (CPAIOR)
作者: Negrevergne, Benjamin Guns, Tias Katholieke Univ Leuven DTAI Res Grp B-3000 Leuven Belgium
The goal of constraint-based sequence mining is to find sequences of symbols that are included in a large number of input sequences and that satisfy some constraints specified by the user. Many constraints have been p... 详细信息
来源: 评论
Integrating a General Search Agent into an Imperative programming Language  4
Integrating a General Search Agent into an Imperative Progra...
收藏 引用
4th IEEE International Conference on Artificial Intelligence and Knowledge Engineering (AIKE)
作者: Smith, James Henderson, Chris Bansal, Ajay Arizona State Univ Fulton Sch Engn Mesa AZ 85212 USA
Search is one of the more common strategies used by problem-solving agents. For many hard problems, a backtracking search can be the most effective approach for finding a solution. Logic programming languages provide,... 详细信息
来源: 评论
FOLASP: FO(.) as Input Language for Answer Set Solvers
收藏 引用
THEORY AND PRACTICE OF LOGIC programming 2021年 第6期21卷 785-801页
作者: Van Dessel, Kylian Devriendt, Jo Vennekens, Joost Katholieke Univ Leuven Dept Comp Sci De Nayer Campus St Katelijne Waver Belgium Katholieke Univ Leuven Inst AI Leuven AI Leuven Belgium
Technological progress in Answer Set programming (ASP) has been stimulated by the use of common standards, such as the ASP-Core-2 language. While ASP has its roots in nonmonotonic reasoning, efforts have also been mad... 详细信息
来源: 评论
Large-scale holistic approach to Web block classification: assembling the jigsaws of a Web page puzzle
收藏 引用
WORLD WIDE WEB-INTERNET AND WEB INFORMATION SYSTEMS 2019年 第5期22卷 1999-2015页
作者: Kravchenko, Andrey Univ Oxford Dept Comp Sci Oxford England
Web blocks are ubiquitous across the Web. Navigation menus, advertisements, headers, footers, and sidebars can be found almost on any website. Identifying these blocks can be of significant importance for tasks such a... 详细信息
来源: 评论
Evaluation of declarative n-queens recursion: A deductive database approach
收藏 引用
INFORMATION SCIENCES 1998年 第1-4期105卷 69-100页
作者: Han, JW Liu, L Lu, T Simon Fraser Univ Sch Comp Sci Burnaby BC V5A 1S6 Canada
Can we evaluate a logic program declaratively? That is, can a logic program be evaluated correctly and efficiently, independent of query modes and rule/predicate ordering, finding a complete set of answers, and termin... 详细信息
来源: 评论
declarative platform for high-performance network traffic analytics
收藏 引用
CLUSTER COMPUTING-THE JOURNAL OF NETWORKS SOFTWARE TOOLS AND APPLICATIONS 2014年 第4期17卷 1121-1137页
作者: Gill, Harjot Lin, Dong Cam Nguyen Gill, Tanveer Loo, Boon Thau Univ Penn Comp & Informat Sci Dept Philadelphia PA 19104 USA
This paper presents Scalanytics, a declarative platform that supports high-performance application layer analysis of network traffic. Scalanytics uses (1) stateful network packet processing techniques for extracting a... 详细信息
来源: 评论
On Correctness and Completeness of an n Queens Program
收藏 引用
THEORY AND PRACTICE OF LOGIC programming 2022年 第1期22卷 37-50页
作者: Drabent, Wlodzimierz Polish Acad Sci Inst Comp Sci Ul Jana Kazimierza 5 PL-01248 Warsaw Poland Linkoping Univ Dept Comp & Informat Sci S-58183 Linkoping Sweden
Thom Fruhwirth presented a short, elegant, and efficient Prolog program for the n queens problem. However, the program may be seen as rather tricky and one may not be convinced about its correctness. This paper explai... 详细信息
来源: 评论
A compiler for parsing schemata
收藏 引用
SOFTWARE-PRACTICE & EXPERIENCE 2009年 第5期39卷 441-470页
作者: Gomez-Rodriguez, C. Vilares, J. Alonso, M. A. Univ A Coruna Dept Computac Fac Informat Coruna 15071 A Spain
We present a compiler that can be used to automatically obtain efficient Java implementations of parsing algorithms from formal specifications expressed as parsing schemata. The system performs an analysis of the infe... 详细信息
来源: 评论
WebRB: A different way to write Web applications
收藏 引用
IEEE INTERNET COMPUTING 2008年 第3期12卷 52-61页
作者: Leff, Avraham Rayfield, James T. IBM Corp TJ Watson Res Ctr Armonk NY 10504 USA
Relational Blocks (RBlocks) is a visual dataflow language for writing multipage interactive applications that access, transform, and display relational data in a GUI. The authors present WebRB, an implementation of RB... 详细信息
来源: 评论