0.7(top 50%)
impact factor
1.6K(top 10%)
papers
23.7K(top 10%)
citations
63(top 10%)
h-index
0.7(top 50%)
extended IF
2.2K
all documents
25.9K
doc citations
109(top 10%)
g-index

Top Articles

#TitleJournalYearCitations
1Persuasion in Practical Argument Using Value-based Argumentation FrameworksJournal of Logic and Computation2003528
2Abductive Logic ProgrammingJournal of Logic and Computation1992524
3Abstract Interpretation FrameworksJournal of Logic and Computation1992505
4Agents that reason and negotiate by arguingJournal of Logic and Computation1998486
5Logic Programming with Focusing Proofs in Linear LogicJournal of Logic and Computation1992475
6Actions and Events in Interval Temporal LogicJournal of Logic and Computation1994395
7Rewrite-based Equational Theorem Proving with Selection and SimplificationJournal of Logic and Computation1994300
8A Modal Logic for Coalitional Power in GamesJournal of Logic and Computation2002295
9Decision procedures for BDI logicsJournal of Logic and Computation1998278
10Merging Information Under Constraints: A Logical FrameworkJournal of Logic and Computation2002270
11A Logic Programming Language with Lambda-Abstraction, Function Variables, and Simple UnificationJournal of Logic and Computation1991263
12Complexity Results for Nonmonotonic LogicsJournal of Logic and Computation1992258
13Coherence and Flexibility in Dialogue Games for ArgumentationJournal of Logic and Computation2005211
14Using the Universal Modality: Gains and QuestionsJournal of Logic and Computation1992206
15The cooperative problem-solving processJournal of Logic and Computation1999186
16On the Relationship Between Abduction and DeductionJournal of Logic and Computation1991185
17Argumentation Semantics for Defeasible LogicJournal of Logic and Computation2004180
18Comparing LTL Semantics for Runtime VerificationJournal of Logic and Computation2010177
19A description logic with transitive and inverse roles and role hierarchiesJournal of Logic and Computation1999166
20Non-deterministic Multiple-valued StructuresJournal of Logic and Computation2005142
21Properties and Complexity of Some Formal Inter-agent DialoguesJournal of Logic and Computation2003140
22State Constraints RevisitedJournal of Logic and Computation1994136
23Attack-defense treesJournal of Logic and Computation2014130
24Rule Systems for Run-time Monitoring: from EAGLE to RULERJournal of Logic and Computation2010128
25Kleene's Logic, GeneralizedJournal of Logic and Computation1991124
26A Modal Logic for Chopping IntervalsJournal of Logic and Computation1991120
27The Taming of the Cut. Classical Refutations with Analytic CutJournal of Logic and Computation1994119
28Introducing Justification into Epistemic LogicJournal of Logic and Computation2005117
29Optimizing description logic subsumptionJournal of Logic and Computation1999111
30DefLog: on the Logical Interpretation of Prima Facie Justified AssumptionsJournal of Logic and Computation2003109
31Possibilistic and standard probabilistic semantics of conditional knowledge basesJournal of Logic and Computation1999107
32Semantics-Based Translation Methods for Modal LogicsJournal of Logic and Computation1991106
33Differential-algebraic Dynamic Logic for Differential-algebraic ProgramsJournal of Logic and Computation2010106
34Sequent Calculi for Normal Modal Propositional LogicsJournal of Logic and Computation1994105
35On the Minimum Many-Valued Modal Logic over a Finite Residuated LatticeJournal of Logic and Computation2011104
36Semi-stable semanticsJournal of Logic and Computation2012103
37Robust semantics for argumentation frameworksJournal of Logic and Computation1999102
38Similarity relations in concept latticesJournal of Logic and Computation2000101
39Quantitative Information Flow, Relations and Polymorphic TypesJournal of Logic and Computation200598
40Operators and Laws for Combining Preference RelationsJournal of Logic and Computation200293
41The dynamic logic of permissionJournal of Logic and Computation199690
42An Axiomatization of the Temporal Logic with Until and Since over the Real NumbersJournal of Logic and Computation199089
43Object-process Analysis: Maintaining the Balance Between System Structure and BehaviourJournal of Logic and Computation199585
44Hoops and Fuzzy LogicJournal of Logic and Computation200385
45Sequent calculi for induction and infinite descentJournal of Logic and Computation201183
46Dynamic Argument Systems: A Formal Model of Argumentation Processes Based on Situation CalculusJournal of Logic and Computation200182
47A Normal Form for Temporal Logics and its Applications in Theorem-Proving and ExecutionJournal of Logic and Computation199781
48Internalizing labelled deductionJournal of Logic and Computation200081
49SPADES - a process algebra for discrete event simulationJournal of Logic and Computation200081
50Constraint Satisfaction with Countable Homogeneous TemplatesJournal of Logic and Computation200681