Class information for:
Level 1: ANSWER SET PROGRAMMING//NONMONOTONIC REASONING//DEFAULT LOGIC

Basic class information
Class id #P Avg. number of
references		 Database coverage
of references
1820 2474 29.9 30%


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
20 3       COMPUTER SCIENCE, INFORMATION SYSTEMS//COMPUTER SCIENCE, THEORY & METHODS//COMPUTER SCIENCE, SOFTWARE ENGINEERING 118625
1122 2             NONMONOTONIC REASONING//ANSWER SET PROGRAMMING//LECTURE NOTES IN ARTIFICIAL INTELLIGENCE 9680
1820 1                   ANSWER SET PROGRAMMING//NONMONOTONIC REASONING//DEFAULT LOGIC 2474

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 ANSWER SET PROGRAMMING authKW 1629085 7% 74% 178
2 NONMONOTONIC REASONING authKW 1317554 8% 57% 186
3 DEFAULT LOGIC authKW 850122 3% 83% 83
4 THEORY AND PRACTICE OF LOGIC PROGRAMMING journal 709008 7% 35% 164
5 LOGIC PROGRAMMING authKW 504906 7% 24% 170
6 STABLE MODELS authKW 489846 2% 71% 56
7 JOURNAL OF LOGIC PROGRAMMING journal 370752 5% 26% 115
8 ARTIFICIAL INTELLIGENCE journal 357197 10% 11% 257
9 DISJUNCTIVE LOGIC PROGRAMMING authKW 314494 1% 88% 29
10 WELL FOUNDED SEMANTICS authKW 305416 1% 75% 33

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 189771 19% 3% 476
2 Computer Science, Artificial Intelligence 121047 57% 1% 1421
3 Computer Science, Theory & Methods 52727 40% 0% 994
4 Computer Science, Software Engineering 8894 14% 0% 351
5 Computer Science, Information Systems 2813 9% 0% 229
6 Mathematics, Applied 1456 11% 0% 267
7 Computer Science, Hardware & Architecture 925 4% 0% 92
8 Philosophy 95 1% 0% 30
9 Robotics 39 0% 0% 11
10 Computer Science, Cybernetics 11 0% 0% 7

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 CENTRIA 162070 1% 39% 34
2 INFORMAT SYST 184 3 100771 1% 58% 14
3 CENTIA 68551 0% 56% 10
4 CHRISTIAN DOPPLER EXPERT SYST 49363 0% 100% 4
5 INFORMAT SYST 184 2 40382 0% 55% 6
6 AG INFORMAT 37022 0% 100% 3
7 CITIA 37022 0% 100% 3
8 INFORMAT SYST 1843 37022 0% 100% 3
9 UPREF 37022 0% 100% 3
10 COMP SCI 34093 26% 0% 651

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 THEORY AND PRACTICE OF LOGIC PROGRAMMING 709008 7% 35% 164
2 JOURNAL OF LOGIC PROGRAMMING 370752 5% 26% 115
3 ARTIFICIAL INTELLIGENCE 357197 10% 11% 257
4 ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE 195059 5% 13% 118
5 LECTURE NOTES IN ARTIFICIAL INTELLIGENCE 189655 20% 3% 503
6 ACM TRANSACTIONS ON COMPUTATIONAL LOGIC 73437 2% 14% 44
7 JOURNAL OF LOGIC AND COMPUTATION 54418 3% 7% 65
8 JOURNAL OF AUTOMATED REASONING 33951 2% 6% 44
9 AI COMMUNICATIONS 27477 1% 7% 34
10 JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH 22184 2% 5% 40

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 ANSWER SET PROGRAMMING 1629085 7% 74% 178 Search ANSWER+SET+PROGRAMMING Search ANSWER+SET+PROGRAMMING
2 NONMONOTONIC REASONING 1317554 8% 57% 186 Search NONMONOTONIC+REASONING Search NONMONOTONIC+REASONING
3 DEFAULT LOGIC 850122 3% 83% 83 Search DEFAULT+LOGIC Search DEFAULT+LOGIC
4 LOGIC PROGRAMMING 504906 7% 24% 170 Search LOGIC+PROGRAMMING Search LOGIC+PROGRAMMING
5 STABLE MODELS 489846 2% 71% 56 Search STABLE+MODELS Search STABLE+MODELS
6 DISJUNCTIVE LOGIC PROGRAMMING 314494 1% 88% 29 Search DISJUNCTIVE+LOGIC+PROGRAMMING Search DISJUNCTIVE+LOGIC+PROGRAMMING
7 WELL FOUNDED SEMANTICS 305416 1% 75% 33 Search WELL+FOUNDED+SEMANTICS Search WELL+FOUNDED+SEMANTICS
8 ANSWER SETS 296649 1% 96% 25 Search ANSWER+SETS Search ANSWER+SETS
9 REASONING ABOUT ACTIONS 263487 1% 65% 33 Search REASONING+ABOUT+ACTIONS Search REASONING+ABOUT+ACTIONS
10 CIRCUMSCRIPTION 250251 1% 60% 34 Search CIRCUMSCRIPTION Search CIRCUMSCRIPTION

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 PEARCE, D , TOMPITS, H , WOLTRAN, S , (2009) CHARACTERISING EQUILIBRIUM LOGIC AND NESTED LOGIC PROGRAMS: REDUCTIONS AND COMPLEXITY.THEORY AND PRACTICE OF LOGIC PROGRAMMING. VOL. 9. ISSUE . P. 565 -616 46 87% 2
2 GELFOND, M , LEONE, N , (2002) LOGIC PROGRAMMING AND KNOWLEDGE REPRESENTATION - THE A-PROLOG PERSPECTIVE.ARTIFICIAL INTELLIGENCE. VOL. 138. ISSUE 1-2. P. 3 -38 46 94% 73
3 MINKER, J , SEIPEL, D , (2002) DISJUNCTIVE LOGIC PROGRAMMING: A SURVEY AND ASSESSMENT.COMPUTATIONAL LOGIC: LOGIC PROGRAMMING AND BEYOND, PT I. VOL. 2407. ISSUE . P. 472 -511 55 86% 9
4 LEONE, N , PFEIFER, G , FABER, W , EITER, T , GOTTLOB, G , PERRI, S , SCARCELLO, F , (2006) THE DLV SYSTEM FOR KNOWLEDGE REPRESENTATION AND REASONING.ACM TRANSACTIONS ON COMPUTATIONAL LOGIC. VOL. 7. ISSUE 3. P. 499 -562 28 90% 275
5 LOYER, Y , STRACCIA, U , (2009) APPROXIMATE WELL-FOUNDED SEMANTICS, QUERY ANSWERING AND GENERALIZED NORMAL LOGIC PROGRAMS OVER LATTICES.ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE. VOL. 55. ISSUE 3-4. P. 389-417 42 75% 4
6 EITER, T , FINK, M , SABBATINI, G , TOMPITS, H , (2002) USING METHODS OF DECLARATIVE LOGIC PROGRAMMING FOR INTELLIGENT INFORMATION AGENTS.THEORY AND PRACTICE OF LOGIC PROGRAMMING. VOL. 2. ISSUE . P. 645 -709 46 81% 3
7 FABER, W , PFEIFER, G , LEONE, N , (2011) SEMANTICS AND COMPLEXITY OF RECURSIVE AGGREGATES IN ANSWER SET PROGRAMMING.ARTIFICIAL INTELLIGENCE. VOL. 175. ISSUE 1. P. 278-298 27 96% 31
8 EITER, T , IANNI, G , LUKASIEWICZ, T , SCHINDLAUER, R , TOMPITS, H , (2008) COMBINING ANSWER SET PROGRAMMING WITH DESCRIPTION LOGICS FOR THE SEMANTIC WEB.ARTIFICIAL INTELLIGENCE. VOL. 172. ISSUE 12-13. P. 1495 -1539 33 83% 58
9 GEBSER, M , SCHAUB, T , (2013) TABLEAU CALCULI FOR LOGIC PROGRAMS UNDER ANSWER SET SEMANTICS.ACM TRANSACTIONS ON COMPUTATIONAL LOGIC. VOL. 14. ISSUE 2. P. - 33 80% 5
10 EITER, T , WANG, KW , (2008) SEMANTIC FORGETTING IN ANSWER SET PROGRAMMING.ARTIFICIAL INTELLIGENCE. VOL. 172. ISSUE 14. P. 1644-1672 30 94% 20

