Class information for:
Level 1: DEONTIC LOGIC//STIT//ALTERNATING TIME TEMPORAL LOGIC

Basic class information
Class id #P Avg. number of
references		 Database coverage
of references
16816 634 27.2 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
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
16816 1                   DEONTIC LOGIC//STIT//ALTERNATING TIME TEMPORAL LOGIC 634

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 DEONTIC LOGIC authKW 866876 6% 50% 36
2 STIT authKW 437832 2% 91% 10
3 ALTERNATING TIME TEMPORAL LOGIC authKW 308232 1% 80% 8
4 COALITION LOGIC authKW 288971 1% 100% 6
5 LOGIC OF AGENCY authKW 216725 1% 75% 6
6 CONTRARY TO DUTY OBLIGATIONS authKW 192647 1% 100% 4
7 HISTORICAL NECESSITY authKW 192647 1% 100% 4
8 INPUT OUTPUT LOGIC authKW 192647 1% 100% 4
9 BOOLEAN GAMES authKW 172003 1% 71% 5
10 NORMATIVE CONFLICTS authKW 172003 1% 71% 5

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 Philosophy 41245 40% 0% 254
2 Logic 25261 14% 1% 88
3 Computer Science, Artificial Intelligence 8535 30% 0% 193
4 Computer Science, Theory & Methods 3728 21% 0% 136
5 History & Philosophy of Science 2153 6% 0% 41
6 Ethics 711 4% 0% 23
7 Computer Science, Software Engineering 432 6% 0% 41
8 Computer Science, Information Systems 385 7% 0% 44
9 Mathematics, Applied 319 10% 0% 64
10 Automation & Control Systems 206 4% 0% 26

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 PARLEVINK GRP 154116 1% 80% 4
2 EURIDIS 85616 1% 44% 4
3 AGENT TECHNOL ART GRP 48162 0% 100% 1
4 AI COGNIT INTERACT MODELLINS 48162 0% 100% 1
5 BOID PROJECT 48162 0% 100% 1
6 BUSINESS ADM FSA 48162 0% 100% 1
7 CL 1001 48162 0% 100% 1
8 COORDENACAO INFORMAT 48162 0% 100% 1
9 CORP SOFTWARE ENGN 48162 0% 100% 1
10 CRSIM INFO 48162 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 PHILOSOPHICAL LOGIC 134136 8% 6% 50
2 AUTONOMOUS AGENTS AND MULTI-AGENT SYSTEMS 62294 4% 5% 24
3 JOURNAL OF APPLIED LOGIC 44750 2% 6% 15
4 THEORIA 27428 1% 8% 7
5 JOURNAL OF LOGIC AND COMPUTATION 26605 4% 2% 23
6 STUDIA LOGICA 19403 2% 3% 12
7 SYNTHESE 15467 5% 1% 34
8 LOGIC JOURNAL OF THE IGPL 15247 2% 2% 14
9 LECTURE NOTES IN ARTIFICIAL INTELLIGENCE 9110 9% 0% 56
10 REVIEW OF SYMBOLIC LOGIC 8445 1% 3% 7

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 DEONTIC LOGIC 866876 6% 50% 36 Search DEONTIC+LOGIC Search DEONTIC+LOGIC
2 STIT 437832 2% 91% 10 Search STIT Search STIT
3 ALTERNATING TIME TEMPORAL LOGIC 308232 1% 80% 8 Search ALTERNATING+TIME+TEMPORAL+LOGIC Search ALTERNATING+TIME+TEMPORAL+LOGIC
4 COALITION LOGIC 288971 1% 100% 6 Search COALITION+LOGIC Search COALITION+LOGIC
5 LOGIC OF AGENCY 216725 1% 75% 6 Search LOGIC+OF+AGENCY Search LOGIC+OF+AGENCY
6 CONTRARY TO DUTY OBLIGATIONS 192647 1% 100% 4 Search CONTRARY+TO+DUTY+OBLIGATIONS Search CONTRARY+TO+DUTY+OBLIGATIONS
7 HISTORICAL NECESSITY 192647 1% 100% 4 Search HISTORICAL+NECESSITY Search HISTORICAL+NECESSITY
8 INPUT OUTPUT LOGIC 192647 1% 100% 4 Search INPUT+OUTPUT+LOGIC Search INPUT+OUTPUT+LOGIC
9 BOOLEAN GAMES 172003 1% 71% 5 Search BOOLEAN+GAMES Search BOOLEAN+GAMES
10 NORMATIVE CONFLICTS 172003 1% 71% 5 Search NORMATIVE+CONFLICTS Search NORMATIVE+CONFLICTS

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 PETERSON, C , MARQUIS, JP , (2016) FORMAL PHILOSOPHY AND LEGAL REASONING: THE VALIDITY OF LEGAL INFERENCES.LOGIQUE ET ANALYSE. VOL. . ISSUE 234. P. 227 -263 26 96% 0
2 XU, M , (2015) COMBINATIONS OF STIT WITH OUGHT AND KNOW.JOURNAL OF PHILOSOPHICAL LOGIC. VOL. 44. ISSUE 6. P. 851 -877 20 95% 0
3 PETERSON, C , (2014) THE CATEGORICAL IMPERATIVE: CATEGORY THEORY AS A FOUNDATION FOR DEONTIC LOGIC.JOURNAL OF APPLIED LOGIC. VOL. 12. ISSUE 4. P. 417 -461 25 76% 0
4 BULLING, N , JAMROGA, W , (2014) COMPARING VARIANTS OF STRATEGIC ABILITY: HOW UNCERTAINTY AND MEMORY INFLUENCE GENERAL PROPERTIES OF GAMES.AUTONOMOUS AGENTS AND MULTI-AGENT SYSTEMS. VOL. 28. ISSUE 3. P. 474-518 14 93% 9
5 KUHLER, M , (2008) MORAL DILEMMAS, THE DANGER OF MORAL THEORETIC INCONSISTENCY AND THE UNDERLAIN DUTY CONCEPT.ZEITSCHRIFT FUR PHILOSOPHISCHE FORSCHUNG. VOL. 62. ISSUE 4. P. 516-536 15 100% 0
6 ALDEWERELD, H , DIGNUM, V , VASCONCELOS, WW , (2016) GROUP NORMS FOR MULTI-AGENT ORGANISATIONS.ACM TRANSACTIONS ON AUTONOMOUS AND ADAPTIVE SYSTEMS. VOL. 11. ISSUE 2. P. - 15 79% 0
7 GOBLE, L , (2009) NORMATIVE CONFLICTS AND THE LOGIC OF 'OUGHT'.NOUS. VOL. 43. ISSUE 3. P. 450-489 13 87% 8
8 BEIRLAEN, M , STRASSER, C , (2014) NON-MONOTONIC REASONING WITH NORMATIVE CONFLICTS IN MULTI-AGENT DEONTIC LOGIC.JOURNAL OF LOGIC AND COMPUTATION. VOL. 24. ISSUE 6. P. 1179 -1207 10 100% 1
9 CARMO, J , (2010) COLLECTIVE AGENCY, DIRECT ACTION AND DYNAMIC OPERATORS.LOGIC JOURNAL OF THE IGPL. VOL. 18. ISSUE 1. P. 66 -98 11 92% 2
10 BROERSEN, J , HERZIG, A , TROQUARD, N , (2006) EMBEDDING ALTERNATING-TIME TEMPORAL LOGIC IN STRATEGIC STIT LOGIC OF AGENCY.JOURNAL OF LOGIC AND COMPUTATION. VOL. 16. ISSUE 5. P. 559 -578 10 100% 12

