Ordered completion for first-order logic programs on finite structures

, , &
Artificial Intelligence 177-179 (C):1-24 (2012)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.artint.2011.11.001

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,247

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Ordered completion for logic programs with aggregates.Vernon Asuncion, Yin Chen, Yan Zhang & Yi Zhou - 2015 - Artificial Intelligence 224 (C):72-102.
Zhou Dunyi yan jiu zhu zuo shu yao.Jiangang Zhou - 2009 - Changsha: Hunan da xue chu ban she.
A formalization of programs in first-order logic with a discrete linear order.Fangzhen Lin - 2016 - Artificial Intelligence 235 (C):1-25.
Establishment of Zhou Dun-yi's Progenitor in Neo-Confucianism-Zhang Chi's Role in the Establishment of Zhou Dun-yi's Progenitor in Neo-Confucianism.Limei Wang - 2009 - Philosophy and Culture 36 (11):155-165.
A progression semantics for first-order logic programs.Yi Zhou & Yan Zhang - 2017 - Artificial Intelligence 250 (C):58-79.
Dang zhe xue yu shang jin dai wu li xue.Lide Zhang - 2010 - Taibei Xian Zhonghe Shi: Shui xing wen hua shi ye chu ban she.
Zhou yi si xiang yan jiu.Liwen Zhang - 1980 - Hubei sheng xin hua shu dian fa xing.
Zhang Junmai.Jiang Yongzhen zhu - 1999 - In Shuangqing Li, Yongzhen Jiang & Jiping Wu (eds.), Zhang bing lin, ou yang jing wu, liang qi chao, ma yi fu. Taibei Shi:
Zhou yi shi yi yan jiu.Wenqin Lin - 2002 - Taibei Shi: Guo li bian yi guan.
Bian Zhou Yi Ye Li Xue Yu Zhongguo Hua Xue Yan Jiu = Pian Zhou Yi Ye.Liangzhi Zhu - 1999

Analytics

Added to PP
2020-12-22

Downloads
20 (#1,039,559)

6 months
7 (#706,906)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Yan Zhang
Hong Kong Baptist University
Yi Zhou

Citations of this work

A progression semantics for first-order logic programs.Yi Zhou & Yan Zhang - 2017 - Artificial Intelligence 250 (C):58-79.

Add more citations

References found in this work

Stable models and circumscription.Paolo Ferraris, Joohyung Lee & Vladimir Lifschitz - 2011 - Artificial Intelligence 175 (1):236-263.

Add more references