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

#TitleJournalYearCitations
1Persuasion in Practical Argument Using Value-based Argumentation FrameworksJournal of Logic and Computation2003523
2Abductive Logic ProgrammingJournal of Logic and Computation1992522
3Abstract Interpretation FrameworksJournal of Logic and Computation1992500
4Agents that reason and negotiate by arguingJournal of Logic and Computation1998485
5Logic Programming with Focusing Proofs in Linear LogicJournal of Logic and Computation1992462
6Actions and Events in Interval Temporal LogicJournal of Logic and Computation1994392
7Rewrite-based Equational Theorem Proving with Selection and SimplificationJournal of Logic and Computation1994297
8A Modal Logic for Coalitional Power in GamesJournal of Logic and Computation2002294
9Decision procedures for BDI logicsJournal of Logic and Computation1998277
10Merging Information Under Constraints: A Logical FrameworkJournal of Logic and Computation2002268
11A Logic Programming Language with Lambda-Abstraction, Function Variables, and Simple UnificationJournal of Logic and Computation1991261
12Complexity Results for Nonmonotonic LogicsJournal of Logic and Computation1992258
13Coherence and Flexibility in Dialogue Games for ArgumentationJournal of Logic and Computation2005208
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 Computation2004177
18Comparing LTL Semantics for Runtime VerificationJournal of Logic and Computation2010171
19A description logic with transitive and inverse roles and role hierarchiesJournal of Logic and Computation1999166
20Properties and Complexity of Some Formal Inter-agent DialoguesJournal of Logic and Computation2003139
21State Constraints RevisitedJournal of Logic and Computation1994136
22Non-deterministic Multiple-valued StructuresJournal of Logic and Computation2005135
23Rule Systems for Run-time Monitoring: from EAGLE to RULERJournal of Logic and Computation2010127
24Attack-defense treesJournal of Logic and Computation2014127
25Kleene's Logic, GeneralizedJournal of Logic and Computation1991123
26A Modal Logic for Chopping IntervalsJournal of Logic and Computation1991120
27The Taming of the Cut. Classical Refutations with Analytic CutJournal of Logic and Computation1994118
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 Computation2003108
31Possibilistic and standard probabilistic semantics of conditional knowledge basesJournal of Logic and Computation1999106
32Semantics-Based Translation Methods for Modal LogicsJournal of Logic and Computation1991105
33Sequent Calculi for Normal Modal Propositional LogicsJournal of Logic and Computation1994105
34Differential-algebraic Dynamic Logic for Differential-algebraic ProgramsJournal of Logic and Computation2010105
35On the Minimum Many-Valued Modal Logic over a Finite Residuated LatticeJournal of Logic and Computation2011102
36Robust semantics for argumentation frameworksJournal of Logic and Computation1999101
37Similarity relations in concept latticesJournal of Logic and Computation2000101
38Quantitative Information Flow, Relations and Polymorphic TypesJournal of Logic and Computation200598
39Semi-stable semanticsJournal of Logic and Computation201297
40Operators and Laws for Combining Preference RelationsJournal of Logic and Computation200292
41An Axiomatization of the Temporal Logic with Until and Since over the Real NumbersJournal of Logic and Computation199089
42The dynamic logic of permissionJournal of Logic and Computation199689
43Object-process Analysis: Maintaining the Balance Between System Structure and BehaviourJournal of Logic and Computation199585
44Hoops and Fuzzy LogicJournal of Logic and Computation200384
45Dynamic Argument Systems: A Formal Model of Argumentation Processes Based on Situation CalculusJournal of Logic and Computation200182
46Sequent calculi for induction and infinite descentJournal of Logic and Computation201182
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
49Constraint Satisfaction with Countable Homogeneous TemplatesJournal of Logic and Computation200679
50SPADES - a process algebra for discrete event simulationJournal of Logic and Computation200078