Citation Impact
Citing Papers
MulVAL: a logic-based network security analyzer
2005 Standout
Canu: scalable and accurate long-read assembly via adaptive k -mer weighting and repeat separation
2017 Standout
Granular Computing: Perspectives and Challenges
2013 Standout
A dialectical model of assessing conflicting arguments in legal reasoning
1996 Standout
The Carneades model of argument and burden of proof
2007 Standout
Complexity and expressive power of logic programming
2001
Incomplete Multigranulation Rough Set
2009 Standout
Mining of Massive Datasets
2011 Standout
Soft sets and soft groups
2007 Standout
An abstract, argumentation-theoretic approach to default reasoning
1997
On the relation between default and autoepistemic logic
1988
On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games
1995 Standout
Min-Wise Independent Permutations
2000
On the evaluation of argumentation formalisms
2007 Standout
Rudiments of rough sets
2006
Works of W. Marek being referenced
Book review: Combinatorics, Set Systems, Hypergraphs, Families of Vectors and Combinatorial Probability by B. Bollobas (Cambridge University Press)
1987
Stable Theories in Autoepistemic Logic
1989
How complicated is the set of stable models of a recursive logic program?
1992
A theory of nonmonotonic rule systems II
1992
A theory of nonmonotonic rule systems I
1990
Approximating sets with equivalence relations
1986