Concepedia

Yuting Zhao

YZ

6

Publications

606

Citations

6

H-Index

2002

Active since

Affiliations

University of Aberdeen(Current)

Hong Kong University of Science and Technology

Yuting Zhao is an author at University of Aberdeen specializing in automated reasoning, engineering, and computer science.

Top concepts

EngineeringAutomated ReasoningFormal MethodsComputer ScienceSemantic WebFormal VerificationSemanticsLogic ProgrammingDescription LogicsInformation Retrieval

Publications per year

2002–2016

6

Publications

6

ASSAT: computing answer sets of a logic program by SAT solvers

Fangzhen Lin, Yuting Zhao · Artificial Intelligence · 2004 · 418 citations

Engineering, Program Analysis, Answer Set Programming +11

ASSAT: computing answer sets of a logic program by SAT solvers

Fangzhen Lin, Yuting Zhao · National Conference on Artificial Intelligence · 2002 · 111 citations

Engineering, Program Analysis, Answer Set Programming +14

Tractable approximate deduction for OWL

Jeff Z. Pan, Yuan Ren, Yuting Zhao · Artificial Intelligence · 2016 · 28 citations

Engineering, Automated Reasoning, Description Logic +7

Completeness Guaranteed Approximations for OWL-DL Query Answering.

Jeff Z. Pan, Edward Thomas, Yuting Zhao · International Workshop Description Logics · 2009 · 20 citations

Engineering, Source Ontology, Semantic Web +16

Implementing and Evaluating a Rule-Based Approach to Querying Regular EL+ Ontologies

Yuting Zhao, Jeff Z. Pan, Yuan Ren · 2009 · 16 citations

Ontology (Information Science), Engineering, Ontology Engineering +21

Rows per page

1–5 of 6