0.4(top 23%)
Impact Factor
0.5(top 23%)
extended IF
57(top 7%)
H-Index
485
authors
1.5K
papers
19.9K
citations
949
citing journals
3.4K
citing authors

Most Cited Articles of Journal of Logic and Computation

TitleYearCitations
Abstract Interpretation Frameworks1992419
Persuasion in Practical Argument Using Value-based Argumentation Frameworks2003415
Agents that reason and negotiate by arguing1998408
Abductive Logic Programming1992393
Logic Programming with Focusing Proofs in Linear Logic1992386
Actions and Events in Interval Temporal Logic1994336
Rewrite-based Equational Theorem Proving with Selection and Simplification1994242
A Modal Logic for Coalitional Power in Games2002236
A Logic Programming Language with Lambda-Abstraction, Function Variables, and Simple Unification1991229
Decision procedures for BDI logics1998222
Merging Information Under Constraints: A Logical Framework2002216
Complexity Results for Nonmonotonic Logics1992215
Coherence and Flexibility in Dialogue Games for Argumentation2005172
Using the Universal Modality: Gains and Questions1992168
The cooperative problem-solving process1999153
On the Relationship Between Abduction and Deduction1991153
Argumentation Semantics for Defeasible Logic2004148
Comparing LTL Semantics for Runtime Verification2010141
A description logic with transitive and inverse roles and role hierarchies1999132
Properties and Complexity of Some Formal Inter-agent Dialogues2003123
Rule Systems for Run-time Monitoring: from EAGLE to RULER2010110
Non-deterministic Multiple-valued Structures2005110
The Taming of the Cut. Classical Refutations with Analytic Cut1994102
Introducing Justification into Epistemic Logic2005101
A Modal Logic for Chopping Intervals199199