咨询与建议

限定检索结果

文献类型

  • 14 篇 会议
  • 1 册 图书

馆藏范围

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

日期分布

学科分类号

  • 13 篇 工学
    • 13 篇 计算机科学与技术...
    • 12 篇 软件工程
    • 1 篇 电气工程
    • 1 篇 信息与通信工程
  • 4 篇 理学
    • 4 篇 数学
    • 1 篇 物理学

主题

  • 4 篇 computer circuit...
  • 4 篇 logic programmin...
  • 2 篇 semantics
  • 1 篇 constraint logic...
  • 1 篇 theory of comput...
  • 1 篇 program transfor...
  • 1 篇 computer system ...
  • 1 篇 mathematical log...
  • 1 篇 computers
  • 1 篇 programming tech...
  • 1 篇 programming lang...
  • 1 篇 artificial intel...
  • 1 篇 temporal logic
  • 1 篇 finite domains

机构

  • 1 篇 institute for lo...
  • 1 篇 dept. of computi...
  • 1 篇 department of co...
  • 1 篇 department of co...
  • 1 篇 computer science...
  • 1 篇 faculty of infor...
  • 1 篇 facultad de info...
  • 1 篇 research institu...
  • 1 篇 institute for pr...
  • 1 篇 university of tr...
  • 1 篇 fg intellektik t...
  • 1 篇 the university o...
  • 1 篇 dept. of math. a...
  • 1 篇 depaxtment of co...
  • 1 篇 dept. of comp. s...
  • 1 篇 artificial intel...
  • 1 篇 irst - istituto ...
  • 1 篇 fachbereich info...

作者

  • 1 篇 duggan dominic
  • 1 篇 avenhaus jürgen
  • 1 篇 darlington john
  • 1 篇 egly uwe
  • 1 篇 guo yike
  • 1 篇 ramesh anavai
  • 1 篇 bruynooghc m.
  • 1 篇 giunchiglia faus...
  • 1 篇 hong hoon
  • 1 篇 codish m.
  • 1 篇 de schreye danny
  • 1 篇 duan zhenhua
  • 1 篇 lopes josé gabri...
  • 1 篇 hermenegildo m.
  • 1 篇 beckert bernhard
  • 1 篇 loŕa-sáenz carlo...
  • 1 篇 murray neil v.
  • 1 篇 holt chris
  • 1 篇 garcía de la ban...
  • 1 篇 koutny maciej

语言

  • 15 篇 英文
检索条件"任意字段=5th International Conferenceon Logic Programming and Automated Reasoning, LPAR 1994"
15 条 记 录,以下是11-20 订阅
排序:
Projection in temporal logic programming  5th
收藏 引用
5th international conferenceon logic programming and automated reasoning, lpar 1994
作者: Duan, Zhenhua Koutny, Maciej Holt, Chris Depaxtment of Computing Science University of Newcastle upon Tyne Newcastle upon TyneNE1 7RU United Kingdom Computer Science Department University of Sheffield Regent Court 211 Portobello Street SheffieldS1 4DP United Kingdom
We define a projection operator in the framework of the temporal logic programming. Its syntax mad semantics are presented and illustrated with examples. We also discuss the implementation details of the projection co... 详细信息
来源: 评论
A bottom-up reconstruction of the well-founded semantics for disjunctive logic programs  5th
收藏 引用
5th international conferenceon logic programming and automated reasoning, lpar 1994
作者: Papp, Cristian Faculty of Informatics University "Al. I. Cuza" LasiR-6600 Romania
In his paper [12] Ross extends the well-founded semantics for normal logic programs [16] to disjunctive logic programs. His definition is top-down and it is closer to a procedural semantics than to the elegant fixpoin... 详细信息
来源: 评论
On anti-links  5th
收藏 引用
5th international conferenceon logic programming and automated reasoning, lpar 1994
作者: Beckert, Bernhard Hähnle, Reiner Ramesh, Anavai Murray, Neil V. Institute for Logic Complexity and Deduction Systems Universität Karlsruhe Karlsruhe Germany Institute for Programming & Logics Department of Computer Science University at Albany AlbanyNY12222 United States
the concept of anti-link is defined, and useful equivalence-preserving operations on propositional formulas based on anti-links are introduced. these operations eliminate a potentially large number of subsumed paths i... 详细信息
来源: 评论
logic programming and automated reasoning  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
this volume presents the proceedings of the 5th international Conference on logic programming and automated reasoning, held aboard the ship "Marshal Koshevoi" on the Dnieper near Kiev, Ukraine in July 1994. ... 详细信息
来源: 评论
Goal dependent vs. Goal independent analysis of logic programs  5th
收藏 引用
5th international conferenceon logic programming and automated reasoning, lpar 1994
作者: Codish, M. García de la Bands, M. Bruynooghc, M. Hermenegildo, M. Dept. of Math. and Comp. Sci. Ben-Gurion Univ. Israel Facultad de Informática Universidad Politécnica de Madrid Spain Dept. of Comp. Sci. Katholieke Universiteit Leuven Belgium
Goal independent analysis of logic programs is commonly discussed in the context of the bottom-up approach. However, while the literature is rich in descriptions of top-down analysers and their application, practical ... 详细信息
来源: 评论