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:
2014
20112008200419961994Wrote 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.