• Reference Citation Analysis
  • v
  • v
  • Find an Article
Find an Article PDF (4617544)   Today's Articles (4498)   Subscriber (49398)
For: Lin F. Compiling Causal Theories to Successor State Axioms and STRIPS-Like Systems. J ARTIF INTELL RES 2003. [DOI: 10.1613/jair.1135] [Citation(s) in RCA: 4] [Impact Index Per Article: 0.2] [Reference Citation Analysis] [What about the content of this article? (0)] [Track Full Text] [Journal Information] [Subscribe] [Scholar Register] [Indexed: 11/04/2022]  Open
Number Cited by Other Article(s)
1
Feng R, Acar E, Wang Y, Liu W, Schlobach S, Ding W. Computing Sufficient and Necessary Conditions in CTL: A Forgetting Approach. Inf Sci (N Y) 2022. [DOI: 10.1016/j.ins.2022.10.124] [Citation(s) in RCA: 0] [Impact Index Per Article: 0] [Reference Citation Analysis] [Track Full Text] [Journal Information] [Subscribe] [Scholar Register] [Indexed: 11/06/2022]
2
Zhang H, Lin F. Characterizing causal action theories and their implementations in answer set programming. ARTIF INTELL 2017. [DOI: 10.1016/j.artint.2017.02.008] [Citation(s) in RCA: 0] [Impact Index Per Article: 0] [Reference Citation Analysis] [Track Full Text] [Journal Information] [Subscribe] [Scholar Register] [Indexed: 11/17/2022]
3
Lee J, Lin F. Loop formulas for circumscription. ARTIF INTELL 2006. [DOI: 10.1016/j.artint.2005.09.003] [Citation(s) in RCA: 4] [Impact Index Per Article: 0.2] [Reference Citation Analysis] [Track Full Text] [Journal Information] [Subscribe] [Scholar Register] [Indexed: 10/25/2022]
PrevPage 1 of 1 1Next
© 2004-2024 Baishideng Publishing Group Inc. All rights reserved. 7041 Koll Center Parkway, Suite 160, Pleasanton, CA 94566, USA