Computer Science Department


Dr. Alexander Bochman - Selected publications:

Explanatory Nonmonotonic Reasoning. World Scientific, 2005

A causal theory of abduction.

7^th Int. Symposium on Logical Formalizations of Commonsense Reasoning, Corfu, Greece, 2005.

Propositional argumentation and causal inference.

Int. Joint Conference on Artificial Intelligence, IJCAI’05, Edinburgh, August 2-5, 2005.

Two theories of nonmonotonic reasoning. In We Will Show Them. Papers in honour of Dov M. Gabbay on his 60^th birthday. King’s College Publ., 2005

A causal approach to nonmonotonic reasoning,

Artificial Intelligence, 160, 2004 (105-143). (pre-final version)

A causal logic of logic programming,

Proc. Int’l. Conf. on Knowledge Representation and Reasoning, KR ’04, Whistler, pp. 427-437.

A logic for causal reasoning,
G. Gottlob and T. Walsh (eds.) Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence (IJCAI'03), Acapulco, 2003, pp. 141-146. [pdf]

On disjunctive causal Inference and Indeterminism,
Proceedings of The Workshop on Nonmonotonic Reasoning, Action, and Change (NRAC'03), Acapulco, 2003, pp. 45-50. [pdf]

Brave nonmonotonic inference and its kinds,
Annals of Mathematics and Artificial Intelligence 39: 101-121, 2003 [dvi]

Collective argumentation and disjunctive logic programming,
Journal of Logic and Computation, 13: 405-428, 2003. [pdf]

Two representations for iterative non-prioritized change,
S. Benferhat and E. Giunchiglia (eds.) Proceedings of the 9th International Workshop on Non-Monotonic Reasoning (NMR'2002), pp. 135-141. [pdf]

Entrenchment versus dependence: Coherence and foundations in belief change,
J. of Logic, Language and Information, 11: 3-27, 2002. [postscript]

Possible worlds semantics for credulous and contraction inference,
KI 2001: Advances in Artificial Intelligence. Proc. Joint German/Austrian Conference on AI, Vienna, 2001, (Lecture Notes in Artificial Intelligence, LNAI 2174, pp. 94-105. [postscript]

A Logical Theory of Nonmonotonic Inference and Belief Change,
Springer Verlag, series `Artificial Intelligence', 2001. Springer's site

Contraction of epistemic states: A general theory,
In M.-A. Williams and H. Rott (eds.) Frontiers in Belief Revision, Kluwer, 2001, pp. 195-220 [postscript]

A foundationalist view of the AGM theory of belief change,
Artificial Intelligence, 116, 2000, pp. 237--263. [postscript]

Belief contraction as nonmonotonic inference,
Journal of Symbolic Logic, 65, 2000, pp. 605--626. [postscript]

A foundational theory of belief and belief change,
Artificial Intelligence, 108, 1999, pp. 309--352.

Credulous nonmonotonic inference,
Proceedings of IJCAI'99, Stockholm, August 1999. [postscript]

A logical foundation for logic programming I: Biconsequence relations and nonmonotonic completion,
Journal of Logic Programming, 1998, 35: 151-170. Review on Page of Positive Reviews of Research in Logical AI: http://ppr.kr.org/ppr/ [postscript]

A logical foundation for logic programming II: Semantics for logic programs,
Journal of Logic Programming, 1998, 35: 171-194. [postscript]

On the relation between default and modal formalizations of nonmonotonic reasoning,
Artificial Intelligence, 1998, 101: 1-34. [postscript]

Biconsequence relations: A general formalism of reasoning with inconsistency and incompleteness,
Notre Dame Journal of Formal Logic, 39, 1998, pp. 47--73. [postscript]

A study of Przymusinski's static semantics,
Proceedings 4th Int. Conf. on Logic Programming and Nonmonotonic Reasoning, LPNMR'97, July 1997, Lecture Notes in AI, 1265, pp. 170-184. [postscript]

Biconsequence relations for nonmonotonic reasoning,
Proc 5th Int. Conference on Knowledge Representation and Reasoning (KR'96), Cambridge, Mass., November 1996. [postscript]

On logics and semantics for general logic programs,
Proc. 2nd Int. Workshop on Nonmonotonic Extensions of Logic Programming,
NMELP'96, September 1996, Bad Honnef, Germany. Lecture Notes in AI, 1216, pp. 37-56.

On a logical basis of normal logic programs,
Fundamenta Informatica, 1996, 28, n.3-4: 223-245.

On bimodal nonmonotonic logics and their unimodal and non-modal equivalents,
Proceedings IJCAI'95, Montreal, Canada, 1995.

Default consequence relations as a logical framework for logic programs,
Proc. 3d Int. Conf. on Logic Programming and Nonmonotonic Reasoning, LPNMR'95, Lecture Notes in AI, 928, pp. 245-258.

Modal nonmonotonic logics demodalized,
Annals of Mathematics and Artificial Intelligence 1995, 15: 101-123.

On the relation between default and modal consequence relations,
Proc. 4th International Conference on Knowledge Representation and Reasoning (KR'94), May 1994, Bonn, Germany.

Concerted instant-interval temporal semantics I: Temporal ontologies,
Notre Dame Journal of Formal Logic, 1990, 31, 3, pp. 403-14.

Concerted instant-interval temporal semantics II: Temporal valuations and logics of change,
Notre Dame Journal of Formal Logic,1990, 31, 4: 580-601.

Mereology as a theory of part-whole,
Logique et Analyse, 1990, 129-130: 75-101.