| Robust semantics for argumentation frameworks | 1999/04/01 | English | 45 |
| Rule Systems for Run-time Monitoring: from EAGLE to RULER | 2008/11/21 | English | 44 |
| A description logic with transitive and inverse roles and role hierarchies | 1999/06/01 | English | 44 |
| Reasoning About Space: The Modal Way | 2003/12/01 | English | 43 |
| The cooperative problem-solving process | 1999/08/01 | English | 43 |
| A Modal Logic for Chopping Intervals | 1991/01/01 | English | 43 |
| Fuzzy Logics with Noncommutative Conjuctions | 2003/08/01 | English | 41 |
| An Axiomatization of the Temporal Logic with Until and Since over the Real Numbers | 1990/01/01 | English | 39 |
| Constraint Satisfaction with Countable Homogeneous Templates | 2006/06/01 | English | 39 |
| Possibilistic and standard probabilistic semantics of conditional knowledge bases | 1999/12/01 | English | 38 |
| Falsification, natural deduction and bi-intuitionistic logic | 2013/07/17 | English | 38 |
| State Constraints Revisited | 1994/01/01 | English | 36 |
| On Decision Problems Related to the Preferred Semantics for Argumentation Frameworks | 2003/06/01 | English | 35 |
| Attack-defense trees | 2012/06/21 | English | 35 |
| The Taming of the Cut. Classical Refutations with Analytic Cut | 1994/01/01 | English | 34 |
| The Trilattice of Constructive Truth Values | 2001/12/01 | English | 33 |
| Persuasion and Value in Legal Argument | 2005/12/01 | English | 33 |
| Object-process Analysis: Maintaining the Balance Between System Structure and Behaviour | 1995/01/01 | English | 33 |
| The Frobenius anatomy of word meanings I: subject and object relative pronouns | 2013/09/18 | English | 33 |
| Axiom Pinpointing in General Tableaux | 2008/11/13 | English | 33 |
| Logics Preserving Degrees of Truth from Varieties of Residuated Lattices | 2009/06/26 | English | 33 |
| The dynamic logic of permission | 1996/06/01 | English | 32 |
| On Weakly Cancellative Fuzzy Logics | 2006/07/25 | English | 31 |
| Sequent Calculi for Normal Modal Propositional Logics | 1994/01/01 | English | 31 |
| Operators and Laws for Combining Preference Relations | 2002/02/01 | English | 31 |
| Paraconsistent Stable Semantics for Extended Disjunctive Programs | 1995/01/01 | English | 30 |
| Hypersequent Calculi for Godel Logics -- a Survey | 2003/12/01 | English | 30 |
| A Decision Procedure and Complete Axiomatization of Finite Interval Temporal Logic with Projection | 2003/04/01 | English | 30 |
| Internalizing labelled deduction | 2000/02/01 | English | 29 |
| Injective Models and Disjunctive Relations | 1993/01/01 | English | 29 |