Selman, Bart
Bart Selman informaticien américain
VIAF ID: 53312277 ( Personal )
Permalink: http://viaf.org/viaf/53312277
Preferred Forms
- 100 0 _ ‡a Bart Selman ‡c informaticien américain
- 100 1 _ ‡a Selman, Bart
- 100 1 _ ‡a Selman, Bart
-
-
- 100 1 _ ‡a Selman, Bart
- 100 1 _ ‡a Selman, Bart
4xx's: Alternate Name Forms (5)
Works
Title | Sources |
---|---|
An overview of knowledge acquisition ... 1986 | |
Principles of knowledge representation and reasoning, c2000: | |
Proceedings of the fourth international symposium on artificial intelligence and mathematics AI/MATH-96 : Fort Lauderdale, Florida january 3-5 1996 | |
Rule-based processing in a connectionist system for natural language understanding. | |
Tractable default reasoning. | |
Working notes of the LICS 2001 workshop on theory and applications of satisfiability testing : June 14-15, 2001, Boston University |