Class information for: |
Basic class information |
| Class id | #P | Avg. number of references |
Database coverage of references |
|---|---|---|---|
| 28600 | 203 | 26.7 | 18% |
Hierarchy of classes |
The table includes all classes above and classes immediately below the current class. |
| Cluster id | Level | Cluster label | #P |
|---|---|---|---|
| 9 | 4 | COMPUTER SCIENCE, THEORY & METHODS//COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE//COMPUTER SCIENCE, INFORMATION SYSTEMS | 1247339 |
| 148 | 3 | COMPUTER SCIENCE, SOFTWARE ENGINEERING//COMPUTER SCIENCE, THEORY & METHODS//ACM SIGPLAN NOTICES | 63683 |
| 708 | 2 | COMPUTER SCIENCE, THEORY & METHODS//JOURNAL OF AUTOMATED REASONING//LAMBDA CALCULUS | 12890 |
| 28600 | 1 | ORDER SORTED LOGIC//FEATURE LOGIC//PSI TERMS | 203 |
Terms with highest relevance score |
| rank | Term | termType | Chi square | Shr. of publ. in class containing term |
Class's shr. of term's tot. occurrences |
#P with term in class |
|---|---|---|---|---|---|---|
| 1 | ORDER SORTED LOGIC | authKW | 670051 | 3% | 64% | 7 |
| 2 | FEATURE LOGIC | authKW | 481345 | 2% | 80% | 4 |
| 3 | PSI TERMS | authKW | 451262 | 1% | 100% | 3 |
| 4 | TREE ORDERINGS | authKW | 338445 | 1% | 75% | 3 |
| 5 | SET CONSTRAINTS | authKW | 320452 | 3% | 30% | 7 |
| 6 | SECOND ORDER MONADIC LOGIC | authKW | 300842 | 1% | 100% | 2 |
| 7 | LATTICE BASED REASONING | authKW | 200560 | 1% | 67% | 2 |
| 8 | LOGIC LANGUAGE | authKW | 200560 | 1% | 67% | 2 |
| 9 | ATTRIBUTE VALUE DESCRIPTIONS | authKW | 150421 | 0% | 100% | 1 |
| 10 | CAMBRIDGE COMP SCI | address | 150421 | 0% | 100% | 1 |
Web of Science journal categories |
| Rank | Term | Chi square | Shr. of publ. in class containing term |
Class's shr. of term's tot. occurrences |
#P with term in class |
|---|---|---|---|---|---|
| 1 | Computer Science, Theory & Methods | 5775 | 46% | 0% | 94 |
| 2 | Computer Science, Artificial Intelligence | 5109 | 41% | 0% | 84 |
| 3 | Computer Science, Information Systems | 1252 | 21% | 0% | 42 |
| 4 | Computer Science, Software Engineering | 688 | 14% | 0% | 28 |
| 5 | Computer Science, Hardware & Architecture | 283 | 7% | 0% | 14 |
| 6 | Logic | 247 | 2% | 0% | 5 |
| 7 | Mathematics, Applied | 108 | 10% | 0% | 21 |
| 8 | Language & Linguistics | 77 | 3% | 0% | 6 |
| 9 | Linguistics | 65 | 3% | 0% | 6 |
| 10 | Religion | 45 | 2% | 0% | 4 |
Address terms |
| Rank | Term | Chi square | Shr. of publ. in class containing term |
Class's shr. of term's tot. occurrences |
#P with term in class |
|---|---|---|---|---|---|
| 1 | CAMBRIDGE COMP SCI | 150421 | 0% | 100% | 1 |
| 2 | DEUT FOR UNGSZENTRUM KUNSTLICHE INTELLIGENZ | 150421 | 0% | 100% | 1 |
| 3 | DFKI PROGRAMMING SYST | 150421 | 0% | 100% | 1 |
| 4 | EUREKA PROJECT PROTOS | 150421 | 0% | 100% | 1 |
| 5 | INFORMAT COMP TECH | 150421 | 0% | 100% | 1 |
| 6 | SCI INFORMAT PROGRAMAC | 150421 | 0% | 100% | 1 |
| 7 | URA 369LIFL | 150421 | 0% | 100% | 1 |
| 8 | ATTORNEY GEN | 85952 | 1% | 29% | 2 |
| 9 | LISI UFR INFORMAT | 75209 | 0% | 50% | 1 |
| 10 | SCI FEW | 75209 | 0% | 50% | 1 |
Journals |
| Rank | Term | Chi square | Shr. of publ. in class containing term |
Class's shr. of term's tot. occurrences |
#P with term in class |
|---|---|---|---|---|---|
| 1 | JOURNAL OF LOGIC PROGRAMMING | 16738 | 3% | 2% | 7 |
| 2 | LECTURE NOTES IN ARTIFICIAL INTELLIGENCE | 14614 | 20% | 0% | 40 |
| 3 | NEW GENERATION COMPUTING | 9074 | 3% | 1% | 6 |
| 4 | INFORMATION AND DECISION TECHNOLOGIES | 4117 | 1% | 1% | 2 |
| 5 | LECTURE NOTES IN COMPUTER SCIENCE | 3416 | 22% | 0% | 45 |
| 6 | ARTIFICIAL INTELLIGENCE | 3220 | 3% | 0% | 7 |
| 7 | COMPUTATIONAL LINGUISTICS | 3099 | 1% | 1% | 3 |
| 8 | INFORMATION AND COMPUTATION | 2559 | 3% | 0% | 6 |
| 9 | THEORETICAL COMPUTER SCIENCE | 2357 | 6% | 0% | 13 |
| 10 | ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE | 1532 | 1% | 0% | 3 |
Author Key Words |
| Rank | Term | Chi square | Shr. of publ. in class containing term |
Class's shr. of term's tot. occurrences |
#P with term in class |
LCSH search | Wikipedia search |
|---|---|---|---|---|---|---|---|
| 1 | ORDER SORTED LOGIC | 670051 | 3% | 64% | 7 | Search ORDER+SORTED+LOGIC | Search ORDER+SORTED+LOGIC |
| 2 | FEATURE LOGIC | 481345 | 2% | 80% | 4 | Search FEATURE+LOGIC | Search FEATURE+LOGIC |
| 3 | PSI TERMS | 451262 | 1% | 100% | 3 | Search PSI+TERMS | Search PSI+TERMS |
| 4 | TREE ORDERINGS | 338445 | 1% | 75% | 3 | Search TREE+ORDERINGS | Search TREE+ORDERINGS |
| 5 | SET CONSTRAINTS | 320452 | 3% | 30% | 7 | Search SET+CONSTRAINTS | Search SET+CONSTRAINTS |
| 6 | SECOND ORDER MONADIC LOGIC | 300842 | 1% | 100% | 2 | Search SECOND+ORDER+MONADIC+LOGIC | Search SECOND+ORDER+MONADIC+LOGIC |
| 7 | LATTICE BASED REASONING | 200560 | 1% | 67% | 2 | Search LATTICE+BASED+REASONING | Search LATTICE+BASED+REASONING |
| 8 | LOGIC LANGUAGE | 200560 | 1% | 67% | 2 | Search LOGIC+LANGUAGE | Search LOGIC+LANGUAGE |
| 9 | ATTRIBUTE VALUE DESCRIPTIONS | 150421 | 0% | 100% | 1 | Search ATTRIBUTE+VALUE+DESCRIPTIONS | Search ATTRIBUTE+VALUE+DESCRIPTIONS |
| 10 | COMMITTED CHOICE LANGUAGES | 150421 | 0% | 100% | 1 | Search COMMITTED+CHOICE+LANGUAGES | Search COMMITTED+CHOICE+LANGUAGES |
Core articles |
The table includes core articles in the class. The following variables is taken into account for the relevance score of an article in a cluster c: (1) Number of references referring to publications in the class. (2) Share of total number of active references referring to publications in the class. (3) Age of the article. New articles get higher score than old articles. (4) Citation rate, normalized to year. |
| Rank | Reference | # ref. in cl. |
Shr. of ref. in cl. |
Citations |
|---|---|---|---|---|
| 1 | CHARATONIK, W , PACHOLSKI, L , (2010) SET CONSTRAINTS WITH PROJECTIONS.JOURNAL OF THE ACM. VOL. 57. ISSUE 4. P. - | 13 | 76% | 2 |
| 2 | CHARATONIK, W , PODELSKI, A , (2002) SET CONSTRAINTS WITH INTERSECTION.INFORMATION AND COMPUTATION. VOL. 179. ISSUE 2. P. 213 -229 | 10 | 71% | 2 |
| 3 | KANEIWA, K , (2011) EXISTENTIAL RIGIDITY AND MANY MODALITIES IN ORDER-SORTED LOGIC.KNOWLEDGE-BASED SYSTEMS. VOL. 24. ISSUE 5. P. 629-641 | 8 | 67% | 0 |
| 4 | KANEIWA, K , (2004) ORDER-SORTED LOGIC PROGRAMMING WITH PREDICATE HIERARCHY.ARTIFICIAL INTELLIGENCE. VOL. 158. ISSUE 2. P. 155-188 | 9 | 69% | 15 |
| 5 | KANEIWA, K , MIZOGUCHI, R , NGUYEN, PHP , (2015) A LOGICAL AND ONTOLOGICAL FRAMEWORK FOR COMPOSITIONAL CONCEPTS OF OBJECTS AND PROPERTIES.NEW GENERATION COMPUTING. VOL. 33. ISSUE 2. P. 149 -172 | 6 | 75% | 0 |
| 6 | MULLER, M , NIEHREN, J , (2000) ORDERING CONSTRAINTS OVER FEATURE TREES EXPRESSED IN SECOND-ORDER MONADIC LOGIC.INFORMATION AND COMPUTATION. VOL. 159. ISSUE 1-2. P. 22 -58 | 8 | 80% | 2 |
| 7 | BERTINO, E , ELMAGARMID, AK , HACID, MS , (2003) ORDERING AND PATH CONSTRAINTS OVER SEMISTRUCTURED DATA.JOURNAL OF INTELLIGENT INFORMATION SYSTEMS. VOL. 20. ISSUE 2. P. 181 -206 | 8 | 73% | 1 |
| 8 | HACID, MS , TOUMANI, F , ELMAGARMID, AK , (2001) CONSTRAINT-BASED APPROACH TO SEMISTRUCTURED DATA.FUNDAMENTA INFORMATICAE. VOL. 47. ISSUE 1-2. P. 53 -73 | 7 | 88% | 0 |
| 9 | KANEIWA, K , (2004) RESOLUTION FOR LABEL-BASED FORMULAS IN HIERARCHICAL REPRESENTATION.NEW GENERATION COMPUTING. VOL. 22. ISSUE 3. P. 253-269 | 7 | 78% | 0 |
| 10 | BACKOFEN, R , SMOLKA, G , (1995) A COMPLETE AND RECURSIVE FEATURE THEORY.THEORETICAL COMPUTER SCIENCE. VOL. 146. ISSUE 1-2. P. 243-268 | 7 | 100% | 8 |
Classes with closest relation at Level 1 |