437:
518:
498:
474:
350:
513:
358:
The
Engineering Design Revolution:The People, Companies and Computer Systems That Changed Forever the Practice of Engineering
503:
523:
84:
508:
407:
190:
He founded the company
Quintus Computer Systems in 1983 with William Kornfeld, Lawrence Byrd, Fernando Pereira and
386:
Raina, S.; Warren, D.H.D. (1992). "Traffic patterns in a scalable multiprocessor through transputer emulation".
290:
180:
269:
17:
467:
316:"Introduction to the COMTEX Microfiche Edition of the SRI Artificial Intelligence Center Technical Notes"
315:
226:
Warren, David H. D. (1978). "Applied logic : its use and implementation as a programming tool".
252:
460:
160:
156:
140:
48:
38:
493:
199:
239:
206:
71:
448:
152:
129:
436:
8:
413:
361:
121:
403:
184:
125:
65:
417:
395:
227:
96:
388:
Proceedings of the Twenty-Fifth Hawaii
International Conference on System Sciences
333:
311:
164:
105:
444:
195:
399:
487:
265:
191:
168:
101:
282:
231:
136:
443:
This biographical article relating to a computer specialist is a
132:
78:
85:
391:
143:
execution environment for Prolog is named after him.
348:
485:
310:
135:in the 1970s and 1980s. Warren wrote the first
468:
338:. Artificial Intelligence Publications. 1983.
287:Alumnus of the Artificial Intelligence Center
205:He has also held an academic position at the
385:
146:
475:
461:
16:For other people named David Warren, see
519:Academics of the University of Bristol
486:
322:. Vol. 5, no. 1. p. 49.
225:
194:to commercialize the Prolog compiler,
499:Alumni of the University of Edinburgh
431:
13:
335:The Artificial intelligence report
14:
535:
435:
209:Department of Computer Science.
379:
342:
326:
304:
291:Artificial Intelligence Center
275:
259:
219:
181:Artificial Intelligence Center
1:
514:Logic programming researchers
270:Mathematics Genealogy Project
212:
18:David Warren (disambiguation)
447:. You can help Knowledge by
272:-- (accessed 10 August 2014)
7:
504:British computer scientists
10:
540:
430:
394:. pp. 267–276 vol.1.
349:David E. Weisberg (2008).
15:
524:Computer specialist stubs
400:10.1109/HICSS.1992.183173
174:
167:, and (a second advisor)
111:
95:
77:
61:
54:
44:
34:
27:
509:SRI International people
147:Early life and education
124:who worked primarily on
69:Quintus Computer Systems
161:University of Edinburgh
157:artificial intelligence
141:Warren Abstract Machine
49:Warren Abstract Machine
39:University of Edinburgh
247:Cite journal requires
200:Intergraph Corporation
198:. Quintus was sold to
179:Warren worked for the
163:in 1977 under advisor
128:and in particular the
207:University of Bristol
72:University of Bristol
139:for Prolog, and the
130:programming language
283:"David H.D. Warren"
266:David H. D. Warren
151:Warren received a
122:computer scientist
118:David H. D. Warren
29:David H. D. Warren
456:
455:
185:SRI International
126:logic programming
115:
114:
66:SRI International
56:Scientific career
531:
477:
470:
463:
439:
432:
422:
421:
383:
377:
376:
374:
372:
366:
360:. Archived from
355:
346:
340:
339:
330:
324:
323:
308:
302:
301:
299:
297:
279:
273:
263:
257:
256:
250:
245:
243:
235:
223:
97:Doctoral advisor
91:
25:
24:
539:
538:
534:
533:
532:
530:
529:
528:
484:
483:
482:
481:
428:
426:
425:
410:
384:
380:
370:
368:
364:
353:
347:
343:
332:
331:
327:
312:Nils J. Nilsson
309:
305:
295:
293:
281:
280:
276:
264:
260:
248:
246:
237:
236:
224:
220:
215:
177:
165:Robert Kowalski
149:
106:Robert Kowalski
104:
89:
70:
68:
35:Alma mater
30:
21:
12:
11:
5:
537:
527:
526:
521:
516:
511:
506:
501:
496:
480:
479:
472:
465:
457:
454:
453:
440:
424:
423:
408:
378:
367:on 7 July 2010
341:
325:
303:
274:
258:
249:|journal=
217:
216:
214:
211:
196:Quintus Prolog
187:in the 1980s.
176:
173:
148:
145:
113:
112:
109:
108:
99:
93:
92:
81:
75:
74:
63:
59:
58:
52:
51:
46:
45:Known for
42:
41:
36:
32:
31:
28:
9:
6:
4:
3:
2:
536:
525:
522:
520:
517:
515:
512:
510:
507:
505:
502:
500:
497:
495:
494:Living people
492:
491:
489:
478:
473:
471:
466:
464:
459:
458:
452:
450:
446:
441:
438:
434:
433:
429:
419:
415:
411:
409:0-8186-2420-5
405:
401:
397:
393:
389:
382:
363:
359:
352:
345:
337:
336:
329:
321:
317:
313:
307:
292:
288:
284:
278:
271:
267:
262:
254:
241:
233:
229:
222:
218:
210:
208:
203:
201:
197:
193:
192:Cuthbert Hurd
188:
186:
182:
172:
170:
169:Donald Michie
166:
162:
158:
154:
144:
142:
138:
134:
131:
127:
123:
119:
110:
107:
103:
102:Donald Michie
100:
98:
94:
87:
86:
82:
80:
76:
73:
67:
64:
60:
57:
53:
50:
47:
43:
40:
37:
33:
26:
23:
19:
449:expanding it
442:
427:
387:
381:
369:. Retrieved
362:the original
357:
351:"Intergraph"
344:
334:
328:
319:
306:
294:. Retrieved
286:
277:
261:
240:cite journal
221:
204:
189:
178:
150:
117:
116:
83:
62:Institutions
55:
22:
320:AI Magazine
488:Categories
213:References
232:1842/6648
202:in 1989.
159:from the
418:62278813
314:(1984).
137:compiler
268:at the
416:
406:
371:26 May
296:26 May
175:Career
133:Prolog
90:(1977)
88:
79:Thesis
414:S2CID
365:(PDF)
354:(PDF)
153:Ph.D.
120:is a
445:stub
404:ISBN
392:IEEE
373:2010
298:2010
253:help
396:doi
228:hdl
183:at
155:in
490::
412:.
402:.
390:.
356:.
318:.
289:.
285:.
244::
242:}}
238:{{
171:.
476:e
469:t
462:v
451:.
420:.
398::
375:.
300:.
255:)
251:(
234:.
230::
20:.
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.