Search Results - "Nonnumerical Algorithms and Problem—Complexity of Proof Procedures"
-
1
Authors: et al.
Contributors: et al.
Source: http://knoesis.wright.edu/faculty/pascal/resources/publications/Hitzler-submission-HornDLs.pdf.
Subject Terms: Categories and Subject Descriptors, I.2.4 [Knowledge Representation Formalisms and Methods, Representation languages, F.2.2. [Analysis of Algorithms and Problem Com- plexity, Nonnumerical Algorithms and Problem—Complexity of Proof Procedures, F.4.1 [Math- ematical Logic and Formal Languages, Mathematical Logic—Computational Logic General Terms, Languages, Theory Additional Key Words and Phrases, description logics, Horn logic, computational complexity
File Description: application/pdf
-
2
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors, I.2.4 [Knowledge Representation Formalisms and Methods, Representation languages, F.2.2. [Analysis of Algorithms and Problem Complexity, Nonnumerical Algorithms and Problem—Complexity of Proof Procedures, F.4.1 [Mathematical Logic and Formal Languages, Mathematical Logic—Computational Logic General Terms, Languages, Theory Additional Key Words and Phrases, description logics, Horn logic, computational complexity
File Description: application/pdf
Nájsť tento článok vo Web of Science