Alexander Bochman

55 papers A* 15B 2C 1Journal 22Unranked 12

Year	Rank	Type	Title / Venue / Authors
2023	—	`conf`	An Inferential Theory of Causal Reasoning. LORI Alexander Bochman
2023	A*	`conf`	Default Logic as a Species of Causal Reasoning. KR Alexander Bochman
2018	A*	`conf`	Actual Causality in a Logical Setting. IJCAI Alexander Bochman
2018	A*	`conf`	On Laws and Counterfactuals in Causal Reasoning. KR Alexander Bochman
2017	J	`jnl`	Argumentation, Nonmonotonic Reasoning and Logic. FLAP Alexander Bochman
2016	C	`conf`	Abstract Dialectical Argumentation Among Close Relatives. COMMA Alexander Bochman
2016	A*	`conf`	On Logics and Semantics of Indeterminate Causation. KR Alexander Bochman
2015	A*	`conf`	Pearl's Causality in a Logical Setting. AAAI Alexander Bochman, Vladimir Lifschitz
2014	A*	`conf`	Dynamic Causal Calculus. KR Alexander Bochman
2013	A*	`conf`	The Markov Assumption: Formalization and Impact. IJCAI Alexander Bochman
2012	J	`jnl`	Causal dynamic inference. Ann. Math. Artif. Intell. Alexander Bochman, Dov M. Gabbay
2012	—	`conf`	Here and There among Logics for Logic Programming. Correct Reasoning Alexander Bochman
2012	J	`jnl`	Sequential Dynamic Logic. J. Log. Lang. Inf. Alexander Bochman, Dov M. Gabbay
2011	—	`conf`	Yet Another Characterization of Strong Equivalence. ICLP (Technical Communications) Alexander Bochman, Vladimir Lifschitz
2008	A*	`conf`	Default Theory of Defeasible Entailment. KR Alexander Bochman
2008	J	`jnl`	Default logic generalized and simplified. Ann. Math. Artif. Intell. Alexander Bochman
2007	J	`jnl`	A Causal Theory of Abduction. J. Log. Comput. Alexander Bochman
2007	—	`conf`	Enhanced Contraction and (In)dependence Preliminary report. Formal Models of Belief Change in Rational Agents Alexander Bochman
2007	—	`ch.`	Nonmonotonic reasoning. The Many Valued and Nonmonotonic Turn in Logic Alexander Bochman
2007	—	`conf`	On Default Representation of Defeasible Inference and Specificity. AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning Alexander Bochman
2006	—	`conf`	Two Paradigms of Nonmonotonic Reasoning. AI&M Alexander Bochman
2005	—	`book`	Explanatory Nonmonotonic Reasoning Alexander Bochman
2005	—	`conf`	Nonmonotonic Reasoning. We Will Show Them! (1) Alexander Bochman
2005	A*	`conf`	Propositional Argumentation and Causal Reasoning. IJCAI Alexander Bochman
2004	A*	`conf`	A Causal Logic of Logic Programming. KR Alexander Bochman
2004	J	`jnl`	A causal approach to nonmonotonic reasoning. Artif. Intell. Alexander Bochman
2004	—	`conf`	Production Inference, Nonmonotonicity and Abduction. AI&M Alexander Bochman
2003	A*	`conf`	A Logic For Causal Reasoning. IJCAI Alexander Bochman
2003	J	`jnl`	Brave Nonmonotonic Inference and Its Kinds. Ann. Math. Artif. Intell. Alexander Bochman
2003	J	`jnl`	Collective Argumentation and Disjunctive Logic Programming. J. Log. Comput. Alexander Bochman
2002	J	`jnl`	Collective Argumentation CoRR Alexander Bochman
2002	—	`conf`	Collective argumentation. NMR Alexander Bochman
2002	J	`jnl`	Entrenchment versus Dependence: Coherence and Foundations inBelief Change. J. Log. Lang. Inf. Alexander Bochman
2002	J	`jnl`	Two Representations for Iterative Non-prioritized Change CoRR Alexander Bochman
2002	—	`conf`	Two representations for iterative non-prioritized change. NMR Alexander Bochman
2001	—	`book`	A logical theory of nonmonotonic inference and belief change - numerical methods. Alexander Bochman
2001	—	`conf`	Possible Worlds Semantics for Credulous and Contraction Inference. KI/ÖGAI Alexander Bochman
2000	J	`jnl`	A foundationalist view of the AGM theory of belief change. Artif. Intell. Alexander Bochman
2000	J	`jnl`	Belief Contraction as Nonmonotonic Inference. J. Symb. Log. Alexander Bochman
1999	J	`jnl`	A Foundational Theory of Belief and Belief Change. Artif. Intell. Alexander Bochman
1999	A*	`conf`	Credulous Nonmonotonic Inference. IJCAI Alexander Bochman
1998	J	`jnl`	A Logical Foundation for Logic Programming I: Biconsequence Relations and Nonmonotonic Completion. J. Log. Program. Alexander Bochman
1998	J	`jnl`	A Logical Foundation for Logic Programming II: Semantics of General Logic Programs. J. Log. Program. Alexander Bochman
1998	J	`jnl`	Biconsequence Relations: A Four-Valued Formalism of Reasoning with Inconsistency and Incompleteness. Notre Dame J. Formal Log. Alexander Bochman
1998	J	`jnl`	On the Relation Between Default and Modal Nonmonotonic Reasoning. Artif. Intell. Alexander Bochman
1997	B	`conf`	A Study of Przymusinski's Static Semantics. LPNMR Alexander Bochman
1996	A*	`conf`	Biconsequence Relations for Nonmonotonic Reasoning. KR Alexander Bochman
1996	—	`conf`	On Logics and Semantics for General Logic Programs. NMELP Alexander Bochman
1996	J	`jnl`	On a Logical Basis of Normal Logic Program. Fundam. Informaticae Alexander Bochman
1995	B	`conf`	Default Consequence Relations as a Logical Framework for Logic Programs. LPNMR Alexander Bochman
1995	J	`jnl`	Modal Nonmonotonic Logics Demodalized. Ann. Math. Artif. Intell. Alexander Bochman
1995	A*	`conf`	On Bimodal Nonmonotonic Logics and Their Unimodal and Nonmodal Equivalents. IJCAI Alexander Bochman
1994	A*	`conf`	On the Relation Between Default and Modal Consequence Relations. KR Alexander Bochman
1990	J	`jnl`	Concerted Instant-Interval Temporal Semantics I: Temporal Ontologies. Notre Dame J. Formal Log. Alexander Bochman
1990	J	`jnl`	Concerted Instant-Interval Temporal Semantics II: Temporal Valuations and Logics of Change. Notre Dame J. Formal Log. Alexander Bochman