| A logical theory of nonmonotonic inference and belief change A Bochman Springer Science & Business Media, 2001 | 150 | 2001 |
| Collective argumentation and disjunctive logic programming A Bochman Journal of logic and computation 13 (3), 405-428, 2003 | 64 | 2003 |
| Explanatory nonmonotonic reasoning A Bochman World scientific, 2005 | 63 | 2005 |
| A causal approach to nonmonotonic reasoning A Bochman Artificial intelligence 160 (1-2), 105-143, 2004 | 50 | 2004 |
| A logic for causal reasoning A Bochman IJCAI 3, 141-146, 2003 | 49 | 2003 |
| Concerted instant-interval temporal semantics. I. Temporal ontologies. A Bochman Notre Dame Journal of Formal Logic 31 (3), 403-414, 1990 | 38 | 1990 |
| Biconsequence relations: A four-valued formalism of reasoning with inconsistency and incompleteness A Bochman Notre Dame Journal of Formal Logic 39 (1), 47-73, 1998 | 33 | 1998 |
| Actual Causality in a Logical Setting. A Bochman IJCAI, 1730-1736, 2018 | 29 | 2018 |
| A foundational theory of belief and belief change A Bochman Artificial Intelligence 108 (1-2), 309-352, 1999 | 29 | 1999 |
| Pearl's causality in a logical setting A Bochman, V Lifschitz Proceedings of the AAAI Conference on Artificial Intelligence 29 (1), 2015 | 27 | 2015 |
| Propositional argumentation and causal reasoning A Bochman International Joint Conference on Artificial Intelligence 19, 388, 2005 | 25 | 2005 |
| Mereology as a theory of part-whole A Bochman Logique et Analyse 33 (129/130), 75-101, 1990 | 22 | 1990 |
| A causal theory of abduction A Bochman Journal of Logic and Computation 17 (5), 851-869, 2007 | 19 | 2007 |
| A logical foundation for logic programming I: Biconsequence relations and nonmonotonic completion A Bochman The Journal of Logic Programming 35 (2), 151-170, 1998 | 19 | 1998 |
| On laws and counterfactuals in causal reasoning A Bochman Sixteenth International Conference on Principles of Knowledge Representation …, 2018 | 18 | 2018 |
| Nonmonotonic reasoning A Bochman Handbook of the History of Logic 8, 557-632, 2007 | 17 | 2007 |
| Belief contraction as nonmonotonic inference A Bochman The Journal of Symbolic Logic 65 (2), 605-626, 2000 | 17 | 2000 |
| On Bimodal Nonmonotonic Logics and Their Ummodal and Nonmodal Equivalents A Bochman | 17 | 1995 |
| A logical theory of causality A Bochman MIT Press, 2021 | 16 | 2021 |
| A Causal Logic of Logic Programming. A Bochman KR, 427-437, 2004 | 16 | 2004 |
Dov GabbayBar Ilan Univ. Kings College London, Univ of LuxembourgVerified email at ext.uni.lu
