`Travelled to:`

1 × Australia

1 × Austria

1 × Canada

1 × Germany

2 × USA

`Collaborated with:`

∅ V.Lifschitz

`Talks about:`

relat (3) default (2) causal (2) logic (2) nonmonoton (1) character (1) biconsequ (1) calculus (1) program (1) equival (1)

## Person: Alexander Bochman

### DBLP: Bochman:Alexander

### Contributed to:

### Wrote 6 papers:

- KR-2014-Bochman #calculus
- Dynamic Causal Calculus (AB).
- ICLP-2011-BochmanL #equivalence
- Yet Another Characterization of Strong Equivalence (AB, VL), pp. 11–15.
- KR-2008-Bochman
- Default Theory of Defeasible Entailment (AB), pp. 466–475.
- KR-2004-Bochman #logic programming
- A Causal Logic of Logic Programming (AB), pp. 427–437.
- KR-1996-Bochman #reasoning
- Biconsequence Relations for Nonmonotonic Reasoning (AB), pp. 482–492.
- KR-1994-Bochman #on the
- On the Relation Between Default and Modal Consequence Relations (AB), pp. 63–74.