Alexander Bochman

Publication Activity (10 Years)

Years Active: 1990-2023
Publications (10 Years): 8

Top Topics

Argumentation Theory

Causal Reasoning

Autoepistemic Logic

Top Venues

Publications

Alexander Bochman
An Inferential Theory of Causal Reasoning. LORI (2023)
Alexander Bochman
Default Logic as a Species of Causal Reasoning. KR (2023)
Alexander Bochman
Actual Causality in a Logical Setting. IJCAI (2018)
Alexander Bochman
On Laws and Counterfactuals in Causal Reasoning. KR (2018)
Alexander Bochman
Argumentation, Nonmonotonic Reasoning and Logic. FLAP 4 (8) (2017)
Alexander Bochman
On Logics and Semantics of Indeterminate Causation. KR (2016)
Alexander Bochman
Abstract Dialectical Argumentation Among Close Relatives. COMMA (2016)
Alexander Bochman, Vladimir Lifschitz
Pearl's Causality in a Logical Setting. AAAI (2015)
Alexander Bochman
Dynamic Causal Calculus. KR (2014)
Alexander Bochman
The Markov Assumption: Formalization and Impact. IJCAI (2013)
Alexander Bochman
Here and There among Logics for Logic Programming. Correct Reasoning (2012)
Alexander Bochman, Dov M. Gabbay
Causal dynamic inference. Ann. Math. Artif. Intell. 66 (1-4) (2012)
Alexander Bochman, Dov M. Gabbay
Sequential Dynamic Logic. J. Log. Lang. Inf. 21 (3) (2012)
Alexander Bochman, Vladimir Lifschitz
Yet Another Characterization of Strong Equivalence. ICLP (Technical Communications) (2011)
Alexander Bochman
Default Theory of Defeasible Entailment. KR (2008)
Alexander Bochman
Default logic generalized and simplified. Ann. Math. Artif. Intell. 53 (1-4) (2008)
Alexander Bochman
A Causal Theory of Abduction. J. Log. Comput. 17 (5) (2007)
Alexander Bochman
On Default Representation of Defeasible Inference and Specificity. AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning (2007)
Alexander Bochman
Enhanced Contraction and (In)dependence Preliminary report. Formal Models of Belief Change in Rational Agents (2007)
Alexander Bochman
Two Paradigms of Nonmonotonic Reasoning. AI&M (2006)
Alexander Bochman
Nonmonotonic Reasoning. We Will Show Them! (1) (2005)
Alexander Bochman
Propositional Argumentation and Causal Reasoning. IJCAI (2005)
Alexander Bochman
A Causal Logic of Logic Programming. KR (2004)
Alexander Bochman
Production Inference, Nonmonotonicity and Abduction. AI&M (2004)
Alexander Bochman
A causal approach to nonmonotonic reasoning. Artif. Intell. 160 (1-2) (2004)
Alexander Bochman
A Logic For Causal Reasoning. IJCAI (2003)
Alexander Bochman
Brave Nonmonotonic Inference and Its Kinds. Ann. Math. Artif. Intell. 39 (1-2) (2003)
Alexander Bochman
Collective Argumentation and Disjunctive Logic Programming. J. Log. Comput. 13 (3) (2003)
Alexander Bochman
Collective argumentation. NMR (2002)
Alexander Bochman
Two Representations for Iterative Non-prioritized Change CoRR (2002)
Alexander Bochman
Entrenchment versus Dependence: Coherence and Foundations inBelief Change. J. Log. Lang. Inf. 11 (1) (2002)
Alexander Bochman
Collective Argumentation CoRR (2002)
Alexander Bochman
Two representations for iterative non-prioritized change. NMR (2002)
Alexander Bochman
Possible Worlds Semantics for Credulous and Contraction Inference. KI/ÖGAI (2001)
Alexander Bochman
Belief Contraction as Nonmonotonic Inference. J. Symb. Log. 65 (2) (2000)
Alexander Bochman
A foundationalist view of the AGM theory of belief change. Artif. Intell. 116 (1-2) (2000)
Alexander Bochman
Credulous Nonmonotonic Inference. IJCAI (1999)
Alexander Bochman
A Foundational Theory of Belief and Belief Change. Artif. Intell. 108 (1-2) (1999)
Alexander Bochman
Biconsequence Relations: A Four-Valued Formalism of Reasoning with Inconsistency and Incompleteness. Notre Dame J. Formal Log. 39 (1) (1998)
Alexander Bochman
On the Relation Between Default and Modal Nonmonotonic Reasoning. Artif. Intell. 101 (1-2) (1998)
Alexander Bochman
A Logical Foundation for Logic Programming II: Semantics of General Logic Programs. J. Log. Program. 35 (2) (1998)
Alexander Bochman
A Logical Foundation for Logic Programming I: Biconsequence Relations and Nonmonotonic Completion. J. Log. Program. 35 (2) (1998)
Alexander Bochman
A Study of Przymusinski's Static Semantics. LPNMR (1997)
Alexander Bochman
Biconsequence Relations for Nonmonotonic Reasoning. KR (1996)
Alexander Bochman
On a Logical Basis of Normal Logic Program. Fundam. Informaticae 28 (3-4) (1996)
Alexander Bochman
On Logics and Semantics for General Logic Programs. NMELP (1996)
Alexander Bochman
Modal Nonmonotonic Logics Demodalized. Ann. Math. Artif. Intell. 15 (1) (1995)
Alexander Bochman
Default Consequence Relations as a Logical Framework for Logic Programs. LPNMR (1995)
Alexander Bochman
On Bimodal Nonmonotonic Logics and Their Unimodal and Nonmodal Equivalents. IJCAI (1995)
Alexander Bochman
On the Relation Between Default and Modal Consequence Relations. KR (1994)
Alexander Bochman
Concerted Instant-Interval Temporal Semantics I: Temporal Ontologies. Notre Dame J. Formal Log. 31 (3) (1990)
Alexander Bochman
Concerted Instant-Interval Temporal Semantics II: Temporal Valuations and Logics of Change. Notre Dame J. Formal Log. 31 (4) (1990)