咨询与建议
  • 全部搜索
  • 期刊论文
  • 图书
  • 学位论文
  • 标准
  • 纸本馆藏
  • 外文资源发现
  • 数据库导航
  • 超星发现
高级检索

限定检索结果

文献类型

  • 14 篇 会议

馆藏范围

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

日期分布

学科分类号

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

主题

  • 4 篇 computer circuit...
  • 4 篇 logic programmin...
  • 2 篇 semantics
  • 1 篇 constraint logic...
  • 1 篇 program transfor...
  • 1 篇 computers
  • 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

语言

  • 14 篇 英文
检索条件"任意字段=5th International Conferenceon Logic Programming and Automated Reasoning, LPAR 1994"
共 14 条 记 录，以下是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... 详细信息
来源： 评论
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 ... 详细信息
来源： 评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共2页 <<  < 1 2 >  >>
回到顶部
执行限定条件