Class information for:
Level 1: GUARDED FRAGMENT//HYBRID LOGIC//DATA WORDS

Basic class information
Class id #P Avg. number of
references		 Database coverage
of references
26144 262 21.5 26%


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
276 3       FUZZY SETS AND SYSTEMS//ALGEBRA UNIVERSALIS//ROUGH SETS 43335
2659 2             MV ALGEBRA//LOGIC//BL ALGEBRA 3451
26144 1                   GUARDED FRAGMENT//HYBRID LOGIC//DATA WORDS 262

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 GUARDED FRAGMENT authKW 1198765 5% 86% 12
2 HYBRID LOGIC authKW 793814 7% 36% 19
3 DATA WORDS authKW 372949 2% 80% 4
4 TWO VARIABLE LOGIC authKW 364205 2% 63% 5
5 DATA AUTOMATA authKW 349641 1% 100% 3
6 DATA LANGUAGES authKW 349641 1% 100% 3
7 FINITE MEMORY AUTOMATA authKW 349641 1% 100% 3
8 INFINITE ALPHABETS authKW 266390 2% 57% 4
9 FREEZE QUANTIFIER authKW 233094 1% 100% 2
10 SEMIJOIN ALGEBRA authKW 233094 1% 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 Logic 70045 36% 1% 94
2 Computer Science, Theory & Methods 7045 45% 0% 118
3 Philosophy 3222 18% 0% 46
4 History & Philosophy of Science 1006 7% 0% 18
5 Mathematics 941 27% 0% 70
6 Mathematics, Applied 357 16% 0% 41
7 Computer Science, Artificial Intelligence 238 8% 0% 22
8 Computer Science, Hardware & Architecture 182 5% 0% 13
9 Computer Science, Software Engineering 157 6% 0% 16
10 Computer Science, Information Systems 137 6% 0% 17

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 WYDZIAL MIM 155395 1% 67% 2
2 ANGEW INFORMAT 7 116547 0% 100% 1
3 COMP SCI CHAIR 1 116547 0% 100% 1
4 LEHRGENBIET MATH GRUNDLAGEN INFORMAT 116547 0% 100% 1
5 LOG LANGUAGE COMPUTA 116547 0% 100% 1
6 LOGIC INTELLIGENT SYST GRP 116547 0% 100% 1
7 TRUSTED EMBEDDED SOFTWARE ENGN TEDMOL CT 116547 0% 100% 1
8 SYST COMP ENGN PROGRAM 66595 1% 29% 2
9 AOSTE PROJECT 58272 0% 50% 1
10 COMP LANGUAGES 185 2 58272 0% 50% 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 ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK 84960 7% 4% 19
2 ACM TRANSACTIONS ON COMPUTATIONAL LOGIC 43370 4% 3% 11
3 JOURNAL OF LOGIC AND COMPUTATION 27400 6% 2% 15
4 LOGICAL METHODS IN COMPUTER SCIENCE 22292 4% 2% 11
5 JOURNAL OF SYMBOLIC LOGIC 16075 8% 1% 20
6 JOURNAL OF APPLIED LOGIC 12030 2% 2% 5
7 JOURNAL OF PHILOSOPHICAL LOGIC 8300 3% 1% 8
8 SYNTHESE 7287 6% 0% 15
9 JOURNAL OF LOGIC LANGUAGE AND INFORMATION 7060 1% 3% 2
10 BULLETIN OF SYMBOLIC LOGIC 4140 1% 1% 3

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 GUARDED FRAGMENT 1198765 5% 86% 12 Search GUARDED+FRAGMENT Search GUARDED+FRAGMENT
2 HYBRID LOGIC 793814 7% 36% 19 Search HYBRID+LOGIC Search HYBRID+LOGIC
3 DATA WORDS 372949 2% 80% 4 Search DATA+WORDS Search DATA+WORDS
4 TWO VARIABLE LOGIC 364205 2% 63% 5 Search TWO+VARIABLE+LOGIC Search TWO+VARIABLE+LOGIC
5 DATA AUTOMATA 349641 1% 100% 3 Search DATA+AUTOMATA Search DATA+AUTOMATA
6 DATA LANGUAGES 349641 1% 100% 3 Search DATA+LANGUAGES Search DATA+LANGUAGES
7 FINITE MEMORY AUTOMATA 349641 1% 100% 3 Search FINITE+MEMORY+AUTOMATA Search FINITE+MEMORY+AUTOMATA
8 INFINITE ALPHABETS 266390 2% 57% 4 Search INFINITE+ALPHABETS Search INFINITE+ALPHABETS
9 FREEZE QUANTIFIER 233094 1% 100% 2 Search FREEZE+QUANTIFIER Search FREEZE+QUANTIFIER
10 SEMIJOIN ALGEBRA 233094 1% 100% 2 Search SEMIJOIN+ALGEBRA Search SEMIJOIN+ALGEBRA

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 KIERONSKI, E , MICHALISZYN, J , PRATT-HARTMANN, I , TENDERA, L , (2014) TWO-VARIABLE FIRST-ORDER LOGIC WITH EQUIVALENCE CLOSURE.SIAM JOURNAL ON COMPUTING. VOL. 43. ISSUE 3. P. 1012 -1063 10 83% 2
2 PRATT-HARTMANN, I , (2015) THE TWO-VARIABLE FRAGMENT WITH COUNTING AND EQUIVALENCE.MATHEMATICAL LOGIC QUARTERLY. VOL. 61. ISSUE 6. P. 474 -515 9 82% 0
3 KIERONSKI, E , OTTO, M , (2012) SMALL SUBSTRUCTURES AND DECIDABILITY ISSUES FOR FIRST-ORDER LOGIC WITH TWO VARIABLES.JOURNAL OF SYMBOLIC LOGIC. VOL. 77. ISSUE 3. P. 729 -765 8 89% 1
4 KIERONSKI, E , (2005) RESULTS ON THE GUARDED FRAGMENT WITH EQUIVALENCE OR TRANSITIVE RELATIONS.COMPUTER SCIENCE LOGIC, PROCEEDINGS. VOL. 3634. ISSUE . P. 309 -324 8 100% 10
5 SZWAST, W , TENDERA, L , (2005) ON THE FINITE SATISFIABILITY PROBLEM FOR THE GUARDED FRAGMENT WITH TRANSITIVITY.LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, PROCEEDINGS. VOL. 3835. ISSUE . P. 307 -321 8 100% 0
6 JACQUEMARD, F , SEGOUFIN, L , DIMINO, J , (2016) FO2(<,+1,SIMILAR TO) ON DATA TREES, DATA TREE AUTOMATA AND BRANCHING VECTOR ADDITION SYSTEMS.LOGICAL METHODS IN COMPUTER SCIENCE. VOL. 12. ISSUE 2. P. - 6 100% 0
7 FRANCEZ, N , KAMINSKI, M , (2003) AN ALGEBRAIC CHARACTERIZATION OF DETERMINISTIC REGULAR LANGUAGES OVER INFINITE ALPHABETS.THEORETICAL COMPUTER SCIENCE. VOL. 306. ISSUE 1-3. P. 155-175 8 100% 12
8 KAMINSKI, M , TAN, T , (2006) REGULAR EXPRESSIONS FOR LANGUAGES OVER INFINITE ALPHABETS.FUNDAMENTA INFORMATICAE. VOL. 69. ISSUE 3. P. 301-318 7 100% 12
9 MANUEL, A , RAMANUJAM, R , (2011) CLASS COUNTING AUTOMATA ON DATAWORDS.INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE. VOL. 22. ISSUE 4. P. 863-882 7 88% 1
10 KAMINSKI, M , ZEITLIN, D , (2010) FINITE-MEMORY AUTOMATA WITH NON-DETERMINISTIC REASSIGNMENT.INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE. VOL. 21. ISSUE 5. P. 741 -760 6 100% 10

Classes with closest relation at Level 1


Rank Class id link
1 15987 DESCRIPTION LOGICS//FUZZY DESCRIPTION LOGICS//FUZZY ONTOLOGIES
2 12527 ADMISSIBLE RULES//CYLINDRIC ALGEBRAS//ALGEBRAIC LOGIC
3 32295 DEPENDENCE LOGIC//INDEPENDENCE FRIENDLY LOGIC//TEAM SEMANTICS
4 5920 MODEL CHECKING//TEMPORAL LOGIC//PARTIAL ORDER REDUCTION
5 13494 FINITE MODEL THEORY//DESCRIPTIVE COMPLEXITY//CONSTRAINT DATABASES
6 37721 FOOD ENGINEERING EDUCATION//FOODSTUFF CHILLING//FREQUENCY CRITERIA
7 13552 XML//XPATH//KEYWORD SEARCH
8 16541 WELL STRUCTURED TRANSITION SYSTEMS//INFINITE STATE SYSTEMS//NETS WITHIN NETS
9 8670 TIMED AUTOMATA//TIME PETRI NETS//MODEL CHECKING
10 16131 FUZZY LANGUAGE//TREE TRANSDUCER//FUZZY AUTOMATA

Go to start page