Concerted Instant-Interval Temporal Semantics I: Temporal Ontologies. - Alexander Bochman (Notre Dame J. Formal Log., 1990)

Concerted Instant-Interval Temporal Semantics II: Temporal Valuations and Logics of Change. - Alexander Bochman (Notre Dame J. Formal Log., 1990)

On the Relation Between Default and Modal Consequence Relations. - Alexander Bochman (KR, 1994)

On Bimodal Nonmonotonic Logics and Their Unimodal and Nonmodal Equivalents. - Alexander Bochman (IJCAI, 1995)

Default Consequence Relations as a Logical Framework for Logic Programs. - Alexander Bochman (LPNMR, 1995)

Modal Nonmonotonic Logics Demodalized. - Alexander Bochman (Ann. Math. Artif. Intell., 1995)

Biconsequence Relations for Nonmonotonic Reasoning. - Alexander Bochman (KR, 1996)

On Logics and Semantics for General Logic Programs. - Alexander Bochman (NMELP, 1996)

On a Logical Basis of Normal Logic Program. - Alexander Bochman (Fundam. Informaticae, 1996)

A Study of Przymusinski's Static Semantics. - Alexander Bochman (LPNMR, 1997)

On the Relation Between Default and Modal Nonmonotonic Reasoning. - Alexander Bochman (Artif. Intell., 1998)

A Logical Foundation for Logic Programming I: Biconsequence Relations and Nonmonotonic Completion. - Alexander Bochman (J. Log. Program., 1998)

A Logical Foundation for Logic Programming II: Semantics of General Logic Programs. - Alexander Bochman (J. Log. Program., 1998)

Biconsequence Relations: A Four-Valued Formalism of Reasoning with Inconsistency and Incompleteness. - Alexander Bochman (Notre Dame J. Formal Log., 1998)

Credulous Nonmonotonic Inference. - Alexander Bochman (IJCAI, 1999)

A Foundational Theory of Belief and Belief Change. - Alexander Bochman (Artif. Intell., 1999)

A foundationalist view of the AGM theory of belief change. - Alexander Bochman (Artif. Intell., 2000)

Belief Contraction as Nonmonotonic Inference. - Alexander Bochman (J. Symb. Log., 2000)

A logical theory of nonmonotonic inference and belief change - numerical methods. - Alexander Bochman (Springer, 2001)

Possible Worlds Semantics for Credulous and Contraction Inference. - Alexander Bochman (KI/ÖGAI, 2001)

Two representations for iterative non-prioritized change. - Alexander Bochman (NMR, 2002)

Collective argumentation. - Alexander Bochman (NMR, 2002)

Entrenchment versus Dependence: Coherence and Foundations inBelief Change. - Alexander Bochman (J. Log. Lang. Inf., 2002)

A Logic For Causal Reasoning. - Alexander Bochman (IJCAI, 2003)

Brave Nonmonotonic Inference and Its Kinds. - Alexander Bochman (Ann. Math. Artif. Intell., 2003)

Collective Argumentation and Disjunctive Logic Programming. - Alexander Bochman (J. Log. Comput., 2003)

Production Inference, Nonmonotonicity and Abduction. - Alexander Bochman (AI&M, 2004)

A Causal Logic of Logic Programming. - Alexander Bochman (KR, 2004)

A causal approach to nonmonotonic reasoning. - Alexander Bochman (Artif. Intell., 2004)

Nonmonotonic Reasoning. - Alexander Bochman (We Will Show Them! (1), 2005)

Propositional Argumentation and Causal Reasoning. - Alexander Bochman (IJCAI, 2005)

Explanatory Nonmonotonic Reasoning - Alexander Bochman (World Scientific, 2005)

Two Paradigms of Nonmonotonic Reasoning. - Alexander Bochman (AI&M, 2006)

On Default Representation of Defeasible Inference and Specificity. - Alexander Bochman (AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning, 2007)

Enhanced Contraction and (In)dependence Preliminary report. - Alexander Bochman (Formal Models of Belief Change in Rational Agents, 2007)

A Causal Theory of Abduction. - Alexander Bochman (J. Log. Comput., 2007)

Nonmonotonic reasoning. - Alexander Bochman (The Many Valued and Nonmonotonic Turn in Logic, 2007)

Default Theory of Defeasible Entailment. - Alexander Bochman (KR, 2008)

Default logic generalized and simplified. - Alexander Bochman (Ann. Math. Artif. Intell., 2008)

Yet Another Characterization of Strong Equivalence. - Alexander Bochman; Vladimir Lifschitz (ICLP (Technical Communications), 2011)

Here and There among Logics for Logic Programming. - Alexander Bochman (Correct Reasoning, 2012)

Causal dynamic inference. - Alexander Bochman; Dov M. Gabbay (Ann. Math. Artif. Intell., 2012)

Sequential Dynamic Logic. - Alexander Bochman; Dov M. Gabbay (J. Log. Lang. Inf., 2012)

The Markov Assumption: Formalization and Impact. - Alexander Bochman (IJCAI, 2013)

Dynamic Causal Calculus. - Alexander Bochman (KR, 2014)

Pearl's Causality in a Logical Setting. - Alexander Bochman; Vladimir Lifschitz (AAAI, 2015)

Abstract Dialectical Argumentation Among Close Relatives. - Alexander Bochman (COMMA, 2016)

On Logics and Semantics of Indeterminate Causation. - Alexander Bochman (KR, 2016)

Argumentation, Nonmonotonic Reasoning and Logic. - Alexander Bochman (FLAP, 2017)

Actual Causality in a Logical Setting. - Alexander Bochman (IJCAI, 2018)

On Laws and Counterfactuals in Causal Reasoning. - Alexander Bochman (KR, 2018)

Default Logic as a Species of Causal Reasoning. - Alexander Bochman (KR, 2023)

An Inferential Theory of Causal Reasoning. - Alexander Bochman (LORI, 2023)