咨询与建议

限定检索结果

文献类型

  • 24 篇 会议
  • 1 册 图书
  • 1 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 20 篇 工学
    • 20 篇 计算机科学与技术...
    • 15 篇 软件工程
    • 1 篇 力学(可授工学、理...
    • 1 篇 电气工程
    • 1 篇 控制科学与工程
  • 9 篇 理学
    • 8 篇 数学
    • 2 篇 物理学
    • 1 篇 生物学
    • 1 篇 统计学(可授理学、...
  • 1 篇 管理学
    • 1 篇 图书情报与档案管...

主题

  • 8 篇 logic programmin...
  • 7 篇 semantics
  • 1 篇 computer circuit...
  • 1 篇 head
  • 1 篇 restricted resid...
  • 1 篇 system identific...
  • 1 篇 bsp
  • 1 篇 algorithm develo...
  • 1 篇 neural networks
  • 1 篇 logic
  • 1 篇 transputers
  • 1 篇 determinacy
  • 1 篇 evolutionary alg...
  • 1 篇 computer program...
  • 1 篇 semigroupoids
  • 1 篇 algebra
  • 1 篇 computer program...
  • 1 篇 haskell
  • 1 篇 artificial neura...
  • 1 篇 functional progr...

机构

  • 1 篇 departamento de ...
  • 1 篇 dipartimento di ...
  • 1 篇 so connecticut s...
  • 1 篇 department of co...
  • 1 篇 mcmaster univ de...
  • 1 篇 gruppe lwi insti...
  • 1 篇 institute of com...
  • 1 篇 dipartimento di ...
  • 1 篇 university of os...
  • 1 篇 dipartimento di ...
  • 1 篇 computer science...
  • 1 篇 swedish institut...
  • 1 篇 institut für inf...
  • 1 篇 department of co...
  • 1 篇 institut für inf...
  • 1 篇 university of st...
  • 1 篇 computer science...
  • 1 篇 univ paris e lac...
  • 1 篇 deutsches forsch...
  • 1 篇 eth zürich unive...

作者

  • 1 篇 iwayama noboru
  • 1 篇 ciampolini anna
  • 1 篇 mayr klaus
  • 1 篇 ornaghi mario
  • 1 篇 kahl wolfram
  • 1 篇 ramírez maría jo...
  • 1 篇 hodas joshua s.
  • 1 篇 gava frederic
  • 1 篇 boley harold
  • 1 篇 zlatuška jiří
  • 1 篇 lamma evelina
  • 1 篇 parikh ja
  • 1 篇 fortin jean
  • 1 篇 caferra ricardo
  • 1 篇 stefanelli cesar...
  • 1 篇 falaschi moreno
  • 1 篇 jonker catholijn...
  • 1 篇 keronen seppo
  • 1 篇 reddy uday s.
  • 1 篇 roy dyckhoff

语言

  • 25 篇 英文
  • 1 篇 其他
检索条件"任意字段=4th International Workshop on Extensions of Logic Programming, ELP 1993"
26 条 记 录,以下是1-10 订阅
排序:
Datalog-2.0 2022 - Proceedings of the 4th international workshop on the Resurgence of Datalog in Academia and Industry, co-located with the 16th international Conference on logic programming and Nonmonotonic Reasoning, LPNMR 2022
Datalog-2.0 2022 - Proceedings of the 4th International Work...
收藏 引用
4th international workshop on the Resurgence of Datalog in Academia and Industry, Datalog-2.0 2022
the proceedings contain 21 papers. the topics discussed include: novel techniques in datalog optimization;certain answers of extensions of conjunctive queries by datalog and first-order rewriting;querying data exchang...
来源: 评论
BSP-WHY: an Intermediate Language for Deductive Verification of BSP Programs
BSP-WHY: an Intermediate Language for Deductive Verification...
收藏 引用
4th workshop on High-level Parallel programming and Applications
作者: Fortin, Jean Gava, Frederic Univ Paris E LACL F-94010 Creteil France
We present BSP-Why, a tool for verifying BSP programs. It is intended to be used as an intermediate core-language for verification tools (mainly condition generators) of BSP extensions of realistic programming languag... 详细信息
来源: 评论
Relational semigroupoids: Abstract relation-algebraic interfaces for finite relations between infinite types
收藏 引用
JOURNAL OF logic AND ALGEBRAIC programming 2008年 第1期76卷 60-89页
作者: Kahl, Wolfram McMaster Univ Dept Comp & Software Hamilton ON L8S 4K1 Canada
Finite maps or finite relations between infinite sets do not even form a category, since the necessary identities are not finite. We show relation-algebraic extensions of semigroupoids where the operations that would ... 详细信息
来源: 评论
4th international workshop on extensions of logic programming, elp 1993
4th International Workshop on Extensions of Logic Programmin...
收藏 引用
4th international workshop on extensions of logic programming, elp 1993
the proceedings contain 22 papers. the special focus in this conference is on extensions of logic programming. the topics include: Design for AKL with intelligent pruning;birkhoff's HSP-theorem for cumulative logi...
来源: 评论
Proof-theory for extensions of logic programming  5th
收藏 引用
5th international workshop on extensions of logic programming, elp 1996
作者: Jonker, Catholijn M. Institut für Informatik und angewandte Mathematik Universität Bern Switzerland Department of Computer Science Free University De Boelelaaa 1081a AmsterdamHV1081 Netherlands
the focus of this paper lies on the proof-theory for extensions of logic programming in which it is possible to draw negative conclusions both in a direct (i.e., based on a proof) and in an indirect (i.e., based on th... 详细信息
来源: 评论
A significant extension of logic programming by adapting model building rules  5th
收藏 引用
5th international workshop on extensions of logic programming, elp 1996
作者: Caferra, Ricardo Peltier, Nicolas LIFIA-IMAG 46 Avenue Félix Viallet Grenoble Cedex38031 France
A method by the authors for automated model building is extended and specialized in a natural way in order to increase the possibilities of logic programming. A rather complete, though reasonably short, description of... 详细信息
来源: 评论
Extending constructive negation for partial functions in lazy functional-logic languages  5th
收藏 引用
5th international workshop on extensions of logic programming, elp 1996
作者: Moreno-Navarro, Juan José U. Politécnica Campus de Montegancedo Boadilla del MonteMadrid28660 Spain
In this paper the mechanism of Default Rules for narrowing-based languages proposed in [24] is adapted to lazy narrowing. Every partial definition of a function can be completed with a default rule. In a concrete func... 详细信息
来源: 评论
extensions of logic programming: Proceedings of the 4th international workshop, elp '93, St. Andrews, U. K., March 29 - April 1, 1993
收藏 引用
1994年
作者: Roy Dyckhoff
来源: 评论
Higher-order aspects of logic programming  4th
Higher-order aspects of logic programming
收藏 引用
4th international workshop on extensions of logic programming, elp 1993
作者: Reddy, Uday S. Department of Computer Science University of Illinois at Urbana-Champaign UrbanaIL61801 United States
Are higher-order extensions to logic programming needed? We suggest a negative answer by showing that higher-order features are already available in pure logic programming. It is demonstrated that higher-order lambda ... 详细信息
来源: 评论
Non-procedural logic programming  4th
Non-procedural logic programming
收藏 引用
4th international workshop on extensions of logic programming, elp 1993
作者: Keronen, Seppo Wilhelm-Schickard-Institut Universität Tübingen Sand 13 TübingenD-72076 Germany
We present a logic programming language where both problem domain and computational knowledge are expressed in logic. A logic program in this language consists of an object-program and a number of meta-programs. the o... 详细信息
来源: 评论