archives

Browse by Subject: Deduction and Theorem Proving (F.4.1)

Home

About

Browse

Search

Register

Subscriptions

Deposit Papers

Help

(Top Level)

Computing Methodologies

ARTIFICIAL INTELLIGENCE (3)

Deduction and Theorem Proving (F.4.1) (2)

This subject category contains 2 entries

Bao, Jie, Caragea, Doina and Honavar, Vasant (2006) A Tableau-based Federated Reasoning Algorithm for Modular Ontologies. Technical Report, Computer Science, Iowa State University.

Bao, Jie, Caragea, Doina and Honavar, Vasant (2006) A Tableau-based Federated Reasoning Algorithm for Modular Ontologies. Technical Report, Computer Science, Iowa State University.

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