A. Bochman

发表

Alexander Bochman, A. Bochman, 2005, Advances in Logic.
Alexander Bochman, A. Bochman, 2001, Artificial Intelligence.
D. Gabbay, A. Bochman, 2011, Journal of Logic, Language and Information.
Alexander Bochman, A. Bochman, 2021 .
Alexander Bochman, A. Bochman, 2014, KR.
Alexander Bochman, A. Bochman, 2013, IJCAI.
Alexander Bochman, A. Bochman, 2005, We Will Show Them!.
Alexander Bochman, A. Bochman, 2004, Artif. Intell..
Alexander Bochman, A. Bochman, 2011 .
Alexander Bochman, A. Bochman, 2008, KR.
Alexander Bochman, A. Bochman, 2007, AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning.
Alexander Bochman, A. Bochman, 2018, IJCAI.
Dov M. Gabbay, Alexander Bochman, D. Gabbay, 2012, J. Log. Lang. Inf..
Alexander Bochman, A. Bochman, 2004, KR.
Alex Bochman, A. Bochman, 2008, Annals of Mathematics and Artificial Intelligence.
Alexander Bochman, A. Bochman, 1990, Notre Dame J. Formal Log..
Alexander Bochman, A. Bochman, 1999, Artif. Intell..
Alexander Bochman, A. Bochman, 1995, Annals of Mathematics and Artificial Intelligence.
Alexander Bochman, A. Bochman, 2007, J. Log. Comput..
Alexander Bochman, A. Bochman, 2003, J. Log. Comput..
Alexander Bochman, A. Bochman, 2002, NMR.
Alexander Bochman, A. Bochman, 2018, KR.
Vladimir Lifschitz, Alexander Bochman, V. Lifschitz, 2015, AAAI.
A. Bochman, 2003, IJCAI.
Rolf Niedermeier, Nadja Betzler, Susanne Hemmann, 2003, IJCAI 2003.
Alexander Bochman, A. Bochman, 1990, Notre Dame J. Formal Log..
Alexander Bochman, A. Bochman, 2003, Annals of Mathematics and Artificial Intelligence.
Alexander Bochman, A. Bochman, 2001, KI/ÖGAI.
Alexander Bochman, A. Bochman, 1999, IJCAI.
A. Bochman, 2003, IJCAI.
Alexander Bochman, A. Bochman, 2000, Journal of Symbolic Logic.
Alexander Bochman, A. Bochman, 2016, KR.
Alexander Bochman, A. Bochman, 1998, Artif. Intell..