Class information for: |
Basic class information |
Class id | #P | Avg. number of references |
Database coverage of references |
---|---|---|---|
7591 | 1349 | 25.8 | 22% |
Hierarchy of classes |
The table includes all classes above and classes immediately below the current class. |
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 | JOURNAL OF LOGIC PROGRAMMING | journal | 1022500 | 10% | 32% | 141 |
2 | LOGIC PROGRAMMING | authKW | 610316 | 10% | 20% | 138 |
3 | ABSTRACT INTERPRETATION | authKW | 576047 | 7% | 26% | 99 |
4 | PROLOG | authKW | 560762 | 6% | 33% | 75 |
5 | OR PARALLELISM | authKW | 523929 | 2% | 93% | 25 |
6 | THEORY AND PRACTICE OF LOGIC PROGRAMMING | journal | 418143 | 7% | 20% | 93 |
7 | PARALLEL LOGIC PROGRAMMING | authKW | 273222 | 1% | 93% | 13 |
8 | NEW GENERATION COMPUTING | journal | 255211 | 6% | 14% | 82 |
9 | AND PARALLELISM | authKW | 248973 | 1% | 100% | 11 |
10 | TABLING | authKW | 244432 | 1% | 60% | 18 |
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 | 86896 | 69% | 0% | 935 |
2 | Computer Science, Software Engineering | 24569 | 31% | 0% | 422 |
3 | Logic | 20541 | 9% | 1% | 116 |
4 | Computer Science, Hardware & Architecture | 6171 | 12% | 0% | 165 |
5 | Computer Science, Artificial Intelligence | 3489 | 14% | 0% | 185 |
6 | Computer Science, Information Systems | 866 | 7% | 0% | 96 |
7 | COMPUTER APPLICATIONS & CYBERNETICS | 411 | 1% | 0% | 7 |
8 | Mathematics, Applied | 37 | 3% | 0% | 47 |
9 | Computer Science, Interdisciplinary Applications | 10 | 1% | 0% | 19 |
10 | Robotics | -0 | 0% | 0% | 1 |
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 | DCC FC | 78035 | 1% | 34% | 10 |
2 | DPTO LSI | 72427 | 0% | 80% | 4 |
3 | EL COMP ENG | 72427 | 0% | 80% | 4 |
4 | COPPE SYST | 67902 | 0% | 100% | 3 |
5 | DCCFC | 67902 | 0% | 100% | 3 |
6 | LIACC | 58375 | 1% | 13% | 20 |
7 | BLACKWATCH TECHNOL INC | 45268 | 0% | 100% | 2 |
8 | CASE 2 212 | 45268 | 0% | 100% | 2 |
9 | SERV AUTOMAZ 9 | 45268 | 0% | 100% | 2 |
10 | DIPARTIMENTO INFORMAT | 43184 | 6% | 3% | 76 |
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 | 1022500 | 10% | 32% | 141 |
2 | THEORY AND PRACTICE OF LOGIC PROGRAMMING | 418143 | 7% | 20% | 93 |
3 | NEW GENERATION COMPUTING | 255211 | 6% | 14% | 82 |
4 | LECTURE NOTES IN COMPUTER SCIENCE | 41506 | 30% | 0% | 403 |
5 | ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS | 36943 | 3% | 4% | 39 |
6 | SIGPLAN NOTICES | 32993 | 4% | 3% | 50 |
7 | JOURNAL OF PROGRAMMING LANGUAGES | 25854 | 1% | 14% | 8 |
8 | COMPUTER LANGUAGES | 16105 | 1% | 5% | 14 |
9 | THEORETICAL COMPUTER SCIENCE | 9677 | 5% | 1% | 68 |
10 | INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING | 9206 | 1% | 2% | 17 |
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 | LOGIC PROGRAMMING | 610316 | 10% | 20% | 138 | Search LOGIC+PROGRAMMING | Search LOGIC+PROGRAMMING |
2 | ABSTRACT INTERPRETATION | 576047 | 7% | 26% | 99 | Search ABSTRACT+INTERPRETATION | Search ABSTRACT+INTERPRETATION |
3 | PROLOG | 560762 | 6% | 33% | 75 | Search PROLOG | Search PROLOG |
4 | OR PARALLELISM | 523929 | 2% | 93% | 25 | Search OR+PARALLELISM | Search OR+PARALLELISM |
5 | PARALLEL LOGIC PROGRAMMING | 273222 | 1% | 93% | 13 | Search PARALLEL+LOGIC+PROGRAMMING | Search PARALLEL+LOGIC+PROGRAMMING |
6 | AND PARALLELISM | 248973 | 1% | 100% | 11 | Search AND+PARALLELISM | Search AND+PARALLELISM |
7 | TABLING | 244432 | 1% | 60% | 18 | Search TABLING | Search TABLING |
8 | LOGIC PROGRAMMING SYSTEM | 160950 | 1% | 89% | 8 | Search LOGIC+PROGRAMMING+SYSTEM | Search LOGIC+PROGRAMMING+SYSTEM |
9 | GROUNDNESS ANALYSIS | 158437 | 1% | 100% | 7 | Search GROUNDNESS+ANALYSIS | Search GROUNDNESS+ANALYSIS |
10 | TERMINATION ANALYSIS | 133998 | 1% | 39% | 15 | Search TERMINATION+ANALYSIS | Search TERMINATION+ANALYSIS |
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 | GUPTA, G , PONTELLI, E , ALI, KAM , CARLSSON, M , HERMENEGILDO, MV , (2001) PARALLEL EXECUTION OF PROLOG PROGRAMS: A SURVEY.ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS. VOL. 23. ISSUE 4. P. 472 -602 | 62 | 87% | 44 |
2 | HERMENEGILDO, MV , BUENO, F , CARRO, M , LOPEZ-GARCIA, P , MERA, E , MORALES, JF , PUEBLA, G , (2012) AN OVERVIEW OF CIAO AND ITS DESIGN PHILOSOPHY.THEORY AND PRACTICE OF LOGIC PROGRAMMING. VOL. 12. ISSUE . P. 219 -252 | 27 | 84% | 19 |
3 | GENAIM, S , KING, A , (2008) INFERRING NON-SUSPENSION CONDITIONS FOR LOGIC PROGRAMS WITH DYNAMIC SCHEDULING.ACM TRANSACTIONS ON COMPUTATIONAL LOGIC. VOL. 9. ISSUE 3. P. - | 28 | 97% | 3 |
4 | PEDRESCHI, D , RUGGIERI, S , SMAUS, JG , (2004) CHARACTERISATIONS OF TERMINATION IN LOGIC PROGRAMMING.PROGRAM DEVELOPMENT IN COMPUTATIONAL LOGIC. VOL. 3049. ISSUE . P. 376-431 | 31 | 97% | 0 |
5 | LE CHARLIER, B , ROSSI, S , VAN HENTENRYCK, P , (2002) SEQUENCE-BASED ABSTRACT INTERPRETATION OF PROLOG.THEORY AND PRACTICE OF LOGIC PROGRAMMING. VOL. 2. ISSUE . P. 25 -84 | 32 | 91% | 6 |
6 | HOWE, JM , KING, A , LU, LJ , (2004) ANALYSING LOGIC PROGRAMS BY REASONING BACKWARDS.PROGRAM DEVELOPMENT IN COMPUTATIONAL LOGIC. VOL. 3049. ISSUE . P. 152-188 | 30 | 88% | 5 |
7 | PEDRESCHI, D , RUGGIERI, S , (2002) CLASSES OF TERMINATING LOGIC PROGRAMS.THEORY AND PRACTICE OF LOGIC PROGRAMMING. VOL. 2. ISSUE . P. 369 -418 | 27 | 93% | 9 |
8 | BAGNARA, R , GORI, R , HILL, PM , ZAFFANELLA, E , (2004) FINITE-TREE ANALYSIS FOR CONSTRAINT LOGIC-BASED LANGUAGES.INFORMATION AND COMPUTATION. VOL. 193. ISSUE 2. P. 84 -116 | 25 | 93% | 3 |
9 | AMATO, G , SCOZZARI, F , (2010) ON THE INTERACTION BETWEEN SHARING AND LINEARITY.THEORY AND PRACTICE OF LOGIC PROGRAMMING. VOL. 10. ISSUE . P. 49 -112 | 19 | 100% | 1 |
10 | DRABENT, W , (2016) CORRECTNESS AND COMPLETENESS OF LOGIC PROGRAMS.ACM TRANSACTIONS ON COMPUTATIONAL LOGIC. VOL. 17. ISSUE 3. P. - | 18 | 82% | 1 |
Classes with closest relation at Level 1 |