Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Neng-Fa Zhou

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Yidong Shen

> Home > Persons > Neng-Fa Zhou

Publications

2011
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/lpnmr/ZhouSY11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpnmr/ZhouSY11
Neng-Fa Zhou, Yi-Dong Shen, Jia-Huai You:
Compiling Answer Set Programs into Event-Driven Action Rules. LPNMR 2011: 376-381
2008
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/tplp/ZhouSS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tplp/ZhouSS08
Neng-Fa Zhou, Taisuke Sato, Yi-Dong Shen:
Linear tabling strategies and optimizations. Theory Pract. Log. Program. 8(1): 81-109 (2008)
2007
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-0705-3468
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-0705-3468
Neng-Fa Zhou, Taisuke Sato, Yi-Dong Shen:
Linear Tabling Strategies and Optimizations. CoRR abs/0705.3468 (2007)
2004
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/ppdp/ZhouSS04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ppdp/ZhouSS04
Neng-Fa Zhou, Yi-Dong Shen, Taisuke Sato:
Semi-naive evaluation in linear tabling. PPDP 2004: 90-97
2001
[j5]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - journals/jflp/ZhouSYY01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jflp/ZhouSYY01
Neng-Fa Zhou, Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You:
Implementation of a Linear Tabling Mechanism. J. Funct. Log. Program. 2001(10) (2001)
[j4]
- view
  - electronic edition @ cambridge.org
  - no references & citations available
- export record
  dblp key:
  - journals/tplp/ShenYYZ01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tplp/ShenYYZ01
Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You, Neng-Fa Zhou:
Linear tabulated resolution based on Prolog control strategy. Theory Pract. Log. Program. 1(1): 71-103 (2001)
2000
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/padl/ZhouSYY00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/ZhouSYY00
Neng-Fa Zhou, Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You:
Implementation of a Linear Tabling Mechanism. PADL 2000: 109-123
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/cs-AI-0003046
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/cs-AI-0003046
Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You, Neng-Fa Zhou:
Linear Tabulated Resolution Based on Prolog Control Strategy. CoRR cs.AI/0003046 (2000)
1999
[c13]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/iclp/ZhouSYY99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclp/ZhouSYY99
Neng-Fa Zhou, Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You:
A Linear Tabling Mechanism. ICLP 1999: 618
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/lpnmr/ShenYYZ99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpnmr/ShenYYZ99
Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You, Neng-Fa Zhou:
Linear Tabulated Resolutions for the Well-Founded Semantics. LPNMR 1999: 192-205

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.