MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Bart Selman" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

104 documents found, showing 1 through 10. Next 10 →

ATOM

Compute-intensive methods in artificial intelligence
by Bart Selman — 1997 — PRESENTED IN AAAI'97, FOURTEENTH AMERICAN NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE
…Compute-Intensive Methods for Artificial Intelligence Bart Selman Computer Science Department…
Cited by 1 (0 self) – Add To MetaCart

Hard Problems for Simple Default Logics
by Bart Selman — 1991 — ARTIFICIAL INTELLIGENCE
…Hard Problems for Simple Default Logics Bart Selman Department of Computer Science University…
Cited by 32 (1 self) – Add To MetaCart

Near-Optimal Plans, Tractability, and Reactivity
by Bart Selman — 1994 — In Proc. of KR 94
…Near-Optimal Plans, Tractability, and Reactivity Bart Selman AT&T Bell Laboratories Murray Hill…
Cited by 33 (2 self) – Add To MetaCart

Creating Models of Real-World Communities with ReferralWeb
by Henry Kautz, Bart Selman — 1998 — in Working Notes of the Workshop on Recommender Systems held in conjunction with AAAI-98
…@(email omitted); Bart Selman Cornell University selman@(email omitted); Most recommender systems generate recommendations…
Cited by 6 (0 self) – Add To MetaCart

An Empirical Evaluation of Knowledge Compilation
by Henry Kautz, Bart Selman — 1994 — Proc. AAAI-94
…An Empirical Evaluation of Knowledge Compilation Henry Kautz and Bart Selman AI Principles…
Cited by 3 (2 self) – Add To MetaCart

Accelerating random walks
by Wei Wei, Bart Selman — 2002 — In Proc. 8th Intl. Conf. on the Princ. and Practice of Constraint Programming (CP-2002
…Accelerating Random Walks Wei Wei and Bart Selman Department of Computer Science, Cornell…
Cited by 8 (2 self) – Add To MetaCart

A General Framework for Knowledge Compilation
by Henry Kautz, Bart Selman — 1991 — In Proceedings of the International Workshop on Processing Declarative Knowledge (PDK
…A General Framework for Knowledge Compilation Henry Kautz and Bart Selman AI Principles Research…
Cited by 22 (3 self) – Add To MetaCart

Forming Concepts for Fast Inference
by Henry Kautz, Bart Selman — 1992 — In Proceedings of the Tenth National Conference on Artificial Intelligence (AAAI-92
…Forming Concepts for Fast Inference Henry Kautz and Bart Selman AI Principles Research Department…
Cited by 46 (2 self) – Add To MetaCart

The Role of Domain-Specific Knowledge in the Planning as Satisfiability Framework
by Henry Kautz, Bart Selman — 1998
…&T Laboratories 180 Park Avenue Florham Park, NJ 07932 kautz@(email omitted); Bart Selman Department of Computer…
Cited by 67 (4 self) – Add To MetaCart

A new approach to model counting
by Wei Wei, Bart Selman — 2005 — In 8th SAT, volume 3569 of LNCS
…A New Approach to Model Counting Wei Wei and Bart Selman Department of Computer Science Cornell…
Cited by 6 (5 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB