Class information for:
Level 1: LOGIC AND SYMBOLIC COMPUTING//RAILWAY INTERLOCKINGS//O ALGEBRA

Basic class information
Class id #P Avg. number of
references		 Database coverage
of references
35606 94 22.9 22%


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
1 4 ECONOMICS//EDUCATION & EDUCATIONAL RESEARCH//PSYCHOL 3876184
72 3       SOCIOLOGY//POLITICAL SCIENCE//GEOGRAPHY 82817
3797 2             BRIGHAM YOUNG UNIVERSITY STUDIES//BYU STUDIES//LOGIC AND SYMBOLIC COMPUTING 953
35606 1                   LOGIC AND SYMBOLIC COMPUTING//RAILWAY INTERLOCKINGS//O ALGEBRA 94

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 LOGIC AND SYMBOLIC COMPUTING authKW 1299389 4% 100% 4
2 RAILWAY INTERLOCKINGS authKW 1299385 6% 67% 6
3 O ALGEBRA address 835315 6% 43% 6
4 ACCELERATED TIME SIMULATION authKW 649694 2% 100% 2
5 EFFECTIVE COMPUTATIONS authKW 649694 2% 100% 2
6 FINITE MANY VALUED LOGICS authKW 649694 2% 100% 2
7 IDEALS THEORY authKW 649694 2% 100% 2
8 O CC COMPUTAC address 649694 2% 100% 2
9 O SISTEMAS INTELIGENTES LICADOS address 649694 2% 100% 2
10 PROTO BOOLEAN ALGEBRAS authKW 649694 2% 100% 2

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, Software Engineering 1550 30% 0% 28
2 Logic 1402 9% 0% 8
3 Computer Science, Interdisciplinary Applications 977 28% 0% 26
4 Mathematics, Applied 767 36% 0% 34
5 Computer Science, Artificial Intelligence 382 17% 0% 16
6 Computer Science, Theory & Methods 342 17% 0% 16
7 Mathematics 230 22% 0% 21
8 Computer Science, Information Systems 144 11% 0% 10
9 COMPUTER APPLICATIONS & CYBERNETICS 122 1% 0% 1
10 Computer Science, Hardware & Architecture 112 6% 0% 6

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 O ALGEBRA 835315 6% 43% 6
2 O CC COMPUTAC 649694 2% 100% 2
3 O SISTEMAS INTELIGENTES LICADOS 649694 2% 100% 2
4 O INTELIGENCIA ARTIFICIAL 487268 3% 50% 3
5 SISTEMAS INTELIGENTES LICADOS 468151 7% 21% 7
6 CC COMPUTAC IA 324847 1% 100% 1
7 CC COMPUTAC INTELIGENCIA ARTIFICIAL 324847 1% 100% 1
8 CC COMPUTAC INTELIGENCIA ARTIFICIAL ETSI I 324847 1% 100% 1
9 ESC INGN IND 324847 1% 100% 1
10 FDN FERROCARRILES ESPANOLES 324847 1% 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 REVISTA DE LA REAL ACADEMIA DE CIENCIAS EXACTAS FISICAS Y NATURALES SERIE A-MATEMATICAS 43716 7% 2% 7
2 MATHEMATICS AND COMPUTERS IN SIMULATION 32701 20% 1% 19
3 IEEE PARALLEL & DISTRIBUTED TECHNOLOGY 4706 1% 1% 1
4 PROGRESSIVE ARCHITECTURE 4217 1% 1% 1
5 UNIVERSITY COMPUTING 3960 1% 1% 1
6 ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE 3316 3% 0% 3
7 MATHEMATICAL LOGIC QUARTERLY 2482 3% 0% 3
8 APPLIED CATEGORICAL STRUCTURES 1834 2% 0% 2
9 ENTERPRISE INFORMATION SYSTEMS 1655 1% 1% 1
10 COMPUTING IN SCIENCE & ENGINEERING 1518 2% 0% 2

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 AND SYMBOLIC COMPUTING 1299389 4% 100% 4 Search LOGIC+AND+SYMBOLIC+COMPUTING Search LOGIC+AND+SYMBOLIC+COMPUTING
2 RAILWAY INTERLOCKINGS 1299385 6% 67% 6 Search RAILWAY+INTERLOCKINGS Search RAILWAY+INTERLOCKINGS
3 ACCELERATED TIME SIMULATION 649694 2% 100% 2 Search ACCELERATED+TIME+SIMULATION Search ACCELERATED+TIME+SIMULATION
4 EFFECTIVE COMPUTATIONS 649694 2% 100% 2 Search EFFECTIVE+COMPUTATIONS Search EFFECTIVE+COMPUTATIONS
5 FINITE MANY VALUED LOGICS 649694 2% 100% 2 Search FINITE+MANY+VALUED+LOGICS Search FINITE+MANY+VALUED+LOGICS
6 IDEALS THEORY 649694 2% 100% 2 Search IDEALS+THEORY Search IDEALS+THEORY
7 PROTO BOOLEAN ALGEBRAS 649694 2% 100% 2 Search PROTO+BOOLEAN+ALGEBRAS Search PROTO+BOOLEAN+ALGEBRAS
8 GROEBNER BASES 611907 10% 21% 9 Search GROEBNER+BASES Search GROEBNER+BASES
9 RULE BASED EXPERT SYSTEMS 531559 6% 27% 6 Search RULE+BASED+EXPERT+SYSTEMS Search RULE+BASED+EXPERT+SYSTEMS
10 COMPUTER ALGEBRA SYSTEMS 433116 9% 17% 8 Search COMPUTER+ALGEBRA+SYSTEMS Search COMPUTER+ALGEBRA+SYSTEMS

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 MAESTRE-MARTINEZ, R , HERNANDO, A , ROANES-LOZANO, E , (2016) AN ALGEBRAIC APPROACH FOR DETECTING NEARLY DANGEROUS SITUATIONS IN EXPERT SYSTEMS.MATHEMATICS AND COMPUTERS IN SIMULATION. VOL. 129. ISSUE . P. 81 -93 13 93% 0
2 HERNANDO, A , ROANES-LOZANO, E , (2015) AN ALGEBRAIC MODEL FOR IMPLEMENTING EXPERT SYSTEMS BASED ON THE KNOWLEDGE OF DIFFERENT EXPERTS.MATHEMATICS AND COMPUTERS IN SIMULATION. VOL. 107. ISSUE . P. 92 -107 11 85% 0
3 HERNANDO, A , ROANES-LOZANO, E , MAESTRE-MARTINEZ, R , TEJEDOR, J , (2012) A LOGIC-ALGEBRAIC APPROACH TO DECISION TAKING IN A RAILWAY INTERLOCKING SYSTEM.ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE. VOL. 65. ISSUE 4. P. 317-328 10 77% 1
4 RODRIGUEZ-SOLANO, C , LAITA, LM , (2010) AN ALGEBRAIC APPROACH TO PARKINSON DISEASE DIAGNOSIS.EXPERT SYSTEMS WITH APPLICATIONS. VOL. 37. ISSUE 12. P. 7997-8005 8 89% 1
5 ROANES-LOZANO, E , ALONSO, JA , HERNANDO, A , (2014) REVISITING FOUR-VALUED LOGICS FROM MAPLE USING THE LOGICS EXPLORER PACKAGE.MATHEMATICS AND COMPUTERS IN SIMULATION. VOL. 104. ISSUE . P. 31 -42 8 80% 0
6 RODRIGUEZ-SOLANO, C , LAITA, LM , ROANES-LOZANO, E , LOPEZ-CORRAL, L , LAITA, L , (2006) A COMPUTATIONAL SYSTEM FOR DIAGNOSIS OF DEPRESSIVE SITUATIONS.EXPERT SYSTEMS WITH APPLICATIONS. VOL. 31. ISSUE 1. P. 47-55 8 89% 11
7 HERNANDO, A , ROANES-LOZANO, E , LAITA, LM , (2011) A POLYNOMIAL MODEL FOR LOGICS WITH A PRIME POWER NUMBER OF TRUTH VALUES.JOURNAL OF AUTOMATED REASONING. VOL. 46. ISSUE 2. P. 205-221 7 88% 0
8 HERNANDO, A , MAESTRE-MARTINEZ, R , ROANES-LOZANO, E , (2016) A NATURAL LANGUAGE FOR IMPLEMENTING ALGEBRAICALLY EXPERT SYSTEMS.MATHEMATICS AND COMPUTERS IN SIMULATION. VOL. 129. ISSUE . P. 31 -49 7 78% 0
9 ROANES-LOZANO, E , GARCIA, R , ROANES-MACIAS, E , APARICIO, A , LAITA, LM , (2005) META-PETRO: AN EXPERT SYSTEM FOR TRAINING UNDERGRADUATES IN METAMORPHIC ROCKS RECOGNITION AND CLASSIFICATION USING PHOTOMICROGRAPHIES.COMPUTER ALGEBRA IN SCIENFIFIC COMPUTING, PROCEEDINGS. VOL. 3718. ISSUE . P. 344-354 7 100% 0
10 ROANES-LOZANO, E , ALONSO, JA , HERNANDO, A , LAITA, LM , ROANES-MACIAS, E , (2011) THE LOGICS' EXPLORER: A MAPLE PACKAGE FOR EXPLORING FINITE MANY-VALUED PROPOSITIONAL LOGICS.REVISTA DE LA REAL ACADEMIA DE CIENCIAS EXACTAS FISICAS Y NATURALES SERIE A-MATEMATICAS. VOL. 105. ISSUE 2. P. 323 -337 7 78% 0

