Hector J. Levesque

1. Reasoning about Noisy Sensors and Effectors in the Situation Calculus
   1998/09/09 by Fahiem Bacchus, Joseph Y. Halpern, Bacchus, Fahiem +3 · 2 citations
   Computer Science · #AI-based Problem Solving and Planning #Artificial Intelligence (cs.AI) #F.4.1 #FOS: Computer and information sciences #I.2.4 #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Semantic Web and Ontologies #cs.AI #cs.LO
2. Generating hard satisfiability problems
   1996/03/01 by Bart Selman, David G. M. Mitchell, David G. Mitchell +1 · 2 citations
   Computer Science · #Bayesian Modeling and Causal Inference #Formal Methods in Verification #Software Testing and Debugging Techniques