Class information for:
Level 1: PROOF PLANNING//DEDUCTIVE PROGRAM SYNTHESIS//PROOF PATCHING

Basic class information
Class id #P Avg. number of
references		 Database coverage
of references
26372 256 24.4 19%


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
26372 1                   PROOF PLANNING//DEDUCTIVE PROGRAM SYNTHESIS//PROOF PATCHING 256

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 PROOF PLANNING authKW 690105 4% 64% 9
2 DEDUCTIVE PROGRAM SYNTHESIS authKW 238557 1% 100% 2
3 PROOF PATCHING authKW 238557 1% 100% 2
4 QUANTIFIED MODAL LOGICS authKW 238557 1% 100% 2
5 INVARIANT DISCOVERY authKW 159037 1% 67% 2
6 STATISTICAL INFORMATION SYSTEMS authKW 159037 1% 67% 2
7 STATISTICAL METADATA authKW 159037 1% 67% 2
8 INDUCTIVE THEOREM PROVING authKW 153355 1% 43% 3
9 ARBEITSGRP SIEKMANN AGS address 119279 0% 100% 1
10 AUTOMATED PROOF PLANNING authKW 119279 0% 100% 1

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 6701 42% 0% 108
2 Computer Science, Theory & Methods 3350 32% 0% 81
3 Computer Science, Software Engineering 3047 25% 0% 65
4 Computer Science, Information Systems 355 10% 0% 26
5 Logic 281 2% 0% 6
6 Mathematics, Applied 275 14% 0% 36
7 Information Science & Library Science 205 5% 0% 12
8 Computer Science, Hardware & Architecture 85 4% 0% 9
9 COMPUTER APPLICATIONS & CYBERNETICS 44 0% 0% 1
10 Engineering, Electrical & Electronic 26 9% 0% 22

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 ARBEITSGRP SIEKMANN AGS 119279 0% 100% 1
2 BUSINESS UNIT DEF ELECT 119279 0% 100% 1
3 COMPETENCE ELEARNING 119279 0% 100% 1
4 EDINBURGH DEV 119279 0% 100% 1
5 FB INFORMAT 6 2 119279 0% 100% 1
6 FLIGHT ELECT TECHNOL 119279 0% 100% 1
7 GERMAN ARTIFICAL INTELLIGENCE 119279 0% 100% 1
8 HBEREICH INFORMAT FB 14 119279 0% 100% 1
9 LEHRSTUHL DIDAKTIK MATH 119279 0% 100% 1
10 OFF IF 2 02 119279 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 28690 5% 2% 13
2 ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE 16379 4% 1% 11
3 LECTURE NOTES IN ARTIFICIAL INTELLIGENCE 8851 14% 0% 35
4 LECTURE NOTES IN COMPUTER SCIENCE 7986 30% 0% 77
5 IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 6001 5% 0% 12
6 JOURNAL OF SYMBOLIC COMPUTATION 5277 4% 0% 10
7 FORMAL METHODS IN SYSTEM DESIGN 3794 2% 1% 4
8 PROGRAMMING AND COMPUTER SOFTWARE 3618 2% 1% 5
9 COMPUTING SURVEYS 2978 1% 1% 2
10 ONLINE 2203 2% 0% 4

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 PROOF PLANNING 690105 4% 64% 9 Search PROOF+PLANNING Search PROOF+PLANNING
2 DEDUCTIVE PROGRAM SYNTHESIS 238557 1% 100% 2 Search DEDUCTIVE+PROGRAM+SYNTHESIS Search DEDUCTIVE+PROGRAM+SYNTHESIS
3 PROOF PATCHING 238557 1% 100% 2 Search PROOF+PATCHING Search PROOF+PATCHING
4 QUANTIFIED MODAL LOGICS 238557 1% 100% 2 Search QUANTIFIED+MODAL+LOGICS Search QUANTIFIED+MODAL+LOGICS
5 INVARIANT DISCOVERY 159037 1% 67% 2 Search INVARIANT+DISCOVERY Search INVARIANT+DISCOVERY
6 STATISTICAL INFORMATION SYSTEMS 159037 1% 67% 2 Search STATISTICAL+INFORMATION+SYSTEMS Search STATISTICAL+INFORMATION+SYSTEMS
7 STATISTICAL METADATA 159037 1% 67% 2 Search STATISTICAL+METADATA Search STATISTICAL+METADATA
8 INDUCTIVE THEOREM PROVING 153355 1% 43% 3 Search INDUCTIVE+THEOREM+PROVING Search INDUCTIVE+THEOREM+PROVING
9 AUTOMATED PROOF PLANNING 119279 0% 100% 1 Search AUTOMATED+PROOF+PLANNING Search AUTOMATED+PROOF+PLANNING
10 AUTOMATIC THEOREM PROOF 119279 0% 100% 1 Search AUTOMATIC+THEOREM+PROOF Search AUTOMATIC+THEOREM+PROOF

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 DENNIS, LA , GREEN, I , SMAILL, A , (2011) THE USE OF EMBEDDINGS TO PROVIDE A CLEAN SEPARATION OF TERM AND ANNOTATION FOR HIGHER ORDER RIPPLING.JOURNAL OF AUTOMATED REASONING. VOL. 47. ISSUE 1. P. 57 -105 7 100% 0
2 BUNDY, A , (2004) PLANNING AND PATCHING PROOF.ARTIFICIAL INTELLIGENCE AND SYMBOLIC COMPUTATION, PROCEEDINGS. VOL. 3249. ISSUE . P. 26 -37 10 77% 2
3 DIXON, L , FLEURIOT, J , (2004) HIGHER ORDER RIPPLING IN ISAPLANNER.THEOREM PROVING IN HIGHER ORDER LOGICS, PROCEEDINGS. VOL. 3223. ISSUE . P. 83-98 8 89% 7
4 JOHANSSON, M , BUNDY, A , DIXON, L , (2006) BEST-FIRST RIPPLING.REASONING, ACTION AND INTERACTION IN AI THEORIES AND SYSTEMS. VOL. 4155. ISSUE . P. 83 -100 7 88% 0
5 MEIER, A , MELIS, E , (2006) IMPASSE-DRIVEN REASONING IN PROOF PLANNING.MATHEMATICAL KNOWLEDGE MANAGEMENT. VOL. 3863. ISSUE . P. 143-158 6 100% 0
6 BUNDY, A , (2014) EUROPEAN COLLABORATION ON AUTOMATED REASONING.AI COMMUNICATIONS. VOL. 27. ISSUE 1. P. 25-35 9 53% 0
7 KORUKHOVA, Y , (2007) AN APPROACH TO AUTOMATIC DEDUCTIVE SYNTHESIS OF FUNCTIONAL PROGRAMS.ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE. VOL. 50. ISSUE 3-4. P. 255 -271 6 86% 1
8 KORUKHOVA, Y , (2006) AUTOMATIC DEDUCTIVE SYNTHESIS OF LISP PROGRAMS IN THE SYSTEM ALISA.LOGICS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS. VOL. 4160. ISSUE . P. 242-252 5 100% 0
9 MELIS, E , POLLET, M , SIEKMANN, J , (2006) REDUCTIO AD ABSURDUM: PLANNING PROOFS BY CONTRADICTION.REASONING, ACTION AND INTERACTION IN AI THEORIES AND SYSTEMS. VOL. 4155. ISSUE . P. 45-58 5 100% 0
10 IRELAND, A , STARK, J , (2000) PROOF PLANNING FOR STRATEGY DEVELOPMENT.ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE. VOL. 29. ISSUE 1-4. P. 65 -97 8 73% 0