Classes with closest relation at Level 1


Rank Class id link
1 10274 BELIEF REVISION//BELIEF CHANGE//POSSIBILISTIC LOGIC
2 11891 ARGUMENTATION//ABSTRACT ARGUMENTATION//DEFEASIBLE LOGIC
3 29419 RECURSIVE QUERY PROCESSING//DEDUCTIVE DATABASES//RECURSIVE QUERY EVALUATION
4 7591 JOURNAL OF LOGIC PROGRAMMING//LOGIC PROGRAMMING//ABSTRACT INTERPRETATION
5 26086 SOFTWARE ENGN NETWORK//ARTIFICIAL INTELLIGENCE//CONTEXTUAL REASONING
6 15987 DESCRIPTION LOGICS//FUZZY DESCRIPTION LOGICS//FUZZY ONTOLOGIES
7 9998 JOURNAL OF AUTOMATED REASONING//AUTOMATED THEOREM PROVING//MIZAR
8 10960 AUTOMATED PLANNING//JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH//ARTIFICIAL INTELLIGENCE
9 20487 QUANTIFIED BOOLEAN FORMULAS//MAX SAT//CONFIGURATION CHECKING
10 9346 INDUCTIVE LOGIC PROGRAMMING//SUBGROUP DISCOVERY//STATISTICAL RELATIONAL LEARNING

Go to start page