Class information for:
Level 1: PROOF SEARCH STARTEGIES//STRUCTURAL SYNTHESIS OF PROGRAMS//ATTRIBUTE SEMANTICS OF DECLARATIVE LANGUAGES

Basic class information

Bar chart of Publication_year

Last years might be incomplete

Hierarchy of classes

The table includes all classes above and classes immediately below the current class.



Cluster id Level Cluster label #P
12 4 COMPUTER SCIENCE, THEORY & METHODS//COMPUTER SCIENCE, INFORMATION SYSTEMS//COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE 1181119
149 3       COMPUTER SCIENCE, THEORY & METHODS//LECTURE NOTES IN COMPUTER SCIENCE//COMPUTER SCIENCE, SOFTWARE ENGINEERING 65076
704 2             ACM SIGPLAN NOTICES//COMPUTER SCIENCE, SOFTWARE ENGINEERING//LANGUAGES 13317
38649 1                   PROOF SEARCH STARTEGIES//STRUCTURAL SYNTHESIS OF PROGRAMS//ATTRIBUTE SEMANTICS OF DECLARATIVE LANGUAGES 57

Terms with highest relevance score



rank Category termType chi_square shrOfCwithTerm shrOfTermInClass termInClass
1 PROOF SEARCH STARTEGIES authKW 1105865 4% 100% 2
2 STRUCTURAL SYNTHESIS OF PROGRAMS authKW 1105865 4% 100% 2
3 ATTRIBUTE SEMANTICS OF DECLARATIVE LANGUAGES authKW 552933 2% 100% 1
4 BASIC PRIMAL LOGIC authKW 552933 2% 100% 1
5 DECLARATIVE REFLECTION authKW 552933 2% 100% 1
6 DIALOG SCENARIOS authKW 552933 2% 100% 1
7 ENGINEERING KNOWLEDGE REPRESENTATION authKW 552933 2% 100% 1
8 EXPERT CONCEPTUAL KNOWLEDGE authKW 552933 2% 100% 1
9 FLAT LANGUAGES authKW 552933 2% 100% 1
10 GRAPH HASHING authKW 552933 2% 100% 1

Web of Science journal categories



chi_square_rank Category chi_square shrOfCwithTerm shrOfTermInClass termInClass
1 Computer Science, Theory & Methods 1460 44% 0% 25
2 Computer Science, Artificial Intelligence 726 30% 0% 17
3 Computer Science, Hardware & Architecture 438 16% 0% 9
4 Computer Science, Software Engineering 388 19% 0% 11
5 Logic 142 4% 0% 2
6 Computer Science, Information Systems 35 7% 0% 4
7 Computer Science, Interdisciplinary Applications 32 7% 0% 4
8 Mathematics, Applied 21 9% 0% 5
9 Social Sciences, Mathematical Methods 10 2% 0% 1
10 Philosophy 5 2% 0% 1

Address terms



chi_square_rank term chi_square shrOfCwithTerm shrOfTermInClass termInClass
1 TELEINFORMAT 284354 11% 9% 6
2 COURANT COMP SCI 138232 2% 25% 1
3 AGROTECHNOL FOOD SCI GRP 3176 2% 1% 1
4 CYBERNET 2626 5% 0% 3
5 COMP INFORMAT SCI 796 7% 0% 4
6 INFORMAT MANAGEMENT 54 2% 0% 1
7 COMP SCI 11 4% 0% 2
8 SURG 0 2% 0% 1

Journals



