2008 | ||
---|---|---|
35 | Alexander Bochman: Default Theory of Defeasible Entailment. KR 2008: 466-475 | |
2007 | ||
34 | EE | Alexander Bochman: Enhanced Contraction and (In)dependence Preliminary report. Formal Models of Belief Change in Rational Agents 2007 |
33 | EE | Alexander Bochman: A Causal Theory of Abduction. J. Log. Comput. 17(5): 851-869 (2007) |
2005 | ||
32 | EE | Alexander Bochman: Propositional Argumentation and Causal Reasoning. IJCAI 2005: 388-393 |
31 | Alexander Bochman: Nonmonotonic Reasoning. We Will Show Them! (1) 2005: 265-308 | |
2004 | ||
30 | EE | Alexander Bochman: Production Inference, Nonmonotonicity and Abduction. AMAI 2004 |
29 | Alexander Bochman: A Causal Logic of Logic Programming. KR 2004: 427-437 | |
28 | EE | Alexander Bochman: A causal approach to nonmonotonic reasoning. Artif. Intell. 160(1-2): 105-143 (2004) |
2003 | ||
27 | Alexander Bochman: A Logic For Causal Reasoning. IJCAI 2003: 141-146 | |
26 | Alexander Bochman: Brave Nonmonotonic Inference and Its Kinds. Ann. Math. Artif. Intell. 39(1-2): 101-121 (2003) | |
25 | EE | Alexander Bochman: Collective Argumentation and Disjunctive Logic Programming. J. Log. Comput. 13(3): 405-428 (2003) |
2002 | ||
24 | Alexander Bochman: Two representations for iterative non-prioritized change. NMR 2002: 135-141 | |
23 | Alexander Bochman: Collective argumentation. NMR 2002: 436-443 | |
22 | EE | Alexander Bochman: Two Representations for Iterative Non-prioritized Change CoRR cs.AI/0207029: (2002) |
21 | EE | Alexander Bochman: Collective Argumentation CoRR cs.AI/0207030: (2002) |
20 | Alexander Bochman: Entrenchment versus Dependence: Coherence and Foundations inBelief Change. Journal of Logic, Language and Information 11(1): 3-27 (2002) | |
2001 | ||
19 | EE | Alexander Bochman: Possible Worlds Semantics for Credulous and Contraction Inference. KI/ÖGAI 2001: 94-105 |
2000 | ||
18 | EE | 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 | EE | Alexander Bochman: A Foundational Theory of Belief and Belief Change. Artif. Intell. 108(1-2): 309-352 (1999) |
1998 | ||
14 | EE | 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) |