 | 2011 |
|---|
| 41 |       | Alexander Bochman,
Vladimir Lifschitz:
Yet Another Characterization of Strong Equivalence.
ICLP (Technical Communications) 2011: 11-15 |
| 2008 |
|---|
| 40 |  | Alexander Bochman:
Default Theory of Defeasible Entailment.
KR 2008: 466-475 |
| 39 | | Alexander Bochman:
Default logic generalized and simplified.
Ann. Math. Artif. Intell. 53(1-4): 21-49 (2008) |
| 2007 |
|---|
| 38 | | Alexander Bochman:
On Default Representation of Defeasible Inference and Specificity.
AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning 2007: 19-24 |
| 37 | | Alexander Bochman:
Enhanced Contraction and (In)dependence Preliminary report.
Formal Models of Belief Change in Rational Agents 2007 |
| 36 | | Alexander Bochman:
A Causal Theory of Abduction.
J. Log. Comput. 17(5): 851-869 (2007) |
| 2006 |
|---|
| 35 | | Alexander Bochman:
Two Paradigms of Nonmonotonic Reasoning.
ISAIM 2006 |
| 2005 |
|---|
| 34 | | Alexander Bochman:
Propositional Argumentation and Causal Reasoning.
IJCAI 2005: 388-393 |
| 33 | | Alexander Bochman:
Nonmonotonic Reasoning.
We Will Show Them! (1) 2005: 265-308 |
| 2004 |
|---|
| 32 | | Alexander Bochman:
Production Inference, Nonmonotonicity and Abduction.
AMAI 2004 |
| 31 | | Alexander Bochman:
Production Inference, Nonmonotonicity and Abduction.
ISAIM 2004 |
| 30 | | Alexander Bochman:
A Causal Logic of Logic Programming.
KR 2004: 427-437 |
| 29 | | Alexander Bochman:
A causal approach to nonmonotonic reasoning.
Artif. Intell. 160(1-2): 105-143 (2004) |
| 2003 |
|---|
| 28 | | Alexander Bochman:
A Logic For Causal Reasoning.
IJCAI 2003: 141-146 |
| 27 | | Alexander Bochman:
Brave Nonmonotonic Inference and Its Kinds.
Ann. Math. Artif. Intell. 39(1-2): 101-121 (2003) |
| 26 | | Alexander Bochman:
Collective Argumentation and Disjunctive Logic Programming.
J. Log. Comput. 13(3): 405-428 (2003) |
| 2002 |
|---|
| 25 | | Alexander Bochman:
Two representations for iterative non-prioritized change.
NMR 2002: 135-141 |
| 24 | | Alexander Bochman:
Collective argumentation.
NMR 2002: 436-443 |
| 23 | | Alexander Bochman:
Two Representations for Iterative Non-prioritized Change
CoRR cs.AI/0207029: (2002) |
| 22 | | Alexander Bochman:
Collective Argumentation
CoRR cs.AI/0207030: (2002) |
| 21 | | Alexander Bochman:
Entrenchment versus Dependence: Coherence and Foundations inBelief Change.
Journal of Logic, Language and Information 11(1): 3-27 (2002) |
| 2001 |
|---|
| 20 | | Alexander Bochman:
A logical theory of nonmonotonic inference and belief change - numerical methods.
Springer 2001: I-XII, 1-434 |
| 19 | | Alexander Bochman:
Possible Worlds Semantics for Credulous and Contraction Inference.
KI/ÖGAI 2001: 94-105 |
| 2000 |
|---|
| 18 | | Alexander Bochman:
A foundationalist view of the AGM theory of belief change.
Artif. Intell. 116(1-2): 237-263 (2000) |
| 17 | | Alexander Bochman:
Belief Contraction as Nonmonotonic Inference.
J. Symb. Log. 65(2): 605-626 (2000) |
| 1999 |
|---|
| 16 | | Alexander Bochman:
Credulous Nonmonotonic Inference.
IJCAI 1999: 30-35 |
| 15 | | Alexander Bochman:
A Foundational Theory of Belief and Belief Change.
Artif. Intell. 108(1-2): 309-352 (1999) |
| 1998 |
|---|
| 14 | | Alexander Bochman:
On the Relation Between Default and Modal Nonmonotonic Reasoning.
Artif. Intell. 101(1-2): 1-34 (1998) |
| 13 | | Alexander Bochman:
A Logical Foundation for Logic Programming I: Biconsequence Relations and Nonmonotonic Completion.
J. Log. Program. 35(2): 151-170 (1998) |
| 12 | | Alexander Bochman:
A Logical Foundation for Logic Programming II: Semantics of General Logic Programs.
J. Log. Program. 35(2): 171-194 (1998) |
| 11 | | Alexander Bochman:
Biconsequence Relations: A Four-Valued Formalism of Reasoning with Inconsistency and Incompleteness.
Notre Dame Journal of Formal Logic 39(1): 47-73 (1998) |
| 1997 |
|---|
| 10 | | Alexander Bochman:
A Study of Przymusinski's Static Semantics.
LPNMR 1997: 170-184 |
| 1996 |
|---|
| 9 | | Alexander Bochman:
Biconsequence Relations for Nonmonotonic Reasoning.
KR 1996: 482-492 |
| 8 | | Alexander Bochman:
On Logics and Semantics for General Logic Programs.
NMELP 1996: 37-56 |
| 7 | | Alexander Bochman:
On a Logical Basis of Normal Logic Program.
Fundam. Inform. 28(3-4): 223-245 (1996) |
| 1995 |
|---|
| 6 | | Alexander Bochman:
On Bimodal Nonmonotonic Logics and Their Unimodal and Nonmodal Equivalents.
IJCAI 1995: 1518-1524 |
| 5 | | Alexander Bochman:
Default Consequence Relations as a Logical Framework for Logic Programs.
LPNMR 1995: 245-258 |
| 4 | | Alexander Bochman:
Modal Nonmonotonic Logics Demodalized.
Ann. Math. Artif. Intell. 15(1): 101-123 (1995) |
| 1994 |
|---|
| 3 | | Alexander Bochman:
On the Relation Between Default and Modal Consequence Relations.
KR 1994: 63-74 |
| 1990 |
|---|
| 2 | | Alexander Bochman:
Concerted Instant-Interval Temporal Semantics I: Temporal Ontologies.
Notre Dame Journal of Formal Logic 31(3): 403-414 (1990) |
| 1 | | Alexander Bochman:
Concerted Instant-Interval Temporal Semantics II: Temporal Valuations and Logics of Change.
Notre Dame Journal of Formal Logic 31(4): 580-601 (1990) |
Data released under the ODC-BY 1.0 license — See also our legal information page