About
Technology
Issues
FAQ
Search
Scientometrics
Impact Factor
Discipline Ranks
h
-index
g
-index
Articles
Citations
Article Citations
Citation Distribution
Overviews
Top Institutions
Top Schools
Top Authors
Prolific Authors
Top Articles
Citing Bodies
Top Citing Authors
Top Citing Institutions
Top Citing Schools
Top Citing Journals
Top Citing Disciplines
exaly
›
Journals
›
Journal of Logic and Computation
›
top-articles
Journal of Logic and Computation
0.6
(top 50%)
impact factor
1.6K
(top 10%)
papers
23.3K
(top 10%)
citations
63
(top 10%)
h
-index
0.7
(top 50%)
impact factor
2.2K
all documents
25.5K
doc citations
109
(top 10%)
g
-index
Top Articles
#
Title
Journal
Year
Citations
1
Persuasion in Practical Argument Using Value-based Argumentation Frameworks
Journal of Logic and Computation
2003
523
2
Abductive Logic Programming
Journal of Logic and Computation
1992
522
3
Abstract Interpretation Frameworks
Journal of Logic and Computation
1992
500
4
Agents that reason and negotiate by arguing
Journal of Logic and Computation
1998
485
5
Logic Programming with Focusing Proofs in Linear Logic
Journal of Logic and Computation
1992
462
6
Actions and Events in Interval Temporal Logic
Journal of Logic and Computation
1994
392
7
Rewrite-based Equational Theorem Proving with Selection and Simplification
Journal of Logic and Computation
1994
297
8
A Modal Logic for Coalitional Power in Games
Journal of Logic and Computation
2002
294
9
Decision procedures for BDI logics
Journal of Logic and Computation
1998
277
10
Merging Information Under Constraints: A Logical Framework
Journal of Logic and Computation
2002
268
11
A Logic Programming Language with Lambda-Abstraction, Function Variables, and Simple Unification
Journal of Logic and Computation
1991
261
12
Complexity Results for Nonmonotonic Logics
Journal of Logic and Computation
1992
258
13
Coherence and Flexibility in Dialogue Games for Argumentation
Journal of Logic and Computation
2005
208
14
Using the Universal Modality: Gains and Questions
Journal of Logic and Computation
1992
206
15
The cooperative problem-solving process
Journal of Logic and Computation
1999
186
16
On the Relationship Between Abduction and Deduction
Journal of Logic and Computation
1991
185
17
Argumentation Semantics for Defeasible Logic
Journal of Logic and Computation
2004
177
18
Comparing LTL Semantics for Runtime Verification
Journal of Logic and Computation
2010
171
19
A description logic with transitive and inverse roles and role hierarchies
Journal of Logic and Computation
1999
166
20
Properties and Complexity of Some Formal Inter-agent Dialogues
Journal of Logic and Computation
2003
139
21
State Constraints Revisited
Journal of Logic and Computation
1994
136
22
Non-deterministic Multiple-valued Structures
Journal of Logic and Computation
2005
135
23
Rule Systems for Run-time Monitoring: from EAGLE to RULER
Journal of Logic and Computation
2010
127
24
Attack-defense trees
Journal of Logic and Computation
2014
127
25
Kleene's Logic, Generalized
Journal of Logic and Computation
1991
123
26
A Modal Logic for Chopping Intervals
Journal of Logic and Computation
1991
120
27
The Taming of the Cut. Classical Refutations with Analytic Cut
Journal of Logic and Computation
1994
118
28
Introducing Justification into Epistemic Logic
Journal of Logic and Computation
2005
117
29
Optimizing description logic subsumption
Journal of Logic and Computation
1999
111
30
DefLog: on the Logical Interpretation of Prima Facie Justified Assumptions
Journal of Logic and Computation
2003
108
31
Possibilistic and standard probabilistic semantics of conditional knowledge bases
Journal of Logic and Computation
1999
106
32
Semantics-Based Translation Methods for Modal Logics
Journal of Logic and Computation
1991
105
33
Sequent Calculi for Normal Modal Propositional Logics
Journal of Logic and Computation
1994
105
34
Differential-algebraic Dynamic Logic for Differential-algebraic Programs
Journal of Logic and Computation
2010
105
35
On the Minimum Many-Valued Modal Logic over a Finite Residuated Lattice
Journal of Logic and Computation
2011
102
36
Robust semantics for argumentation frameworks
Journal of Logic and Computation
1999
101
37
Similarity relations in concept lattices
Journal of Logic and Computation
2000
101
38
Quantitative Information Flow, Relations and Polymorphic Types
Journal of Logic and Computation
2005
98
39
Semi-stable semantics
Journal of Logic and Computation
2012
97
40
Operators and Laws for Combining Preference Relations
Journal of Logic and Computation
2002
92
41
An Axiomatization of the Temporal Logic with Until and Since over the Real Numbers
Journal of Logic and Computation
1990
89
42
The dynamic logic of permission
Journal of Logic and Computation
1996
89
43
Object-process Analysis: Maintaining the Balance Between System Structure and Behaviour
Journal of Logic and Computation
1995
85
44
Hoops and Fuzzy Logic
Journal of Logic and Computation
2003
84
45
Dynamic Argument Systems: A Formal Model of Argumentation Processes Based on Situation Calculus
Journal of Logic and Computation
2001
82
46
Sequent calculi for induction and infinite descent
Journal of Logic and Computation
2011
82
47
A Normal Form for Temporal Logics and its Applications in Theorem-Proving and Execution
Journal of Logic and Computation
1997
81
48
Internalizing labelled deduction
Journal of Logic and Computation
2000
81
49
Constraint Satisfaction with Countable Homogeneous Templates
Journal of Logic and Computation
2006
79
50
SPADES - a process algebra for discrete event simulation
Journal of Logic and Computation
2000
78
site/software ©
exaly
; All materials licenced under
CC by-SA
.