archives

EPrints submitted by Jia Tao

Home

About

Browse

Search

Register

Subscriptions

Deposit Papers

Help

Click here to see user's record.

User has submitted 3 EPrints

Tao, Jia, Slutzki, Giora and Honavar , Vasant (2010) A PSpace Tableau Algorithm for Acyclic Modalized ALC. Technical Report TR11-01, Computer Science, Iowa State University.

Tao, Jia (2010) Secrecy-preserving Query Answering for Instance Checking in EL. Technical Report TR10-03a, Computer Science, Iowa State University.

Tao, Jia, Slutzki, Giora and Honavar, Vasant (2010) Secrecy-preserving query answering in EL. Technical Report TR10-03, Computer Science, Iowa State University.

Contact site administrator at: ssg@cs.iastate.edu