咨询与建议

限定检索结果

文献类型

  • 32 篇 期刊文献
  • 8 篇 会议
  • 1 篇 学位论文

馆藏范围

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

日期分布

学科分类号

  • 40 篇 工学
    • 39 篇 计算机科学与技术...
    • 19 篇 软件工程
    • 1 篇 电子科学与技术(可...
  • 15 篇 理学
    • 15 篇 数学
  • 1 篇 管理学
    • 1 篇 管理科学与工程(可...

主题

  • 41 篇 functional logic...
  • 9 篇 program transfor...
  • 5 篇 partial evaluati...
  • 5 篇 narrowing
  • 3 篇 debugging
  • 3 篇 lazy narrowing
  • 3 篇 narrowing strate...
  • 3 篇 non-determinism
  • 2 篇 equilibrium logi...
  • 2 篇 constraints
  • 2 篇 partial function...
  • 2 篇 constraint solvi...
  • 2 篇 implementation
  • 2 篇 answer set progr...
  • 2 篇 curry
  • 2 篇 unification
  • 2 篇 needed narrowing
  • 2 篇 constructive fai...
  • 1 篇 fuzzy logic
  • 1 篇 business process...

机构

  • 6 篇 portland state u...
  • 2 篇 univ kiel inst i...
  • 2 篇 cau kiel inst in...
  • 2 篇 univ udine i-331...
  • 2 篇 uclm dept inform...
  • 2 篇 univ politecn va...
  • 2 篇 univ a coruna de...
  • 2 篇 cau kiel inst in...
  • 1 篇 dep. sistemas in...
  • 1 篇 univ bundeswehr ...
  • 1 篇 univ complutense...
  • 1 篇 christian albrec...
  • 1 篇 univ siena i-531...
  • 1 篇 univ kiel kiel
  • 1 篇 univ complutense...
  • 1 篇 univ complutense...
  • 1 篇 institut für inf...
  • 1 篇 univ politecn va...
  • 1 篇 univ malaga dept...
  • 1 篇 univ kiel d-2409...

作者

  • 6 篇 antoy sergio
  • 6 篇 hanus michael
  • 4 篇 vidal g
  • 3 篇 moreno g
  • 3 篇 alpuente m
  • 2 篇 albert e
  • 2 篇 hanus m
  • 2 篇 cabalar pedro
  • 2 篇 falaschi m
  • 1 篇 romero-diaz carl...
  • 1 篇 takahashi hideka...
  • 1 篇 ida t
  • 1 篇 alqaddoumi abdul...
  • 1 篇 ballis d.
  • 1 篇 michael hanus
  • 1 篇 correa f.
  • 1 篇 dylus sandra
  • 1 篇 saenz-perez f.
  • 1 篇 teegen finn
  • 1 篇 rodríguez-artale...

语言

  • 33 篇 英文
  • 8 篇 其他
检索条件"主题词=Functional logic programming"
41 条 记 录,以下是11-20 订阅
排序:
Constraint functional logic programming over finite domains
收藏 引用
THEORY AND PRACTICE OF logic programming 2007年 第5期7卷 537-582页
作者: Fernandez, Antonio J. Univ Malaga Dpto Lenguajes & Ciencias Computac E-29071 Malaga Spain Univ Complutense Madrid Dpto Sistemas Informat & Programac E-28040 Madrid Spain
In this paper, we present our proposal to Constraint functional logic programming over Finite Domains (CFLP(FD)) with a lazy functional logic programming language which seamlessly embodies finite domain (FD) constrain... 详细信息
来源: 评论
A Proposal for the Cooperation of Solvers in Constraint functional logic programming
收藏 引用
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE 2007年 188卷 37-51页
作者: Estevez-Martin, S. Fernandez, A. J. Hortala-Gonzalez, T. Rodriguez-Artalejo, M. Saenz-Perez, F. del Vado-Virseda, R. Univ Complutense Madrid Dept Sistemas Informaticos & Programac Madrid Spain Univ Malaga Dept Lenguajes & Ciencias Computac Malaga Spain
This paper presents a proposal for the cooperation of solvers in constraint functional logic programming, a quite expressive programming paradigm which combines functional, logic and constraint programming using const... 详细信息
来源: 评论
On the correctness of pull-tabbing
收藏 引用
THEORY AND PRACTICE OF logic programming 2011年 第4-5期11卷 713-730页
作者: Antoy, Sergio Portland State Univ Dept Comp Sci Portland OR 97207 USA
Pull-tabbing is an evaluation approach for functional logic computations, based on a graph transformation recently proposed, which avoids making irrevocable nondeterministic choices that would jeopardize the completen... 详细信息
来源: 评论
functional answer set programming
收藏 引用
THEORY AND PRACTICE OF logic programming 2011年 第2-3期11卷 203-233页
作者: Cabalar, Pedro Univ A Coruna Dept Comp Sci Corunna Spain
In this paper we propose an extension of Answer Set programming (ASP) to deal with (possibly partial) evaluable functions. To this aim, we start from the most general logical counterpart of ASP, Quantified Equilibrium... 详细信息
来源: 评论
functional answer set programming
Functional answer set programming
收藏 引用
24th International Conference on logic programming (ICLP)
作者: Cabalar, Pedro Univ A Coruna Dept Comp Sci Corunna Spain
In this paper we propose an extension of Answer Set programming (ASP) to deal with (possibly partial) evaluable functions. To this aim, we start from the most general logical counterpart of ASP, Quantified Equilibrium... 详细信息
来源: 评论
ECOTRUCK: An Agent System for Paper Recycling  1
收藏 引用
12th INNS EANN-SIG International Conference (EANN 2011)/7th IFIP 12 5 International Conference (AIAI 2011)
作者: Bezirgiannis, Nikolaos Sakellariou, Ilias Univ Utrecht Dept Inf & Comp Sci POB 80-089 NL-3508 TB Utrecht Netherlands Univ Macedonia Dept Appl Informat Thessaloniki 54124 Greece
Recycling has been gaining ground, thanks to the recent progress made in the related technology. However, a limiting factor to its wide adoption, is the lack of modern tools for managing the collection of recyclable r... 详细信息
来源: 评论
An integrated framework for the diagnosis and correction of rule-based programs
收藏 引用
THEORETICAL COMPUTER SCIENCE 2010年 第47期411卷 4055-4101页
作者: Alpuente, M. Ballis, D. Correa, F. Falaschi, M. Univ Udine I-33100 Udine Italy Univ Politecn Valencia ELP DSIC E-46071 Valencia Spain U EAFIT Medellin Colombia Univ Siena I-53100 Siena Italy
We present a generic scheme for the declarative debugging of programs that are written in rewriting-based languages that are equipped with narrowing. Our aim is to provide an integrated development environment in whic... 详细信息
来源: 评论
programming with narrowing: A tutorial
收藏 引用
JOURNAL OF SYMBOLIC COMPUTATION 2010年 第5期45卷 501-522页
作者: Antoy, Sergio Portland State Univ Dept Comp Sci Portland OR 97207 USA
Narrowing is a computation implemented by some declarative programming languages. Research in the last decade has produced significant results on the theory and foundation of narrowing, but little has been published o... 详细信息
来源: 评论
Liberal Typing for functional logic Programs
Liberal Typing for Functional Logic Programs
收藏 引用
8th Asian Symposium on programming Languages and Systems
作者: Lopez-Fraguas, Francisco Martin-Martin, Enrique Rodriguez-Hortala, Juan Univ Complutense Madrid Dept Sistemas Informat & Computac E-28040 Madrid Spain
We propose a new type system for functional logic programming which is more liberal than the classical Damas-Milner usually adopted, but it is also restrictive enough to ensure type soundness. Starting from Damas-Miln... 详细信息
来源: 评论
Evaluation strategies for functional logic programming
收藏 引用
JOURNAL OF SYMBOLIC COMPUTATION 2005年 第1期40卷 875-903页
作者: Antoy, S Portland State Univ Dept Comp Sci Portland OR 97207 USA
Recent advances in the foundations and the implementations of functional logic programming languages originate from far-reaching results on narrowing evaluation strategies. Narrowing is a computation similar to rewrit... 详细信息
来源: 评论