Class information for:
Level 1: JOURNAL OF LOGIC PROGRAMMING//THEORY AND PRACTICE OF LOGIC PROGRAMMING//ABSTRACT INTERPRETATION

Basic class information
ID Publications Average number
of references		 Avg. shr. active
ref. in WoS
3933 1803 26.9 22%


Bar chart of Publication_year

Last years might be incomplete

Classes in level above (level 2)


ID, lev.
above		 Publications Label for level above
1026 9754 LAMBDA CALCULUS//JOURNAL OF AUTOMATED REASONING//LINEAR LOGIC

Terms with highest relevance score


Rank Term Type of term Relevance score
(tfidf)		 Class's shr.
of term's tot.
occurrences		 Shr. of publ.
in class containing
term		 Num. of
publ. in
class
1 JOURNAL OF LOGIC PROGRAMMING Journal 101 42% 10% 185
2 THEORY AND PRACTICE OF LOGIC PROGRAMMING Journal 32 26% 6% 104
3 ABSTRACT INTERPRETATION Author keyword 30 24% 6% 111
4 LOGIC PROGRAMMING Author keyword 29 17% 9% 157
5 FUNCTIONAL LOGIC PROGRAMMING Author keyword 26 64% 1% 25
6 OR PARALLELISM Author keyword 25 65% 1% 24
7 NEW GENERATION COMPUTING Journal 20 18% 6% 102
8 PROLOG Author keyword 17 21% 4% 74
9 PARTIAL DEDUCTION Author keyword 15 68% 1% 13
10 PARALLEL LOGIC PROGRAMMING Author keyword 14 64% 1% 14

Web of Science journal categories

Author Key Words


Rank Web of Science journal category Relevance score
(tfidf)		 Class's shr.
of term's tot.
occurrences		 Shr. of publ.
in class containing
term		 Num. of
publ. in
class		 LCSH search Wikipedia search
1 ABSTRACT INTERPRETATION 30 24% 6% 111 Search ABSTRACT+INTERPRETATION Search ABSTRACT+INTERPRETATION
2 LOGIC PROGRAMMING 29 17% 9% 157 Search LOGIC+PROGRAMMING Search LOGIC+PROGRAMMING
3 FUNCTIONAL LOGIC PROGRAMMING 26 64% 1% 25 Search FUNCTIONAL+LOGIC+PROGRAMMING Search FUNCTIONAL+LOGIC+PROGRAMMING
4 OR PARALLELISM 25 65% 1% 24 Search OR+PARALLELISM Search OR+PARALLELISM
5 PROLOG 17 21% 4% 74 Search PROLOG Search PROLOG
6 PARTIAL DEDUCTION 15 68% 1% 13 Search PARTIAL+DEDUCTION Search PARTIAL+DEDUCTION
7 PARALLEL LOGIC PROGRAMMING 14 64% 1% 14 Search PARALLEL+LOGIC+PROGRAMMING Search PARALLEL+LOGIC+PROGRAMMING
8 GROUNDNESS ANALYSIS 14 100% 0% 7 Search GROUNDNESS+ANALYSIS Search GROUNDNESS+ANALYSIS
9 LOGIC PROGRAMMING SYSTEM 11 78% 0% 7 Search LOGIC+PROGRAMMING+SYSTEM Search LOGIC+PROGRAMMING+SYSTEM
10 FINITE FAILURE 9 83% 0% 5 Search FINITE+FAILURE Search FINITE+FAILURE

Key Words Plus


Rank Web of Science journal category Relevance score
(tfidf)		 Class's shr.
of term's tot.
occurrences		 Shr. of publ.
in class containing
term		 Num. of
publ. in
class
1 PROLOG 96 49% 8% 144
2 ABSTRACT INTERPRETATION 66 49% 5% 97
3 LOGIC PROGRAMS 56 26% 10% 187
4 PARTIAL DEDUCTION 55 78% 2% 36
5 UNFOLD FOLD TRANSFORMATION 26 87% 1% 13
6 UP ABSTRACT INTERPRETATION 21 90% 0% 9
7 CONSTRAINT LOGIC PROGRAMS 15 67% 1% 14
8 WELL FOUNDED MEASURES 14 100% 0% 7
9 PROLOG PROGRAMS 13 62% 1% 13
10 STRICTNESS ANALYSIS 10 57% 1% 12

