Back to Results
First PageMeta Content
Model theory / Information science / Ontology / Boolean satisfiability problem / Description logic / First-order logic / Algorithm / Axiom / Satisfiability / Logic / Mathematical logic / Mathematics


Document Date: 2008-01-29 07:56:37

Open Document

File Size: 1,02 MB

Share Result on Facebook

City

Hustadt / /

Facility

University of Manchester / /

IndustryTerm

search using backjumping / /

Organization

University of Manchester / Faculty of Science and Engineering / By Ian R. Horrocks Department of Computer Science Contents Abstract / /

Person

Ian R. Horrocks / Terminological Axioms / /

Position

General / Author / /

ProvinceOrState

Q.C . / /

Technology

71 5 Optimising Tableaux Algorithms / Optimised Search Algorithm / 2.1 Satisfiability Testing Algorithms / Tableaux Algorithm / Caching / 41 3 Tableaux Algorithms / /

SocialTag