590:
452:
The advocates of the resolution approach have by no means been quiescent during the 1970s. About 1972, the theorem prover of Wos, Robinson and Carson was replaced by one developed by Ross
Overbeek. The system has continued to develop with contributions from S. Winker, E. Lusk, B. Smith and L. Wos.
217:, logic programming, and parallel computation. In the 1980s he became interested in applying logic programming to molecular biology, and he was appointed to the Joint Information Task Force, a working group established to advise the
434:
Contemporary
Mathematics: Proceedings of the Special Session on Automatic Theorem Proving, 89th Annual Meeting of the American Mathematical Society, held in Denver, Colorado, January 5–9, 1983
232:
In 1998, Overbeek was one of several scientists who co-founded the company
Integrated Genomics, Inc. with CEO Michael Fonstein. The company makes the ERGO database and analytics system.
640:
630:
625:
645:
635:
351:. with Ewing Lusk, James Boyle, Ralph Butler, Terrence Disz, Barnett Glickfeld, James Patterson, and Rick Stevens. Holt, Rinehart, and Winston. 1988.
465:
ssistant.... AURA is now viewed by its originators as a useful research tool for solving open problems subject to precise axiomatic formulations.
477:
398:
615:
356:
324:
302:
265:
222:
445:
412:
502:
190:
in 1970, and a Ph.D. in computer science from Penn State in 1971. For the next 11 years he was a computer science professor at
650:
527:
620:
437:
218:
187:
183:
56:
191:
556:
429:
210:
133:
103:
372:
340:
281:
247:
institution, to establish the
National Microbial Pathogen Data Resource Center with an $ 18 million federal grant.
214:
66:
145:
236:
165:
45:
610:
244:
605:
240:
226:
481:
366:
334:
275:
137:
129:
88:
441:
408:
352:
320:
298:
261:
243:
research. In 2004, the FIG partnered with the
Computation Institute, a joint Argonne Lab and
552:
110:
83:
149:
589:
229:. He has helped develop multiple genomic databases including PUMA, WIT, ERGO, and SEED.
313:
177:
173:
169:
93:
599:
291:
506:
531:
206:, developed by Overbeek replaced one that had been the standard in the field.
553:"$ 18 million bioinformatics center to become weapon against deadly diseases"
235:
In 2003, he co-founded the
Fellowship for Interpretation of Genomes (FIG), a
404:
141:
580:
153:
503:"Michael Fonstein, CEO of Integrated Genomics Inc., Wins KPMG Award"
209:
In 1983 he joined the
Mathematics and Computer Science Division of
319:. with Larry Wos, Ewing Lusk, and Jim Boyle. Prentice-Hall. 1984.
584:
505:. Integrated Genomics, Inc. November 20, 2000. Archived from
239:
that coordinates the development of bioinformatics tools and
480:. The Institute of Bioinformatics. 2005. Archived from
430:"Automated Theorem Proving: A Quarter-Century Review"
202:
In the early 1970s a theorem prover named AURA, for
109:
99:
79:
62:
52:
28:
21:
315:Automated Reasoning: Introduction and Applications
312:
290:
289:Overbeek, Ross A.; Singletary, Wilson E. (1983).
260:. with Wilson E. Singletary. McGraw-Hill. 1975.
168:where he struck up a lifelong friendship with
8:
588:
528:"Fellowship for Interpretation of Genomes"
392:
390:
18:
349:Portable Programs for Parallel Processors
225:on the computational requirements of the
136:. He has made important contributions to
386:
364:
332:
273:
7:
641:Pennsylvania State University alumni
631:21st-century American mathematicians
626:20th-century American mathematicians
453:The system has been named AURA, for
646:People from Traverse City, Michigan
128:(born May 16, 1949) is an American
636:Argonne National Laboratory people
223:United States Department of Energy
14:
258:American National Standard COBOL
297:. Science Research Associates.
293:Assembler language with ASSIST
1:
438:American Mathematical Society
219:National Institutes of Health
204:AUtomated Reasoning Assistant
188:Pennsylvania State University
152:and the programming language
57:Pennsylvania State University
616:American computer scientists
192:Northern Illinois University
557:Argonne National Laboratory
211:Argonne National Laboratory
182:. He received a B.Ph. from
134:Argonne National Laboratory
104:Argonne National Laboratory
667:
184:Grand Valley State College
132:with a long tenure at the
215:automated theorem proving
119:
72:
67:automated theorem proving
428:D. W. Loveland (1984).
237:non-profit organization
227:Human Genome Initiative
166:Traverse City, Michigan
46:Traverse City, Michigan
400:The Practice of Prolog
397:Leon Sterling (1990).
371:: CS1 maint: others (
339:: CS1 maint: others (
280:: CS1 maint: others (
16:American mathematician
651:American male writers
478:"Speaker Information"
245:University of Chicago
621:American geneticists
587:Bibliography Server
509:on November 19, 2008
241:comparative genomics
115:Wilson E. Singletary
559:. September 3, 2004
172:, publisher of the
148:, particularly in
138:mathematical logic
130:computer scientist
89:mathematical logic
123:
122:
74:Scientific career
658:
592:
581:Ross A. Overbeek
568:
567:
565:
564:
549:
543:
542:
540:
539:
530:. Archived from
524:
518:
517:
515:
514:
499:
493:
492:
490:
489:
474:
468:
467:
436:. Vol. 29.
425:
419:
418:
394:
376:
370:
362:
344:
338:
330:
318:
308:
296:
285:
279:
271:
126:Ross A. Overbeek
111:Doctoral advisor
84:Computer science
42:
38:
36:
23:Ross A. Overbeek
19:
666:
665:
661:
660:
659:
657:
656:
655:
596:
595:
577:
572:
571:
562:
560:
551:
550:
546:
537:
535:
526:
525:
521:
512:
510:
501:
500:
496:
487:
485:
476:
475:
471:
448:
427:
426:
422:
415:
396:
395:
388:
383:
363:
359:
347:
331:
327:
311:
305:
288:
272:
268:
256:
253:
251:Published works
200:
186:, an M.S. from
162:
150:database theory
92:
87:
53:Alma mater
48:
43:
40:
34:
32:
24:
17:
12:
11:
5:
664:
662:
654:
653:
648:
643:
638:
633:
628:
623:
618:
613:
608:
598:
597:
594:
593:
576:
575:External links
573:
570:
569:
544:
519:
494:
469:
446:
420:
413:
385:
384:
382:
379:
378:
377:
358:978-0030141539
357:
345:
326:978-0130544469
325:
309:
304:978-0574214355
303:
286:
267:978-0070574694
266:
252:
249:
199:
196:
170:R. W. Bradford
164:He grew up in
161:
158:
121:
120:
117:
116:
113:
107:
106:
101:
97:
96:
94:bioinformatics
81:
77:
76:
70:
69:
64:
63:Known for
60:
59:
54:
50:
49:
44:
30:
26:
25:
22:
15:
13:
10:
9:
6:
4:
3:
2:
663:
652:
649:
647:
644:
642:
639:
637:
634:
632:
629:
627:
624:
622:
619:
617:
614:
612:
611:Living people
609:
607:
604:
603:
601:
591:
586:
582:
579:
578:
574:
558:
554:
548:
545:
534:on 2005-04-05
533:
529:
523:
520:
508:
504:
498:
495:
484:on 2007-08-10
483:
479:
473:
470:
466:
464:
460:
456:
449:
447:0-8218-5027-X
443:
439:
435:
431:
424:
421:
416:
414:0-262-19301-9
410:
406:
402:
401:
393:
391:
387:
380:
374:
368:
360:
354:
350:
346:
342:
336:
328:
322:
317:
316:
310:
306:
300:
295:
294:
287:
283:
277:
269:
263:
259:
255:
254:
250:
248:
246:
242:
238:
233:
230:
228:
224:
220:
216:
213:, working on
212:
207:
205:
197:
195:
193:
189:
185:
181:
180:
175:
171:
167:
159:
157:
155:
151:
147:
144:, as well as
143:
139:
135:
131:
127:
118:
114:
112:
108:
105:
102:
98:
95:
90:
85:
82:
78:
75:
71:
68:
65:
61:
58:
55:
51:
47:
41:(age 75)
31:
27:
20:
561:. Retrieved
547:
536:. Retrieved
532:the original
522:
511:. Retrieved
507:the original
497:
486:. Retrieved
482:the original
472:
462:
458:
454:
451:
433:
423:
399:
348:
314:
292:
257:
234:
231:
208:
203:
201:
178:
163:
125:
124:
100:Institutions
73:
39:May 16, 1949
606:1949 births
176:periodical
174:libertarian
146:programming
600:Categories
563:2007-11-25
538:2007-11-24
513:2007-11-25
488:2007-11-25
381:References
160:Early life
35:1949-05-16
461:easoning
405:MIT Press
367:cite book
335:cite book
276:cite book
457:tomated
142:genomics
179:Liberty
444:
411:
355:
323:
301:
264:
198:Career
154:Prolog
80:Fields
585:DBLP
442:ISBN
409:ISBN
373:link
353:ISBN
341:link
321:ISBN
299:ISBN
282:link
262:ISBN
221:and
140:and
29:Born
583:at
602::
555:.
455:AU
450:.
440:.
432:.
407:.
403:.
389:^
369:}}
365:{{
337:}}
333:{{
278:}}
274:{{
194:.
156:.
91:;
86:;
37:)
566:.
541:.
516:.
491:.
463:A
459:R
417:.
375:)
361:.
343:)
329:.
307:.
284:)
270:.
33:(
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.