Filters: Author is Belle, Vaishak [Clear All Filters]
"On Progression and Query Evaluation in First-Order Knowledge Bases with Function Symbols", Twenty-second International Joint Conference on Artificial Intelligence (IJCAI-11) , Barcelona, Spain, AAAI Press, to appear, 2011.
"A Semantical Account of Progression in the Presence of Uncertainty", Twenty-Fifth Conference on Artificial Intelligence (AAAI-11), San Francisco, USA, AAAI Press , to appear, 2011.
"Multi-Agent Only-Knowing", Knowing, Reasoning, and Acting: College Publications, 2011.
"Multi-Agent Only-Knowing Revisited", Principles of Knowledge Representation and Reasoning (KR-2010), Toronto, Canada, AAAI Press, 2010.
"Reasoning about Imperfect Information Games in the Epistemic Situation Calculus", Twenty-Fourth Conference on Artificial Intelligence (AAAI-10), Atlanta, Georgia, USA, AAAI Press, 2010.
"Randomized Trees for Real-Time One-Step Face Detection and Recognition", Proceedings of the 19th International Conference on Pattern Recognition (ICPR'08), Tampa, Florida, USA, IEEE Computer Society, pp. 1--4, December 8-11, 2008.
"Detection and Recognition of Human Faces using Random Forests for a Mobile Robot", Knowledge-based Systems Group, RWTH Aachen, Aachen, RWTH Aachen, pp. 112, 04/2008.