咨询与建议

限定检索结果

文献类型

  • 30 篇 会议
  • 2 册 图书

馆藏范围

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

日期分布

学科分类号

  • 28 篇 工学
    • 28 篇 计算机科学与技术...
    • 19 篇 软件工程
    • 1 篇 电气工程
    • 1 篇 信息与通信工程
    • 1 篇 控制科学与工程
    • 1 篇 农业工程
  • 3 篇 理学
    • 2 篇 数学
    • 1 篇 生物学
    • 1 篇 系统科学
  • 3 篇 管理学
    • 2 篇 管理科学与工程(可...
    • 1 篇 图书情报与档案管...
  • 1 篇 农学
    • 1 篇 作物学

主题

  • 10 篇 logic programmin...
  • 3 篇 functional progr...
  • 2 篇 computer circuit...
  • 2 篇 semantics
  • 1 篇 program debuggin...
  • 1 篇 logic-programmin...
  • 1 篇 language-oriente...
  • 1 篇 computational co...
  • 1 篇 possible worlds
  • 1 篇 automation of ll...
  • 1 篇 functional progr...
  • 1 篇 software enginee...
  • 1 篇 recursive task-f...
  • 1 篇 constraints
  • 1 篇 system performan...
  • 1 篇 knowledge captur...
  • 1 篇 llm-based algori...
  • 1 篇 size change grap...
  • 1 篇 higher-order log...
  • 1 篇 higher-order pro...

机构

  • 2 篇 univ tokyo
  • 1 篇 katholieke univ ...
  • 1 篇 univ southern ca...
  • 1 篇 department of co...
  • 1 篇 departamento de ...
  • 1 篇 univ complutense...
  • 1 篇 univ melbourne d...
  • 1 篇 ge global res ni...
  • 1 篇 natl inst adv in...
  • 1 篇 natl inst adv in...
  • 1 篇 institut für inf...
  • 1 篇 univ munster d-4...
  • 1 篇 rwth aachen lehr...
  • 1 篇 roskilde univers...
  • 1 篇 dep. sistemas in...
  • 1 篇 ben gurion univ ...
  • 1 篇 natl inst inform...
  • 1 篇 univ massachuset...
  • 1 篇 kyushu inst tech...
  • 1 篇 karlsruhe univer...

作者

  • 1 篇 winkler s.t.
  • 1 篇 ida t
  • 1 篇 stuckey peter j.
  • 1 篇 porto antónio
  • 1 篇 fassbender h
  • 1 篇 van den berg bir...
  • 1 篇 chitil o
  • 1 篇 gregor h
  • 1 篇 kriener jael
  • 1 篇 rodríguez artale...
  • 1 篇 echahed r
  • 1 篇 loyer yann
  • 1 篇 codish michael
  • 1 篇 rodríguez-artale...
  • 1 篇 guo hai-feng
  • 1 篇 lux w
  • 1 篇 moitra abha
  • 1 篇 sánchez-hernánde...
  • 1 篇 tarau paul
  • 1 篇 caballero rafael

语言

  • 32 篇 英文
检索条件"任意字段=7th International Symposium on Functional and Logic Programming, FLOPS 2004"
32 条 记 录,以下是1-10 订阅
排序:
7th international symposium on functional and logic programming, flops 2004
7th International Symposium on Functional and Logic Programm...
收藏 引用
7th international symposium on functional and logic programming, flops 2004
the proceedings contain 21 papers. the special focus in this conference is on logic, functional-logic programming, Applications, Program Analysis, Rewriting and Semantics. the topics include: A brief survey of quantum...
来源: 评论
On the Effectiveness of Higher-Order logic programming in Language-Oriented programming  15th
On the Effectiveness of Higher-Order Logic Programming in La...
收藏 引用
15th international symposium on functional and logic programming (flops)
作者: Cimini, Matteo Univ Massachusetts Lowell Lowell MA 01854 USA
In previous work we have presented lang-n-play, a functional language-oriented programming language with languages as first-class-citizens. Language definitions can be bound to variables, passed to and returned by fun... 详细信息
来源: 评论
Direct Encodings of NP-Complete Problems into Horn Sequents of Multiplicative Linear logic  1
收藏 引用
14th international symposium on functional and logic programming (flops)
作者: Matsuoka, Satoshi Natl Inst Adv Ind Sci & Technol 1-1-1 Umezono Tsukuba Ibaraki 3058565 Japan
In this paper, we provide direct encodings into Horn sequents of Multiplicative Linear logic for two NP-complete problems, 3D MATCHING and PARTITION. their correctness proofs are given by using a characterization of m... 详细信息
来源: 评论
Twelf and delphin:: logic and functional programming in a meta-logical framework
Twelf and delphin:: Logic and functional programming in a me...
收藏 引用
7th international symposium on functional and logic programming
作者: Schürmann, C Yale Univ New Haven CT 06520 USA
来源: 评论
Mutual Exclusion by Interpolation  12
Mutual Exclusion by Interpolation
收藏 引用
11th international symposium on functional and logic programming (flops)
作者: Kriener, Jael King, Andy Univ Kent Canterbury CT2 7NF Kent England
the question of what constraints must hold for a predicate to behave as a ( partial) function, is key to understanding the behaviour of a logic program. It has been shown how this question can be answered by combining... 详细信息
来源: 评论
A functional Account of Probabilistic programming with Possible Worlds Declarative Pearl  1
收藏 引用
16th international symposium on functional and logic programming (flops)
作者: van den Berg, Birthe Schrijvers, Tom Katholieke Univ Leuven Leuven Belgium
While there has been much cross-fertilization between functional and logic programming-e.g., leading to functional models of many Prolog features-this appears to be much less the case regarding probabilistic programmi... 详细信息
来源: 评论
Asynchronous Unfold/Fold Transformation for Fixpoint logic  1
收藏 引用
16th international symposium on functional and logic programming (flops)
作者: Al Ameen, Mahmudul Faisal Kobayashi, Naoki Sato, Ryosuke Univ Tokyo Tokyo Japan
Various program verification problems for functional programs can be reduced to the validity checking problem for formulas of a fixpoint logic. Recently, Kobayashi et al. have shown that the unfold/fold transformation... 详细信息
来源: 评论
Program logic for Higher-Order Probabilistic Programs in Isabelle/HOL  1
收藏 引用
16th international symposium on functional and logic programming (flops)
作者: Hirata, Michikazu Minamide, Yasuhiko Sato, Tetsuya Tokyo Inst Technol Sch Comp Tokyo Japan
the verification framework PPV (Probabilistic Program Verification) verifies functional probabilistic programs supporting higher-order functions, continuous distributions, and conditional inference. PPV is based on th... 详细信息
来源: 评论
Explanations as Programs in Probabilistic logic programming  1
收藏 引用
16th international symposium on functional and logic programming (flops)
作者: Vidal, German Univ Politecn Valencia VRAIN Valencia Spain
the generation of comprehensible explanations is an essential feature of modern artificial intelligence systems. In this work, we consider probabilistic logic programming, an extension of logic programming which can b... 详细信息
来源: 评论
Implementing encapsulated search for a lazy functional logic language  4th
Implementing encapsulated search for a lazy functional logic...
收藏 引用
4th Fuji international symposium on functional and logic programming (flops 99)
作者: Lux, W Univ Munster D-4400 Munster Germany
A distinguishing feature of logic and functional logic languages is their ability to perform computations with partial data and to search for solutions of a goal. Having a built-in search strategy is convenient but no... 详细信息
来源: 评论