Výsledky vyhledávání - "Nonnumerical Algorithms AND Problem—Complexity of Proof Procedures*"

On the complexity of Horn description logics

Autoři: Markus Krötzsch Sebastian Rudolph Pascal Hitzler a další

Přispěvatelé: Markus Krötzsch Sebastian Rudolph Pascal Hitzler a další

Zdroj: http://knoesis.wright.edu/faculty/pascal/resources/publications/Hitzler-submission-HornDLs.pdf.

Témata: 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

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.614.7386

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.614.7386
http://knoesis.wright.edu/faculty/pascal/resources/publications/Hitzler-submission-HornDLs.pdf

On the complexity of Horn description logics

Autoři: Markus Krötzsch Sebastian Rudolph Pascal Hitzler a další

Přispěvatelé: Markus Krötzsch Sebastian Rudolph Pascal Hitzler a další

Zdroj: http://tocl.acm.org/accepted/TOCL-2011-0035.pdf.

Témata: 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

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.297.4594

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.297.4594
http://tocl.acm.org/accepted/TOCL-2011-0035.pdf

Complexities of Horn Description Logics.

Autoři: KRÖTZSCH, MARKUS RUDOLPH, SEBASTIAN HITZLER, PASCAL

Zdroj: ACM Transactions on Computational Logic; Feb2013, Vol. 14 Issue 1, p1-36, 36p

Témata: COMPUTATIONAL complexity, DESCRIPTION logics, DISJUNCTION (Logic), NATURAL language processing, MATHEMATICAL transformations, MATHEMATICAL models