A logical theory of nonmonotonic inference and belief change A Bochman Springer Science & Business Media, 2001 | 150 | 2001 |
Explanatory nonmonotonic reasoning A Bochman World scientific, 2005 | 63 | 2005 |
Collective argumentation and disjunctive logic programming A Bochman Journal of logic and computation 13 (3), 405-428, 2003 | 63 | 2003 |
A causal approach to nonmonotonic reasoning A Bochman Artificial intelligence 160 (1-2), 105-143, 2004 | 49 | 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 | 39 | 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 | 30 | 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 | 28 | 2015 |
Propositional argumentation and causal reasoning A Bochman International Joint Conference on Artificial Intelligence 19, 388, 2005 | 26 | 2005 |
Mereology as a theory of part-whole A Bochman Logique et Analyse 33 (129/130), 75-101, 1990 | 23 | 1990 |
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 |
A causal theory of abduction A Bochman Journal of Logic and Computation 17 (5), 851-869, 2007 | 18 | 2007 |
On Bimodal Nonmonotonic Logics and Their Ummodal and Nonmodal Equivalents A Bochman | 18 | 1995 |
Belief contraction as nonmonotonic inference A Bochman The Journal of Symbolic Logic 65 (2), 605-626, 2000 | 17 | 2000 |
A logical theory of causality A Bochman MIT Press, 2021 | 16 | 2021 |
Nonmonotonic reasoning A Bochman Handbook of the History of Logic 8, 557-632, 2007 | 16 | 2007 |
A Causal Logic of Logic Programming. A Bochman KR, 427-437, 2004 | 16 | 2004 |