Search: in all items in current results
Select / remove query terms:
Found 4732 results in 0.002 sec. (Time to generate facets: 0 sec.)
Pages: 1  2  3  4  5  6  7  8  9  10  >>
Bart Selman, Hector J. Levesque, David G. Mitchell: A New Method for Solving Hard Satisfiability Problems. AAAI 1992
Cited 585 times
Henry A. Kautz, Bart Selman: Pushing the Envelope: Planning, Propositional Logic and Stochastic Search. AAAI/IAAI, Vol. 2 (AAAI) 1996
Cited 452 times
David A. McAllester, David Rosenblitt: Systematic Nonlinear Planning. AAAI 1991
Cited 390 times
Marc B. Vilain, Henry A. Kautz: Constraint Propagation Algorithms for Temporal Reasoning. AAAI 1986
Cited 334 times
Eugene Charniak: Statistical Parsing with a Context-Free Grammar and Word Statistics. AAAI/IAAI (AAAI) 1997
Cited 299 times
Bart Selman, Henry A. Kautz, Bram Cohen: Noise Strategies for Improving Local Search. AAAI 1994
Cited 297 times
Natalya Fridman Noy, Mark A. Musen: PROMPT: Algorithm and Tool for Automated Ontology Merging and Alignment. AAAI/IAAI (AAAI) 2000
Cited 273 times
Mark Craven, Dan DiPasquo, Dayne Freitag, Andrew McCallum, Tom M. Mitchell, Kamal Nigam, Seán Slattery: Learning to Extract Symbolic Knowledge from the World Wide Web. AAAI/IAAI (AAAI) 1998
Cited 268 times
Pat Langley, Wayne Iba, Kevin Thompson: An Analysis of Bayesian Classifiers. AAAI 1992
Cited 251 times
Michael Montemerlo, Sebastian Thrun, Daphne Koller, Ben Wegbreit: FastSLAM: A Factored Solution to the Simultaneous Localization and Mapping Problem. AAAI/IAAI (AAAI) 2002
Cited 244 times
Pages: 1  2  3  4  5  6  7  8  9  10  >>
Refine search by VENUE: show counts

AAAI

Powered by Cloud Mining using the DBLP data.