Reasoning about probabilities in dynamic systems using goal regression

Hector J. Levesque , Vaishak Belle
uncertainty in artificial intelligence 62 -71

9
2013
Hashing-based approximate probabilistic inference in hybrid domains

Guy Van den Broeck , Andrea Passerini , Vaishak Belle
uncertainty in artificial intelligence 141 -150

41
2015
How to progress beliefs in continuous domains

Hector J. Levesque , Vaishak Belle
principles of knowledge representation and reasoning 438 -447

9
2014
A logical theory of robot localization

Hector Levesque , Vaishak Belle
adaptive agents and multi-agents systems 349 -356

1
2014
The Symbolic Interior Point Method

Martin Mladenov , Kristian Kersting , Vaishak Belle
arXiv: Artificial Intelligence

2
2016
Component caching in hybrid domains with piecewise polynomial densities

Guy Van den Broeck , Andrea Passerini , Vaishak Belle
national conference on artificial intelligence 3369 -3375

18
2016
Sample-based abstraction for hybrid relational MDPs

Tinne De Laet , Luc De Raedt , Davide Nitti , Vaishak Belle

2
2015
Semiring Programming: A Framework for Search, Inference and Learning.

Luc De Raedt , Vaishak Belle
arXiv: Artificial Intelligence

2
2016
Satisfiability and model counting in open universes

Vaishak Belle
national conference on artificial intelligence 288 -294

2016
Proceedings of The Thirty-First AAAI Conference on Artificial Intelligence (AAAI-17)

Vaishak Belle
national conference on artificial intelligence

1
2017
Open-Universe Weighted Model Counting: Extended Abstract

Vaishak Belle
national conference on artificial intelligence

2017
Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, February 12-17, 2016, Phoenix, Arizona, USA.

Guy Van den Broeck , Andrea Passerini , Vaishak Belle
national conference on artificial intelligence

2
2016
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI 2016, New York, NY, USA, 9-15 July 2016

Guy Van den Broeck , Andrea Passerini , Vaishak Belle
international joint conference on artificial intelligence

2016
Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, July 27 -31, 2014, Québec City, Québec, Canada.

Christian J. Muise , Sheila A. McIlraith , Vaishak Belle
national conference on artificial intelligence

2014
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, January 25-30, 2015, Austin, Texas, USA.

Christian J. Muise , Sheila A. McIlraith , Paolo Felli , Adrian R. Pearce
national conference on artificial intelligence

1
2015