| Persuasion in Practical Argument Using Value-based Argumentation Frameworks | 2003/06/01 | English | 222 |
| Logic Programming with Focusing Proofs in Linear Logic | 1992/01/01 | English | 196 |
| Abductive Logic Programming | 1992/01/01 | English | 176 |
| Abstract Interpretation Frameworks | 1992/01/01 | English | 165 |
| A Modal Logic for Coalitional Power in Games | 2002/02/01 | English | 145 |
| Actions and Events in Interval Temporal Logic | 1994/01/01 | English | 137 |
| Merging Information Under Constraints: A Logical Framework | 2002/10/01 | English | 128 |
| Agents that reason and negotiate by arguing | 1998/06/01 | English | 125 |
| Using the Universal Modality: Gains and Questions | 1992/01/01 | English | 99 |
| A Logic Programming Language with Lambda-Abstraction, Function Variables, and Simple Unification | 1991/01/01 | English | 89 |
| Rewrite-based Equational Theorem Proving with Selection and Simplification | 1994/01/01 | English | 88 |
| Complexity Results for Nonmonotonic Logics | 1992/01/01 | English | 88 |
| Decision procedures for BDI logics | 1998/06/01 | English | 88 |
| Argumentation Semantics for Defeasible Logic | 2004/10/01 | English | 79 |
| On the Relationship Between Abduction and Deduction | 1991/01/01 | English | 74 |
| Coherence and Flexibility in Dialogue Games for Argumentation | 2005/12/01 | English | 71 |
| Non-deterministic Multiple-valued Structures | 2005/06/01 | English | 66 |
| Semi-stable semantics | 2011/09/14 | English | 64 |
| On the Minimum Many-Valued Modal Logic over a Finite Residuated Lattice | 2009/10/07 | English | 61 |
| Comparing LTL Semantics for Runtime Verification | 2009/02/26 | English | 60 |
| Introducing Justification into Epistemic Logic | 2005/12/01 | English | 58 |
| Hoops and Fuzzy Logic | 2003/08/01 | English | 57 |
| Admissible Rules of Modal Logics | 2005/08/01 | English | 57 |
| Kleene's Logic, Generalized | 1991/01/01 | English | 52 |
| DefLog: on the Logical Interpretation of Prima Facie Justified Assumptions | 2003/06/01 | English | 52 |
| Similarity relations in concept lattices | 2000/12/01 | English | 50 |
| Properties and Complexity of Some Formal Inter-agent Dialogues | 2003/06/01 | English | 48 |
| SPADES - a process algebra for discrete event simulation | 2000/02/01 | English | 48 |
| Unification through projectivity | 1997/12/01 | English | 47 |
| Algebraic Semantics for Paraconsistent Nelson's Logic | 2003/08/01 | English | 46 |