Classes with closest relation at Level 1


Rank Class id link
1 7546 AGENT ORIENTED SOFTWARE ENGINEERING//LECTURE NOTES IN ARTIFICIAL INTELLIGENCE//AUTONOMOUS AGENTS AND MULTI-AGENT SYSTEMS
2 11891 ARGUMENTATION//ABSTRACT ARGUMENTATION//DEFEASIBLE LOGIC
3 28937 BRANCHING SPACE TIMES//COMMON CAUSE//REICHENBACHIAN COMMON CAUSE
4 37150 DISCRETE RESOURCE ALLOCATION//ACTIVITY CENTRIC MODELING//AD HOC FORECAST
5 26086 SOFTWARE ENGN NETWORK//ARTIFICIAL INTELLIGENCE//CONTEXTUAL REASONING
6 13489 BROOME//DOXASTIC VOLUNTARISM//RATIONAL REQUIREMENTS
7 5920 MODEL CHECKING//TEMPORAL LOGIC//PARTIAL ORDER REDUCTION
8 12355 PHILOSOPHY//SUPEREROGATION//CONSEQUENTIALISM
9 32295 DEPENDENCE LOGIC//INDEPENDENCE FRIENDLY LOGIC//TEAM SEMANTICS
10 9789 EPISTEMIC GAME THEORY//COMMON KNOWLEDGE//RATIONALIZABILITY

Go to start page