chi_square_rank term chi_square shrOfCwithTerm shrOfTermInClass termInClass
1 COMPUTERS AND ARTIFICIAL INTELLIGENCE 20283 7% 1% 4
2 MICROPROCESSING AND MICROPROGRAMMING 12310 9% 0% 5
3 JOURNAL OF LOGIC PROGRAMMING 5023 4% 0% 2
4 KNOWLEDGE-BASED SYSTEMS 4687 9% 0% 5
5 FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF GRID COMPUTING AND ESCIENCE 3520 2% 1% 1
6 COMPUTING AND INFORMATICS 2880 4% 0% 2
7 COMPUTATIONAL AND MATHEMATICAL ORGANIZATION THEORY 2695 2% 0% 1
8 ARTIFICIAL INTELLIGENCE IN ENGINEERING 2210 2% 0% 1
9 IFIP TRANSACTIONS B-APPLICATIONS IN TECHNOLOGY 1980 2% 0% 1
10 REVIEW OF SYMBOLIC LOGIC 1829 2% 0% 1

Author Key Words



chi_square_rank term chi_square shrOfCwithTerm shrOfTermInClass termInClass LCSH search Wikipedia search
1 PROOF SEARCH STARTEGIES 1105865 4% 100% 2 Search PROOF+SEARCH+STARTEGIES Search PROOF+SEARCH+STARTEGIES
2 STRUCTURAL SYNTHESIS OF PROGRAMS 1105865 4% 100% 2 Search STRUCTURAL+SYNTHESIS+OF+PROGRAMS Search STRUCTURAL+SYNTHESIS+OF+PROGRAMS
3 ATTRIBUTE SEMANTICS OF DECLARATIVE LANGUAGES 552933 2% 100% 1 Search ATTRIBUTE+SEMANTICS+OF+DECLARATIVE+LANGUAGES Search ATTRIBUTE+SEMANTICS+OF+DECLARATIVE+LANGUAGES
4 BASIC PRIMAL LOGIC 552933 2% 100% 1 Search BASIC+PRIMAL+LOGIC Search BASIC+PRIMAL+LOGIC
5 DECLARATIVE REFLECTION 552933 2% 100% 1 Search DECLARATIVE+REFLECTION Search DECLARATIVE+REFLECTION
6 DIALOG SCENARIOS 552933 2% 100% 1 Search DIALOG+SCENARIOS Search DIALOG+SCENARIOS
7 ENGINEERING KNOWLEDGE REPRESENTATION 552933 2% 100% 1 Search ENGINEERING+KNOWLEDGE+REPRESENTATION Search ENGINEERING+KNOWLEDGE+REPRESENTATION
8 EXPERT CONCEPTUAL KNOWLEDGE 552933 2% 100% 1 Search EXPERT+CONCEPTUAL+KNOWLEDGE Search EXPERT+CONCEPTUAL+KNOWLEDGE
9 FLAT LANGUAGES 552933 2% 100% 1 Search FLAT+LANGUAGES Search FLAT+LANGUAGES
10 GRAPH HASHING 552933 2% 100% 1 Search GRAPH+HASHING Search GRAPH+HASHING

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.

Classes with closest relation at Level 1



rank cluster_id2 link
1 35778 LCD SCREEN//AUTOMATED PROOF SEARCH//BORUVKAS MINIMUM SPANNING TREE
2 28321 PROOF PLANNING//DEDUCTIVE PROGRAM SYNTHESIS//PROOF PATCHING
3 16278 SKELETAL PARALLEL PROGRAMMING//PROGRAM TRANSFORMATION//CONSTRUCTIVE ALGORITHMICS
4 29706 FEATURE INTERACTION//CALL PROCESSING LANGUAGE//IVR INTERACTIVE VOICE RESPONSE
5 23875 OBERON//MODULA 2//SIGPLAN NOTICES
6 10004 ATTRIBUTE GRAMMARS//LR PARSING//LANGUAGE COMPOSITION
7 25316 CODE GENERATOR GENERATOR//TREE PATTERN MATCHING//ARBOLOGY
8 31569 INTERMEDIATE COMPILER TARGET LANGUAGES//DACTL//EVIDENCE ALGORITHM
9 21518 IEEE MICRO//LOGICAL MACHINE//MICROSEQUENCER
10 14415 TREE TRANSDUCER//AUTOMATIC STRUCTURES//GRAPH GRAMMARS

Go to start page