1. Alsinet, T., Chesñevar, C.I., Godo, L., Simari, G.R.: A logic programming framework for possibilistic argumentation: Formalization and logical properties. Fuzzy Sets and Systems 159(10), 1208–1228 (2008)
2. Artemov, S.N.: Justified common knowledge. Theoretical Computer Science 357(1-3), 4–22 (2006)
3. Artemov, S.N., Nogina, E.: On epistemic logic with justification. In: Proceedings of the 10th Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2005, pp. 279–294 (2005)
4. Artemov, S.N.: Why do we need Justification Logic? Tech. Rep. TR–2008014, CUNY Ph.D. Program in Computer Science (September 2008)
5. Bader, S., Hitzler, P.: Dimensions of neural-symbolic integration - a structured survey. In: Artëmov, S.N., Barringer, H., d’Avila Garcez, A.S., Lamb, L.C., Woods, J. (eds.) We Will Show Them! (1), pp. 167–194. College Publications (2005)