Classes with closest relation at Level 1


Rank Class id link
1 9998 JOURNAL OF AUTOMATED REASONING//AUTOMATED THEOREM PROVING//MIZAR
2 18723 THEOREM PROVING//SYMBOLIC TRAJECTORY EVALUATION//MULTIWAY DECISION GRAPHS
3 26086 SOFTWARE ENGN NETWORK//ARTIFICIAL INTELLIGENCE//CONTEXTUAL REASONING
4 36954 GAS EXPANSION MODULE//AUTOMATED START UP//COMPETITIVE ECONOMY AND HIGH SAFETY
5 19506 SEQUENCE BASED SPECIFICATION//ANIMATION PROTOTYPING//CANONICAL WORD
6 7299 FORMAL ASPECTS OF COMPUTING//KLEENE ALGEBRA//EVENT B
7 8988 JOURNAL OF FUNCTIONAL PROGRAMMING//ACM SIGPLAN NOTICES//HASKELL
8 24140 CONTEXT UNIFICATION//SECOND ORDER UNIFICATION//WORD EQUATIONS
9 31103 PROOF SEARCH STARTEGIES//STRUCTURAL SYNTHESIS OF PROGRAMS//ARTIFICIAL BEE COLONY SWARM ALGORITHM
10 4014 TERM REWRITING//TERM REWRITING SYSTEMS//REWRITING LOGIC

Go to start page