Classes with closest relation at Level 1


Rank Class id link
1 31000 DENSITY EQUALIZING MAPPING//CARTOGRAM//OCCUPAT MED SOCIAL MED ENVIRONM MED
2 31609 ENDPOINT PHOSPHORUS CONTENT//KNOWLEDGE BASED CLUSTERING//ANGELAKI-JOURNAL OF THE THEORETICAL HUMANITIES
3 14258 ENTERPRISE INFORMATION SYSTEMS//LECTURE NOTES IN BUSINESS INFORMATION PROCESSING//CLOUD MANUFACTURING
4 9056 TRAIN SCHEDULING//TRAIN TIMETABLING//STATE RAIL TRAFF CONTROL SAFETY
5 31626 COMPUTER VISION EDUCATION//INTRODUCTORY GRAPHICS COURSE//COMPUTER GRAPHICS CURRICULUM
6 4014 TERM REWRITING//TERM REWRITING SYSTEMS//REWRITING LOGIC
7 21991 MULTIVARIATE PUBLIC KEY CRYPTOSYSTEM//MULTIVARIATE CRYPTOGRAPHY//SFLASH
8 6132 JOURNAL OF SYMBOLIC COMPUTATION//POLYNOMIAL SYSTEM SOLVING//MATEMAT ESTADIST COMPUTAC
9 25554 SAFETY INSTRUMENTED SYSTEM//IEC 61508//SAFETY INTEGRITY LEVEL
10 20487 QUANTIFIED BOOLEAN FORMULAS//MAX SAT//CONFIGURATION CHECKING

Go to start page