咨询与建议

限定检索结果

文献类型

  • 8 篇 期刊文献
  • 4 篇 会议

馆藏范围

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

日期分布

学科分类号

  • 9 篇 工学
    • 9 篇 计算机科学与技术...
    • 6 篇 软件工程
  • 8 篇 理学
    • 8 篇 数学
  • 1 篇 哲学

主题

  • 12 篇 negation in logi...
  • 3 篇 higher-order log...
  • 2 篇 extensional high...
  • 2 篇 approximation fi...
  • 1 篇 semantics of log...
  • 1 篇 termination
  • 1 篇 constraint logic...
  • 1 篇 3-valued logic
  • 1 篇 formal semantics
  • 1 篇 implementations ...
  • 1 篇 declarative prog...
  • 1 篇 specifications
  • 1 篇 preferential log...
  • 1 篇 program correctn...
  • 1 篇 infinite games
  • 1 篇 constructive neg...
  • 1 篇 extensional sema...
  • 1 篇 infinite-valued ...
  • 1 篇 semantics of pro...
  • 1 篇 strong equivalen...

机构

  • 3 篇 univ athens dept...
  • 2 篇 univ victoria de...
  • 2 篇 univ athens athe...
  • 2 篇 univ athens dept...
  • 1 篇 univ politecn ma...
  • 1 篇 warsaw univ inst...
  • 1 篇 okayama univ gra...
  • 1 篇 polish acad sci ...
  • 1 篇 dept. of compute...
  • 1 篇 dept. of compute...
  • 1 篇 linkoping univ d...
  • 1 篇 univ ioannina de...

作者

  • 7 篇 rondogiannis pan...
  • 5 篇 symeonidou ioann...
  • 2 篇 charalambidis an...
  • 2 篇 wadge william w.
  • 1 篇 muñoz s
  • 1 篇 milkowska m
  • 1 篇 drabent w
  • 1 篇 howard c. wasser...
  • 1 篇 keitaro yukawa
  • 1 篇 galanaki chrysid...
  • 1 篇 moreno-navarro j...
  • 1 篇 yamasaki susumu
  • 1 篇 nomikos christos
  • 1 篇 zhizhang shen

语言

  • 12 篇 英文
检索条件"主题词=negation in logic programming"
12 条 记 录,以下是11-20 订阅
排序:
The infinite-valued semantics: overview, recent results and future directions
收藏 引用
Journal of Applied Non-Classical logics 2013年 第1-2期23卷 213-228页
The infinite-valued semantics was introduced in Rondogiannis and Wadge (2005) as a purely logical way for capturing the meaning of well-founded negation in logic programming. The purpose of this paper is threefold: fi... 详细信息
来源: 评论
An alternative transformation rule for logic programs  95
An alternative transformation rule for logic programs
收藏 引用
Proceedings of the 1995 ACM symposium on Applied computing
作者: Howard C. Wasserman Keitaro Yukawa Zhizhang Shen Dept. of Computer Science Queens College CUNY Dept. of Computer Science Plymouth State College USNH Plymouth NH
来源: 评论