Search the dblp DataBase

Publications of Author

1. Fangzhen Lin, Yuting Zhao
   ASSAT: Computing Answer Sets of a Logic Program by SAT Solvers. [Citation Graph (0, 0)][DBLP]
   AAAI/IAAI, 2002, pp:112-0 [Conf]
   
2. Yuting Zhao, Luciano Serafini, Fausto Giunchiglia
   Autonomous Ontology: Operations and Semantics. [Citation Graph (0, 0)][DBLP]
   ASWC, 2006, pp:646-652 [Conf]
   
3. Yuting Zhao, Fangzhen Lin
   Answer Set Programming Phase Transition: A Study on Randomly Generated Programs. [Citation Graph (0, 0)][DBLP]
   ICLP, 2003, pp:239-253 [Conf]
   
4. Fangzhen Lin, Yuting Zhao
   ASSAT: computing answer sets of a logic program by SAT solvers. [Citation Graph (0, 0)][DBLP]
   Artif. Intell., 2004, v:157, n:1-2, pp:115-137 [Journal]
   
5. Yuting Zhao, Kewen Wang, Rodney W. Topor, Jeff Z. Pan, Fausto Giunchiglia
   Semantic Cooperation and Knowledge Reuse by Using Autonomous Ontologies. [Citation Graph (0, 0)][DBLP]
   ISWC/ASWC, 2007, pp:666-679 [Conf]
   
6. 
   Soundness Preserving Approximation for TBox Reasoning. [Citation Graph (, )][DBLP]
   
   
7. 
   Completeness Guaranteed Approximations for OWL-DL Query Answering. [Citation Graph (, )][DBLP]
   
   
8. 
   Validating Process Refinement with Ontologies. [Citation Graph (, )][DBLP]
   
   
9. 
   Soundness Preserving Approximation for TBox Reasoning in R. [Citation Graph (, )][DBLP]
   
   
10. 
    Implementing and Evaluating a Rule-Based Approach to Querying Regular EL+ Ontologies. [Citation Graph (, )][DBLP]
    
    
11. 
    Semantic Import: An Approach for Partial Ontology Reuse. [Citation Graph (, )][DBLP]
    
    
12. 
    Task Representation and Retrieval in an Ontology-Guided Modelling System. [Citation Graph (, )][DBLP]
    
    
13. 
    A Strongly Partitioned Operating System Model for Data Link Networks. [Citation Graph (, )][DBLP]
    
    
14. 
    Semantic Advertising for Web 3.0. [Citation Graph (, )][DBLP]