Journals


Rank Web of Science journal category Relevance score
(tfidf)		 Class's shr.
of term's tot.
occurrences		 Shr. of publ.
in class containing
term		 Num. of
publ. in
class
1 JOURNAL OF LOGIC PROGRAMMING 101 42% 10% 185
2 THEORY AND PRACTICE OF LOGIC PROGRAMMING 32 26% 6% 104
3 NEW GENERATION COMPUTING 20 18% 6% 102
4 JOURNAL OF PROGRAMMING LANGUAGES 2 18% 1% 10

Reviews


Title Publ. year Cit. Active
references		 % act. ref.
to same field
ABSTRACT INTERPRETATION AND APPLICATION TO LOGIC PROGRAMS 1992 213 16 69%
Functional Logic Programming 2010 15 9 89%
Parallel execution of prolog programs: A survey 2001 38 66 86%
Logic program specialisation through partial deduction: Control issues 2002 24 50 78%
CONSTRAINT LOGIC PROGRAMMING - A SURVEY 1994 86 45 33%
TERMINATION OF LOGIC PROGRAMS - THE NEVER-ENDING STORY 1994 10 31 87%
THE DEEVOLUTION OF CONCURRENT LOGIC PROGRAMMING-LANGUAGES 1995 11 8 75%
TRANSFORMATION OF LOGIC PROGRAMS - FOUNDATIONS AND TECHNIQUES 1994 9 48 79%
THE S-SEMANTICS APPROACH - THEORY AND APPLICATIONS 1994 8 24 83%
THE INTEGRATION OF FUNCTIONS INTO LOGIC PROGRAMMING - FROM THEORY TO PRACTICE 1994 12 40 58%

Address terms


Rank Address term Relevance score
(tfidf)		 Class's shr.
of term's tot.
occurrences		 Shr. of publ.
in class containing
term		 Num. of
publ. in
class
1 DSIC 9 22% 2.1% 37
2 DPTO LSI 6 80% 0.2% 4
3 EL COMP ENG 6 80% 0.2% 4
4 DCC FC 4 36% 0.6% 10
5 DCCFC 4 75% 0.2% 3
6 COPPE SYST 3 100% 0.2% 3
7 DPTO LSIIS 3 100% 0.2% 3
8 LIACC 3 14% 1.1% 20
9 CLIP GRP 2 67% 0.1% 2
10 DCC FG 2 67% 0.1% 2

Related classes at same level (level 1)


Rank Relatedness score Related classes
1 0.0000153423 PARTIAL EVALUATION//CPS TRANSFORMATION//BINDING TIME ANALYSIS
2 0.0000128949 ORDER SORTED LOGIC//PSI TERMS//TREE ORDERINGS
3 0.0000106964 TERM REWRITING//LUFG INFORMAT 2//TERM REWRITING SYSTEMS
4 0.0000092290 ANSWER SET PROGRAMMING//NONMONOTONIC REASONING//DEFAULT LOGIC
5 0.0000085142 CONSTRUCTIVE ALGORITHMICS//SKELETAL PARALLEL PROGRAMMING//BIRD MEERTENS FORMALISM
6 0.0000079246 FUNCTIONAL REACTIVE PROGRAMMING//LANGUAGE EMBEDDINGS//DACTL
7 0.0000069073 CONSTRAINTS//CORK CONSTRAINT COMPUTAT//GLOBAL CONSTRAINTS
8 0.0000068532 ABSTRACT INTERPRETATION//PREDICATE ABSTRACTION//SATISFIABILITY MODULO THEORIES
9 0.0000064413 ABSTRACT STATE MACHINES//COREASM//DIP TECNOL INFORMAZ
10 0.0000061401 CERTAIN ANSWERS//SCHEMA MAPPINGS//RECURSIVE QUERY EVALUATION