Alexander Bochman

According to our database, Alexander Bochman authored at least 53 papers between 1990 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

An Inferential Theory of Causal Reasoning.

Alexander Bochman

Proceedings of the Logic, Rationality, and Interaction - 9th International Workshop, 2023

Default Logic as a Species of Causal Reasoning.

Alexander Bochman

Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, 2023

2018

On Laws and Counterfactuals in Causal Reasoning.

Alexander Bochman

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018

Actual Causality in a Logical Setting.

Alexander Bochman

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

2017

Argumentation, Nonmonotonic Reasoning and Logic.

Alexander Bochman

FLAP, 2017

2016

On Logics and Semantics of Indeterminate Causation.

Alexander Bochman

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, 2016

Abstract Dialectical Argumentation Among Close Relatives.

Alexander Bochman

Proceedings of the Computational Models of Argument, 2016

2015

Pearl's Causality in a Logical Setting.

Alexander Bochman, Vladimir Lifschitz

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014

Dynamic Causal Calculus.

Alexander Bochman

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014

2013

The Markov Assumption: Formalization and Impact.

Alexander Bochman

Proceedings of the IJCAI 2013, 2013

2012

Sequential Dynamic Logic.

Alexander Bochman, Dov M. Gabbay

J. Log. Lang. Inf., 2012

Causal dynamic inference.

Alexander Bochman, Dov M. Gabbay

Ann. Math. Artif. Intell., 2012

Here and There among Logics for Logic Programming.

Alexander Bochman

Proceedings of the Correct Reasoning, 2012

2011

Yet Another Characterization of Strong Equivalence.

Alexander Bochman, Vladimir Lifschitz

Proceedings of the Technical Communications of the 27th International Conference on Logic Programming, 2011

2008

Default logic generalized and simplified.

Alexander Bochman

Ann. Math. Artif. Intell., 2008

Default Theory of Defeasible Entailment.

Alexander Bochman

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, 2008

2007

Nonmonotonic reasoning.

Alexander Bochman

Proceedings of the Many Valued and Nonmonotonic Turn in Logic, 2007

A Causal Theory of Abduction.

Alexander Bochman

J. Log. Comput., 2007

Enhanced Contraction and (In)dependence Preliminary report.

Alexander Bochman

Proceedings of the Formal Models of Belief Change in Rational Agents, 26.08. - 30.08.2007, 2007

On Default Representation of Defeasible Inference and Specificity.

Alexander Bochman

Proceedings of the Logical Formalizations of Commonsense Reasoning, 2007

2006

Two Paradigms of Nonmonotonic Reasoning.

Alexander Bochman

Proceedings of the International Symposium on Artificial Intelligence and Mathematics, 2006

2005

Explanatory Nonmonotonic Reasoning

Alexander Bochman

Advances in Logic 4, World Scientific, ISBN: 978-981-4481-35-9, 2005

Propositional Argumentation and Causal Reasoning.

Alexander Bochman

Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005

Nonmonotonic Reasoning.

Alexander Bochman

Proceedings of the We Will Show Them! Essays in Honour of Dov Gabbay, Volume One, 2005

2004

A causal approach to nonmonotonic reasoning.

Alexander Bochman

Artif. Intell., 2004

A Causal Logic of Logic Programming.

Alexander Bochman

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), 2004

Production Inference, Nonmonotonicity and Abduction.

Alexander Bochman

Proceedings of the International Symposium on Artificial Intelligence and Mathematics, 2004

2003

Collective Argumentation and Disjunctive Logic Programming.

Alexander Bochman

J. Log. Comput., 2003

Brave Nonmonotonic Inference and Its Kinds.

Alexander Bochman

Ann. Math. Artif. Intell., 2003

A Logic For Causal Reasoning.

Alexander Bochman

Proceedings of the IJCAI-03, 2003

2002

Entrenchment versus Dependence: Coherence and Foundations inBelief Change.

Alexander Bochman

J. Log. Lang. Inf., 2002

Collective argumentation.

Alexander Bochman

Proceedings of the 9th International Workshop on Non-Monotonic Reasoning (NMR 2002), 2002

Two representations for iterative non-prioritized change.

Alexander Bochman

Proceedings of the 9th International Workshop on Non-Monotonic Reasoning (NMR 2002), 2002

2001

Possible Worlds Semantics for Credulous and Contraction Inference.

Alexander Bochman

Proceedings of the KI 2001: Advances in Artificial Intelligence, 2001

A logical theory of nonmonotonic inference and belief change - numerical methods.

Alexander Bochman

Springer, ISBN: 978-3-540-41766-8, 2001

2000

Belief Contraction as Nonmonotonic Inference.

Alexander Bochman

J. Symb. Log., 2000

A foundationalist view of the AGM theory of belief change.

Alexander Bochman

Artif. Intell., 2000

1999

A Foundational Theory of Belief and Belief Change.

Alexander Bochman

Artif. Intell., 1999

Credulous Nonmonotonic Inference.

Alexander Bochman

Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, 1999

1998

Biconsequence Relations: A Four-Valued Formalism of Reasoning with Inconsistency and Incompleteness.

Alexander Bochman

Notre Dame J. Formal Log., 1998

A Logical Foundation for Logic Programming II: Semantics of General Logic Programs.

Alexander Bochman

J. Log. Program., 1998

A Logical Foundation for Logic Programming I: Biconsequence Relations and Nonmonotonic Completion.

Alexander Bochman

J. Log. Program., 1998

On the Relation Between Default and Modal Nonmonotonic Reasoning.

Alexander Bochman

Artif. Intell., 1998

1997

A Study of Przymusinski's Static Semantics.

Alexander Bochman

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1997

1996

On a Logical Basis of Normal Logic Program.

Alexander Bochman

Fundam. Informaticae, 1996

On Logics and Semantics for General Logic Programs.

Alexander Bochman

Proceedings of the Non-Monotonic Extensions of Logic Programming, 1996

Biconsequence Relations for Nonmonotonic Reasoning.

Alexander Bochman

Proceedings of the Fifth International Conference on Principles of Knowledge Representation and Reasoning (KR'96), 1996

1995

Modal Nonmonotonic Logics Demodalized.

Alexander Bochman

Ann. Math. Artif. Intell., 1995

Default Consequence Relations as a Logical Framework for Logic Programs.

Alexander Bochman

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1995

On Bimodal Nonmonotonic Logics and Their Unimodal and Nonmodal Equivalents.

Alexander Bochman

Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, 1995

1994

On the Relation Between Default and Modal Consequence Relations.

Alexander Bochman

Proceedings of the 4th International Conference on Principles of Knowledge Representation and Reasoning (KR'94). Bonn, 1994

1990

Concerted Instant-Interval Temporal Semantics II: Temporal Valuations and Logics of Change.

Alexander Bochman

Notre Dame J. Formal Log., 1990

Concerted Instant-Interval Temporal Semantics I: Temporal Ontologies.

Alexander Bochman

Notre Dame J. Formal Log., 1990