Class information for:
Level 1: JOURNAL OF AUTOMATED REASONING//AUTOMATED THEOREM PROVING//MIZAR

Basic class information
Class id #P Avg. number of
references		 Database coverage
of references
9998 1100 24.0 23%


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
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
9998 1                   JOURNAL OF AUTOMATED REASONING//AUTOMATED THEOREM PROVING//MIZAR 1100

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 AUTOMATED REASONING journal 1353021 17% 26% 185
2 AUTOMATED THEOREM PROVING authKW 1200482 8% 50% 86
3 MIZAR authKW 401096 2% 85% 17
4 AUTOMATED REASONING authKW 397869 5% 26% 55
5 MODEL ELIMINATION authKW 286337 1% 74% 14
6 LATTICE VALUED LOGIC authKW 259064 1% 67% 14
7 AUTOMATED DEDUCTION authKW 234519 2% 33% 26
8 LATTICE IMPLICATION ALGEBRA authKW 219334 2% 44% 18
9 SATCHMO authKW 194305 1% 100% 7
10 THEOREM PROVING authKW 193094 4% 14% 49

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, Artificial Intelligence 53165 57% 0% 628
2 Logic 21462 10% 1% 107
3 Computer Science, Theory & Methods 12509 30% 0% 325
4 Computer Science, Software Engineering 1622 9% 0% 102
5 Mathematics, Applied 1420 15% 0% 168
6 Computer Science, Information Systems 569 6% 0% 71
7 Mathematics 293 9% 0% 94
8 Computer Science, Hardware & Architecture 292 3% 0% 35
9 COMPUTER APPLICATIONS & CYBERNETICS 162 0% 0% 4
10 Computer Science, Interdisciplinary Applications 39 2% 0% 25

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 AUTOMATED REASONING PROJECT 172947 1% 69% 9
2 INTELLIGENT CONTROL DEV 92939 1% 28% 12
3 AGENT DEV 49962 0% 60% 3
4 INFORMAT SYST E184 3 37009 0% 67% 2
5 RIACS 28927 1% 15% 7
6 ABT ANWENDUNGEN FORMALEN LOG 27758 0% 100% 1
7 ABT WISSENSBASIERTE SYST E184 3 27758 0% 100% 1
8 ALGEBRA DISKRETE MATH E118 2 27758 0% 100% 1
9 AUSTRALIAS EXCELLENCE INFORMAT COMMUN TECHN 27758 0% 100% 1
10 AUTOMAT SISTEMAS 27758 0% 100% 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 AUTOMATED REASONING 1353021 17% 26% 185
2 LECTURE NOTES IN ARTIFICIAL INTELLIGENCE 94724 22% 1% 237
3 AI COMMUNICATIONS 45012 3% 6% 29
4 JOURNAL OF SYMBOLIC COMPUTATION 27136 4% 2% 47
5 ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE 22943 2% 3% 27
6 LECTURE NOTES IN COMPUTER SCIENCE 11761 18% 0% 195
7 JOURNAL OF LOGIC AND COMPUTATION 10445 2% 2% 19
8 JOURNAL OF APPLIED LOGIC 5607 1% 3% 7
9 ARTIFICIAL INTELLIGENCE 4832 2% 1% 20
10 JOURNAL OF THE ACM 3793 1% 1% 14

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 AUTOMATED THEOREM PROVING 1200482 8% 50% 86 Search AUTOMATED+THEOREM+PROVING Search AUTOMATED+THEOREM+PROVING
2 MIZAR 401096 2% 85% 17 Search MIZAR Search MIZAR
3 AUTOMATED REASONING 397869 5% 26% 55 Search AUTOMATED+REASONING Search AUTOMATED+REASONING
4 MODEL ELIMINATION 286337 1% 74% 14 Search MODEL+ELIMINATION Search MODEL+ELIMINATION
5 LATTICE VALUED LOGIC 259064 1% 67% 14 Search LATTICE+VALUED+LOGIC Search LATTICE+VALUED+LOGIC
6 AUTOMATED DEDUCTION 234519 2% 33% 26 Search AUTOMATED+DEDUCTION Search AUTOMATED+DEDUCTION
7 LATTICE IMPLICATION ALGEBRA 219334 2% 44% 18 Search LATTICE+IMPLICATION+ALGEBRA Search LATTICE+IMPLICATION+ALGEBRA
8 SATCHMO 194305 1% 100% 7 Search SATCHMO Search SATCHMO
9 THEOREM PROVING 193094 4% 14% 49 Search THEOREM+PROVING Search THEOREM+PROVING
10 ALPHA RESOLUTION 111031 0% 100% 4 Search ALPHA+RESOLUTION Search ALPHA+RESOLUTION

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 SUTCLIFFE, G , (2009) THE TPTP PROBLEM LIBRARY AND ASSOCIATED INFRASTRUCTURE.JOURNAL OF AUTOMATED REASONING. VOL. 43. ISSUE 4. P. 337 -362 21 88% 93
2 KORNILOWICZ, A , (2015) FLEXARY CONNECTIVES IN MIZAR.COMPUTER LANGUAGES SYSTEMS & STRUCTURES. VOL. 44. ISSUE . P. 238 -250 19 100% 1
3 BENZMULLER, C , SULTANA, N , PAULSON, LC , THEISS, F , (2015) THE HIGHER-ORDER PROVER LEO-II.JOURNAL OF AUTOMATED REASONING. VOL. 55. ISSUE 4. P. 389 -404 16 94% 1
4 GRABOWSKI, A , KORNILOWICZ, A , NAUMOWICZ, A , (2015) FOUR DECADES OF MIZAR.JOURNAL OF AUTOMATED REASONING. VOL. 55. ISSUE 3. P. 191 -198 15 100% 0
5 HE, XX , XU, Y , LIU, J , CHEN, SW , (2012) ALPHA-GENERALIZED LOCK RESOLUTION METHOD IN LINGUISTIC TRUTH-VALUED LATTICE-VALUED LOGIC.INTERNATIONAL JOURNAL OF COMPUTATIONAL INTELLIGENCE SYSTEMS. VOL. 5. ISSUE 6. P. 1120-1134 17 94% 0
6 LETZ, R , STENZ, G , (2007) THE DISCONNECTION TABLEAU CALCULUS.JOURNAL OF AUTOMATED REASONING. VOL. 38. ISSUE 1-3. P. 79-126 19 90% 3
7 BAUMGARTNER, P , PELZER, B , TINELLI, C , (2012) MODEL EVOLUTION WITH EQUALITY - REVISED AND IMPLEMENTED.JOURNAL OF SYMBOLIC COMPUTATION. VOL. 47. ISSUE 9. P. 1011 -1045 15 94% 6
8 SUTCLIFFE, G , SUTTNER, C , (2006) THE STATE OF CASC.AI COMMUNICATIONS. VOL. 19. ISSUE 1. P. 35-48 17 89% 44
9 SUTCLIFFE, G , (1998) THE TPTP PROBLEM LIBRARY - CNF RELEASE V1.2.1.JOURNAL OF AUTOMATED REASONING. VOL. 21. ISSUE 2. P. 177 -203 19 90% 105
10 KALISZYK, C , URBAN, J , (2014) LEARNING-ASSISTED AUTOMATED REASONING WITH FLYSPECK.JOURNAL OF AUTOMATED REASONING. VOL. 53. ISSUE 2. P. 173 -213 15 75% 7

Classes with closest relation at Level 1


Rank Class id link
1 26372 PROOF PLANNING//DEDUCTIVE PROGRAM SYNTHESIS//PROOF PATCHING
2 18723 THEOREM PROVING//SYMBOLIC TRAJECTORY EVALUATION//MULTIWAY DECISION GRAPHS
3 4014 TERM REWRITING//TERM REWRITING SYSTEMS//REWRITING LOGIC
4 26848 COMPUTABLE SET THEORY//HEREDITARILY FINITE SETS//EXTENSIONAL DIGRAPH
5 28600 ORDER SORTED LOGIC//FEATURE LOGIC//PSI TERMS
6 20487 QUANTIFIED BOOLEAN FORMULAS//MAX SAT//CONFIGURATION CHECKING
7 24140 CONTEXT UNIFICATION//SECOND ORDER UNIFICATION//WORD EQUATIONS
8 15987 DESCRIPTION LOGICS//FUZZY DESCRIPTION LOGICS//FUZZY ONTOLOGIES
9 26144 GUARDED FRAGMENT//HYBRID LOGIC//DATA WORDS
10 1820 ANSWER SET PROGRAMMING//NONMONOTONIC REASONING//DEFAULT LOGIC

Go to start page