BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Australia
1 × Austria
1 × Canada
1 × Germany
2 × USA
Collaborated with:
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 DBLP: Bochman:Alexander

Contributed to:

KR 20142014
ICLP 20112011
KR 20082008
KR 20042004
KR 19961996
KR 19941994

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.
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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.