Jeffrey Van Baalen
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
1988–1998
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1998 | LOPSTR | Using Decision Procedures to Accelerate Domain-Specific Deductive Synthesis Systems. | Jeffrey Van Baalen, Steve Roach |
| 1994 | KR | The Role of Reversible Grammars in Translating Between Representation Languages. | Jeffrey Van Baalen, Richard Fikes |
| 1991 | KR | The Completeness of DRAT, A Technique for Automatic Design of Satisfiability Procedures. | Jeffrey Van Baalen |
| 1990 | ICTAI | Performing deduction from implicit beliefs. | Jeffrey Van Baalen, Robert Nado |
| 1988 | AAAI | Overview of an Approach to Representation Design. | Jeffrey Van Baalen, Randall Davis |