| from |
to |
date |
subject |
| norman%ics@SDCSVAX.UCSD.EDU (Donald A. Norman) |
ALL |
1987-06-30 10:18:40 |
On how AI answers psychological issues |
| ISCLIMEL@NUSVM.BITNET (Jenny) |
ALL |
1987-06-30 02:40:44 |
so what about plausible reasoning ? |
| ADLASSNI@AWIIMC11.BITNET.UUCP |
ALL |
1987-06-30 02:20:45 |
natural language - predicate calculus - theorem proving |
| pratt@VANHALEN.RUTGERS.EDU (Lorien Y. Pratt) |
ALL |
1987-06-29 15:36:07 |
Request for automatic programming bibliographies |
| NYSTERN@WEIZMANN.BITNET.UUCP |
ALL |
1987-06-29 02:35:17 |
Re: Re: Taking AI models and applying them to biology... |
| Laws@STRIPE.SRI.COM.UUCP |
ALL |
1987-06-28 18:27:22 |
Fuzzy Symbolism |
| CS.PURVIS@R20.UTEXAS.EDU |
ALL |
1987-06-27 15:13:00 |
Conference - SLUG `87 Reminder |
| uucp@winfree.UUCP.UUCP |
ALL |
1987-06-27 09:41:23 |
Submission for comp-ai-digest |
| clp@moncsbruce.OZ.AU (The CLP(R) Personae) |
ALL |
1987-06-26 16:18:25 |
CLP(R) Distribution Announcement |
| dlm@allegra.CSNET |
ALL |
1987-06-25 17:10:08 |
Seminar - Nonmonotonic Multiple Inheritance Systems (Bell Labs) |
| fishwick@bikini.cis.ufl.EDU (Paul Fishwick) |
ALL |
1987-06-25 10:50:35 |
Conference - SIMULATION AND AI |
| JJD.MDC@OFFICE-1.ARPA.UUCP |
ALL |
1987-06-24 18:39:00 |
Drexler and Nanotechnology |
| lansky@VENICE.AI.SRI.COM (Amy Lansky) |
ALL |
1987-06-24 14:32:42 |
Seminar - AI Research at Edinburgh (SRI) |
| Herve.Lambert@PS3.CS.CMU.EDU |
ALL |
1987-06-23 13:32:28 |
Conference - European Conference on AI in Medicine |
| CL.BOYER@R20.UTEXAS.EDU |
ALL |
1987-06-22 21:24:22 |
Kyoto Common Lisp |
| lcc.bill@CS.UCLA.EDU (William J. Fulco) |
ALL |
1987-06-22 19:38:32 |
Slow-motion / $6E6 man |
| hunt@spar.UUCP.UUCP |
ALL |
1987-06-22 13:19:59 |
Symbol grounding and invertibility. |
| lambert%cod@NOSC.MIL |
ALL |
1987-06-22 12:47:32 |
Why did $6M man run so slowly? |
| CMP.FLATAU@R20.UTEXAS.EDU.UUCP |
ALL |
1987-06-22 11:12:25 |
Re: why did the $6,000,000 man run so slowly? |
| bnevin@CCH.BBN.COM.UUCP |
ALL |
1987-06-22 11:03:03 |
nano-engineering |
| rcopm@koel.rmit.OZ.AU (Paul Menon) |
ALL |
1987-06-21 07:42:01 |
Re: Smalltalk-80 for Sun 3 ... (LONG) |
| dml@NADC.ARPA.UUCP |
ALL |
1987-06-19 12:11:16 |
Unix LISPs in C |
| gaska.pasa@XEROX.COM.UUCP |
ALL |
1987-06-19 11:21:00 |
Use of AI in Criminal Investigation |
| AI.Slocum@MCC.COM.UUCP |
ALL |
1987-06-18 18:21:23 |
nanomachinery |
| douglas@BOEING.COM (Douglas Schuler) |
ALL |
1987-06-18 16:14:49 |
Conference - Advanced Computing Symposium |
| ray@BOEING.COM (Ray Allis) |
ALL |
1987-06-18 13:08:27 |
The Symbol Grounding Answer |
| Herve.Lambert@PS3.CS.CMU.EDU.UUCP |
ALL |
1987-06-18 12:58:37 |
Expert Systems in Process Control |
| KALANTARI@RED.RUTGERS.EDU |
ALL |
1987-06-18 11:47:53 |
Seminar - Acquiring Knowledge from the Outside (Rutgers) |
| ernst%home@ti-csl.CSNET.UUCP |
ALL |
1987-06-18 09:53:01 |
Nanotechnology |
| Laws@STRIPE.SRI.COM (Ken Laws) |
ALL |
1987-06-18 02:33:01 |
Visual Decoding |
| root@maths.qmc.ac.UK.UUCP |
ALL |
1987-06-17 08:21:22 |
Unix Lisps in C? |
| JMC@SAIL.STANFORD.EDU (John McCarthy) |
ALL |
1987-06-16 18:59:00 |
Symbol Grounding Problem and Disputes |
| DAVSMITH@A.ISI.EDU.UUCP |
ALL |
1987-06-16 09:10:00 |
Nano-Engineering |
| stevens@ANL-MCS.ARPA.UUCP |
ALL |
1987-06-15 21:07:49 |
Conference - CADE-9: Automated Deduction |
| lcc.bill@CS.UCLA.EDU.UUCP |
ALL |
1987-06-15 19:04:21 |
Smalltakl-80 for Sun 3 (and others) |
| rba@FLASH.BELLCORE.COM.UUCP |
ALL |
1987-06-15 17:17:53 |
Conference - Office Knowledge |
| amsler@FLASH.BELLCORE.COM.UUCP |
ALL |
1987-06-15 17:15:04 |
Re: AIList Digest V5 #145 |
| AI.ELLIE@MCC.COM.UUCP |
ALL |
1987-06-15 15:50:06 |
Seminar - Partial Order Programming (MCC) |
| AI.ELLIE@MCC.COM.UUCP |
ALL |
1987-06-15 15:12:25 |
Seminar - Mechanization of Programmer`s Knowledge (MCC) |
| Marcella.Zaragoza@ISL1.RI.CMU.EDU.UUCP |
ALL |
1987-06-15 12:15:25 |
Seminar - Default Reasoning and Stereotypes in User Modelling (UPenn) |
| SHRIVER@IBM.COM.UUCP |
ALL |
1987-06-15 02:26:36 |
Journal Issue - Neural Networks |
| gabriel@VAXA.ISI.EDU.UUCP |
ALL |
1987-06-13 16:35:12 |
The ISI Grapher |
| gref@NRL-AIC.ARPA.UUCP |
ALL |
1987-06-12 15:40:35 |
Conference - Genetic Algorithms |
| LANTZ@RED.RUTGERS.EDU.UUCP |
ALL |
1987-06-12 15:40:00 |
Neural network processors in High Technology |
| emerson.UUCP@uvm-gen.UUCP.UUCP |
ALL |
1987-06-11 22:03:39 |
Machine emotion research |
| lansky@VENICE.AI.SRI.COM.UUCP |
ALL |
1987-06-11 14:29:04 |
Seminar - Universal Plans: Emergent Goal Structures (SRI) |
| tim@LINC.CIS.UPENN.EDU.UUCP |
ALL |
1987-06-11 14:13:25 |
Seminar - Abductive Reasoning in Multifault Diagnostic Systems (UPenn) |
| gray@hplb.CSNET.UUCP |
ALL |
1987-06-11 08:48:05 |
Re: Taking AI models and applying them to biology... |
| elsaesser%mwcamis@MITRE.ARPA.UUCP |
ALL |
1987-06-11 08:31:20 |
Say, what ever happened to ... ICOT Prolog????? |
| ABOULANGER@G.BBN.COM (Albert Boulanger) |
ALL |
1987-06-10 12:31:39 |
Re: Information flow discussions |
| sas@BFLY-VAX.BBN.COM.UUCP |
ALL |
1987-06-10 09:51:00 |
Borrowing from Biology [Half in Jest] |
| DAVIS@EMBL.BITNET |
ALL |
1987-06-09 06:26:42 |
digging up the garbage.... |
| DAVIS@EMBL.BITNET |
ALL |
1987-06-09 06:26:05 |
precision in writing |
| fordyce@ti-csl.UUCP.UUCP |
ALL |
1987-06-05 14:50:31 |
Conference - OOPSLA-87 |
| sherman@wiley.UUCP.UUCP |
ALL |
1987-06-05 12:42:22 |
Conference - Architectures for Intelligent Interfaces |
| AAAI-OFFICE@SUMEX-AIM.STANFORD.EDU (AAAI) |
ALL |
1987-06-04 13:23:18 |
AAAI`s Preregistration Deadline |
| traiger@oxy.UUCP.UUCP |
ALL |
1987-06-04 13:00:45 |
Program - Cognitive Science at Occidental College |
| hunt@spar.UUCP.UUCP |
ALL |
1987-06-03 13:48:31 |
Re: Computer Grading and the Law |
| ladkin@KESTREL.ARPA.UUCP |
ALL |
1987-06-02 16:48:51 |
symbol grounding |
| gjoly@CS.UCL.AC.UK.UUCP |
ALL |
1987-06-02 10:24:37 |
Travel Funding. |
| hendler@BRILLIG.UMD.EDU.UUCP |
ALL |
1987-06-02 04:43:53 |
Re: philosophy and computational complexity |
| VAL@SAIL.STANFORD.EDU.UUCP |
ALL |
1987-06-01 19:05:00 |
Seminar - Potential Histories and Inertial Theories (SU) |
| HAYES@SPAR-20.ARPA (PAT) |
ALL |
1987-06-01 16:31:58 |
Re: Philosophy, AI, and Complexity Theory |
| AI.ELLIE@MCC.COM.UUCP |
ALL |
1987-06-01 12:04:12 |
Seminar - Controlling Execution of Logic Programs (MCC) |
| rapaport@buffalo.CSNET (William J. Rapaport) |
ALL |
1987-06-01 09:18:28 |
philosophy and computational complexity |
| E1AR0002@SMUVM1.BITNET (Leff, Southern Methodist University) |
ALL |
1987-05-31 16:56:00 |
Re: Solid Geometry |
| E1AR0002@SMUVM1.BITNET.UUCP |
ALL |
1987-05-31 16:56:00 |
ai.bib49TR |
| E1AR0002@SMUVM1.BITNET.UUCP |
ALL |
1987-05-31 16:56:00 |
ai.bib50TR |
| E1AR0002@SMUVM1.BITNET (Leff, Southern Methodist University) |
ALL |
1987-05-29 22:33:00 |
Conference - HICSS-21, Rapid Prototyping |
| miller@ACORN.CS.ROCHESTER.EDU (Brad Miller) |
ALL |
1987-05-29 17:11:00 |
NL-KR the list... |
| SPANGLER@gmr.COM |
ALL |
1987-05-29 10:15:00 |
Wanted: Information on current work in Expert Systems for CAD |
| ethan@BOEING.COM (Ethan Scarl) |
ALL |
1987-05-28 22:29:27 |
Text Critiquing and Eliza |
| E1AR0002@SMUVM1.BITNET (Leff, Southern Methodist University) |
ALL |
1987-05-28 14:37:00 |
Seminar - So What if Macsyma is an Expert System? (TI) |
| eugene@AMES-PIONEER.ARPA (Eugene Miya N.) |
ALL |
1987-05-28 12:35:48 |
Re: Humor - Artificial Life: actually artificial stupidity |
| FOXEA@VTVAX3.BITNET.UUCP |
ALL |
1987-05-28 03:24:06 |
Reply - Knowledge-Based Document Retrieval |
| lansky@VENICE.AI.SRI.COM (Amy Lansky) |
ALL |
1987-05-27 19:49:56 |
Seminar - Knowledge-Based Software Development Tools (SRI) |
| woodham@ubc.CSNET (Bob Woodham) |
ALL |
1987-05-27 15:06:19 |
Conference - CFP: CSCSI-88 (Canadian AI Conference) |
| E1AR0002@SMUVM1.BITNET (Leff, Southern Methodist University) |
ALL |
1987-05-27 14:15:00 |
defs for ai.bib51C |
| E1AR0002@SMUVM1.BITNET (Leff, Southern Methodist University) |
ALL |
1987-05-27 14:15:00 |
ai.bib51C |
| KITCHEN@cs.umass.EDU.UUCP |
ALL |
1987-05-25 16:28:00 |
Binding (actually setq) |
| E1AR0002@SMUVM1.BITNET.UUCP |
ALL |
1987-05-25 15:38:00 |
Review - Spang Robinson Report 3/5, May 1987 |
| E1AR0002@SMUVM1.BITNET (Leff, Southern Methodist University) |
ALL |
1987-05-25 15:38:00 |
order.addresses6 |
| E1AR0002@SMUVM1.BITNET (Leff, Southern Methodist University) |
ALL |
1987-05-25 15:38:00 |
ai.bib53TR |
| ray@basser.cs.su.OZ.AU.UUCP |
ALL |
1987-05-25 10:14:46 |
Philosophy, Artificial Intelligence and Complexity Theory |
| Herve.Lambert@PS2.CS.CMU.EDU |
ALL |
1987-05-22 15:50:38 |
Conference - AI and SEA |
| synrels@GVAX.CS.CORNELL.EDU (Tim Teitelbaum) |
ALL |
1987-05-22 11:35:19 |
The Synthesizer Generator |
| brink@SUSHI.STANFORD.EDU (Ed Brink) |
ALL |
1987-05-21 20:36:08 |
Word Proof takes the Jabberwocky Test |
| AI.ELLIE@MCC.COM (Ellie Huck) |
ALL |
1987-05-21 16:44:50 |
Seminar - The Inverse Method (MCC) |
| rik%roland@SDCSVAX.UCSD.EDU.UUCP |
ALL |
1987-05-21 15:56:10 |
Subsymbolic pointers & IR Semantics |
| GE0242@SIUCVMB.BITNET |
ALL |
1987-05-21 15:32:00 |
FRL and Analogy |
| AIMAG@SUMEX-AIM.STANFORD.EDU.UUCP |
ALL |
1987-05-21 13:26:23 |
Review - AI and Simulation Workshop |
| MOSKOWITZ%TSD@atc.bendix.COM (LEN MOSKOWITZ) |
ALL |
1987-05-21 11:43:00 |
Request for assistance |
| rba@FLASH.BELLCORE.COM (Robert B. Allen) |
ALL |
1987-05-21 09:59:59 |
Conference - Office Information Systems |
| DAVIS@EMBL.BITNET.UUCP |
ALL |
1987-05-21 08:01:33 |
framing problems |
| ywkim@csd.kaist.ac.kr (Kim Young Whan) |
ALL |
1987-05-21 01:33:00 |
References on Knowledge-based Document Retrieval |
| ISCLIMEL@NUSVM.BITNET (Eng-Lian Lim) |
ALL |
1987-05-21 01:32:48 |
References on consistency and completeness checking |
| taleen@PESCADERO.STANFORD.EDU.UUCP |
ALL |
1987-05-20 15:54:00 |
Seminar - Object Communication in Allegro (SU) |
| AAAI-OFFICE@SUMEX-AIM.STANFORD.EDU.UUCP |
ALL |
1987-05-20 12:49:47 |
Conference - National Conference on AI, July 13-17, 1987 |
| CS.PURVIS@R20.UTEXAS.EDU.UUCP |
ALL |
1987-05-19 18:11:00 |
Conference - Symbolics LISP Users Meeting |
| john@bcsaic.UUCP.UUCP |
ALL |
1987-05-18 16:02:12 |
Conference - Knowledge Acquisition Workshop at Reading, England |
| CCOCKERHAM.ALTENBERG@BIONET-20.ARPA (Lee Altenberg) |
ALL |
1987-05-18 15:27:57 |
Humor - Spelling Correction |
| Fahlman@C.CS.CMU.EDU (Scott E. Fahlman) |
ALL |
1987-05-18 11:10:00 |
Mailing List for Lucid Users |
| dwshin@csd.kaist.ac.kr (Dongwook Shin) |
ALL |
1987-05-18 01:47:13 |
Seminar - AND-Parallelism of Logic Programming (KAIST) |
| NHAAS@IBM.COM (Norman Haas) |
ALL |
1987-05-18 01:46:08 |
Humor - Artificial Life |
| jose@BONNIE.UCI.EDU (Jose A. Ambros-Ingerson, Dept of ICS, U of California, Irvine) |
ALL |
1987-05-18 01:45:23 |
AI in Third-World Countries |
| al@CHESHIRE.COLUMBIA.EDU (Alexander Pasik) |
ALL |
1987-05-15 15:45:40 |
OPS5 Programs source library |
| tanya@MOJAVE.STANFORD.EDU (Tanya Walker) |
ALL |
1987-05-15 13:27:00 |
Seminar - Probabilistic Analysis of Algorithms (SU) |
| AI.ELLIE@MCC.COM (Ellie Huck) |
ALL |
1987-05-15 11:50:11 |
Seminar - Inheritance Hierarchies: Semantics and Unification (UTexas) |
| lansky@VENICE.AI.SRI.COM (Amy Lansky) |
ALL |
1987-05-14 18:41:28 |
Seminar - Planlunch Time Change (SRI) |
| Patricia.Mackiewicz@ISL1.RI.CMU.EDU |
ALL |
1987-05-14 09:50:47 |
Seminar - Exploration and Adaptation in Design (CMU) |
| lansky@VENICE.AI.SRI.COM (Amy Lansky) |
ALL |
1987-05-13 20:11:10 |
Seminar - Causal Reasoning as Nonmonotonic Temporal Reasoning (SU) |
| lambert%cod@NOSC.MIL |
ALL |
1987-05-13 11:08:46 |
How can I find KNOWOL by IMCO--Intelligent Machine Company? |
| todd@humu.UUCP.UUCP |
ALL |
1987-05-13 01:17:09 |
Clarification - USENET side of AIList |
| nilsh@kuling.UUCP.UUCP |
ALL |
1987-05-13 01:16:20 |
CONNECTION GRAPHS |
| shimono@tkov58.DEC.COM.UUCP |
ALL |
1987-05-13 00:45:00 |
Re: V5 #117 |
| preece%mycroft@GSWD-VMS.ARPA.UUCP |
ALL |
1987-05-12 10:21:02 |
Re: Grammar Checkers |
| jas@mulga.OZ.AU.UUCP |
ALL |
1987-05-12 03:39:22 |
Announcement of availability of new Prolog system |
| jteh@mulga.OZ.AU.UUCP |
ALL |
1987-05-12 03:15:32 |
Information wanted on Post Graduate research in Visual Recognition using AI |
| shneider@cui.UUCP.UUCP |
ALL |
1987-05-12 03:09:50 |
Re: Administrivia - BITNET Distribution |
| VAL@SAIL.STANFORD.EDU (Vladimir Lifschitz) |
ALL |
1987-05-11 19:33:00 |
Seminar - Should Feigenbaum and Ginsberg Talk to Each Other? (SU) |
| PRICE@GANELON.ARPA (Keith Price) |
ALL |
1987-05-11 16:08:24 |
Conference - Computer Vision Workshop |
| NAVARRO@STRIPE.SRI.COM.UUCP |
ALL |
1987-05-11 13:09:11 |
Early Registration for IJCAI |
| kgm@mulga.OZ.AU |
ALL |
1987-05-11 10:25:03 |
Conference - 4th International Conference on Logic Programming |
| yorick@nmsu.CSNET.UUCP |
ALL |
1987-05-10 18:07:45 |
Computer and Cognitive Science Abstracts (1 of 2) |
| yorick@nmsu.CSNET.UUCP |
ALL |
1987-05-10 18:07:45 |
Computer and Cognitive Science Abstracts (2 of 2) |
| gjoly@CS.UCL.AC.UK.UUCP |
ALL |
1987-05-10 11:27:31 |
Re: IJCAI information (Vol 5 # 111). |
| harnad@PRINCETON.EDU.UUCP |
ALL |
1987-05-09 11:45:17 |
The Symbol Grounding Problem |
| DANIEL@BNR.BITNET.UUCP |
ALL |
1987-05-08 20:22:00 |
Xerox and Apollo compatibility |
| cgl@LANL.GOV (C G Langton) |
ALL |
1987-05-08 17:24:26 |
Conference - Artificial Life Workshop |
| HAYES@SPAR-20.ARPA.UUCP |
ALL |
1987-05-08 13:08:45 |
Grammar Checkers |
| dg1v#@ANDREW.CMU.EDU.UUCP |
ALL |
1987-05-08 09:46:24 |
KA workshop proceedings |
| NHAAS@IBM.COM.UUCP |
ALL |
1987-05-07 13:08:22 |
Difficult Speech Examples |
| dg1v#@ANDREW.CMU.EDU.UUCP |
ALL |
1987-05-07 09:59:03 |
Multiexpert Knowledge Systems |
| farhad@arbab3b2.UUCP |
ALL |
1987-05-07 01:07:46 |
Conference - IFIP Workshop on Intelligent CAD |
| AKBARI@CS.COLUMBIA.EDU.UUCP |
ALL |
1987-05-06 20:03:29 |
books on common lisp & prolog |
| LAWS@STRIPE.SRI.COM.UUCP |
ALL |
1987-05-06 14:22:00 |
Wanted: Pattern Recognition Application |
| eugene@AMES-PIONEER.ARPA.UUCP |
ALL |
1987-05-06 12:58:39 |
Speech.examples installed on ames-aurora.arpa |
| Fahlman@C.CS.CMU.EDU (Scott E. Fahlman) |
ALL |
1987-05-05 21:24:00 |
Kyoto Common Lisp addendum |
| tim@LINC.CIS.UPENN.EDU.UUCP |
ALL |
1987-05-05 10:49:58 |
Seminar - A Computational Model of Creative Writing (UPenn) |
| AI.ELLIE@MCC.COM (Ellie Huck) |
ALL |
1987-05-05 10:02:33 |
Seminar - Some Graph Theoretic Models in AI (MCC) |
| EDA@C.CS.CMU.EDU.UUCP |
ALL |
1987-05-05 10:02:00 |
Seminar - Speaking to a Computer (CMU) |
| dmittman@JPL-VLSI.ARPA |
ALL |
1987-05-05 01:56:41 |
CSG -- Octree Spatial Representation Translation |
| bill@HAO.UCAR.EDU (Bill Roberts) |
ALL |
1987-05-04 17:23:19 |
Good Common Lisp books |
| MEANS@gmr.COM (Linda G. Means) |
ALL |
1987-05-04 13:18:00 |
re: grammar checkers |
| tim@LINC.CIS.UPENN.EDU.UUCP |
ALL |
1987-05-04 11:50:36 |
Seminar - A Shell for Intelligent Help Systems (UPenn) |
| MINSKY@OZ.AI.MIT.EDU |
ALL |
1987-05-03 23:35:00 |
AIList Digest V5 #108 |
| E1AR0002@SMUVM1.BITNET (Leff, Southern Methodist University) |
ALL |
1987-05-03 20:48:00 |
Conferences - Production Planning, Control & ICALP `87 |
| ADELSBER@AWIWUW11.BITNET |
ALL |
1987-05-03 17:16:45 |
performance of rule-based systems |
| jkim@csd.kaist.ac.kr (Jin H. Kim) |
ALL |
1987-05-03 17:15:36 |
LISP Engine Speed |
| E1AR0002@SMUVM1.BITNET (Leff, Southern Methodist University) |
ALL |
1987-05-02 21:29:00 |
Spang Robinson Report, Vol. 3, No. 4 |
| hafner@CORWIN.CCS.NORTHEASTERN.EDU |
ALL |
1987-05-01 14:23:59 |
Conference - AI and Law, Final Schedule |
| Fahlman@C.CS.CMU.EDU (Scott E. Fahlman) |
ALL |
1987-04-30 16:57:00 |
Notice on Kyoto Common Lisp distribution |
| Patricia.Mackiewicz@ISL1.RI.CMU.EDU.UUCP |
ALL |
1987-04-30 14:50:08 |
Seminar - Managing Uncertainties: Prospective Reasoning (CMU) |
| Laws@STRIPE.SRI.COM (Ken Laws) |
ALL |
1987-04-30 12:48:17 |
AIList Interruption |
| eugene@AMES-PIONEER.ARPA (Eugene Miya N.) |
ALL |
1987-04-29 17:35:00 |
Tough speech recognition examples (summary) |
| VERACSD@A.ISI.EDU |
ALL |
1987-04-29 12:23:00 |
Symbolics & Sun-3 + Lucid Dev Envs |
| tim@LINC.CIS.UPENN.EDU.UUCP |
ALL |
1987-04-29 00:04:32 |
Seminar - General E-Unification (UPenn) |
| tim@LINC.CIS.UPENN.EDU.UUCP |
ALL |
1987-04-28 23:59:45 |
Seminar - Explaining and Refining Decision-Theoretic Choices (UPenn) |
| DON@atc.bendix.COM |
ALL |
1987-04-28 16:05:00 |
Theorem Proving Text recommendation |
| michael@tadam.UUCP (Michael Beetz) |
ALL |
1987-04-28 13:36:01 |
efficient implementation of meta-level architectures for rule-systems |
| TAKEFUJI@scarolina.CSNET |
ALL |
1987-04-28 08:56:00 |
Presentation - Columbia AI/VLSI Project |
| tim@LINC.CIS.UPENN.EDU.UUCP |
ALL |
1987-04-27 16:31:00 |
Seminar - Semi-Automatic Construction of Control Software (UPenn) |
| VAL@SAIL.STANFORD.EDU.UUCP |
ALL |
1987-04-27 16:18:00 |
Seminar - Automatic Equation Derivation (SU) |
| tim@LINC.CIS.UPENN.EDU.UUCP |
ALL |
1987-04-24 21:29:33 |
Seminar - Qualitative Mechanical Reasoning (UPenn) |
| AI.ELLIE@MCC.COM (Ellie Huck) |
ALL |
1987-04-24 11:34:28 |
Seminar - Coda: An extended debugger for PROLOG (MCC) |
| dlm.allegra@btl.CSNET.UUCP |
ALL |
1987-04-23 16:50:34 |
Seminar - Reporting the Non-Monotonic News (BTL) |
| PHW@OZ.AI.MIT.EDU (Patrick H. Winston) |
ALL |
1987-04-23 16:34:04 |
Conference - Matrix of Biology Workshop |
| VAL@SAIL.STANFORD.EDU.UUCP |
ALL |
1987-04-22 17:56:00 |
Seminar - Should McCarthy and Feigenbaum Talk to Each Other (SU) |
| brant@LINC.CIS.UPENN.EDU (Brant Cheikes) |
ALL |
1987-04-22 17:00:24 |
Call for Tech Report Contact Info |
| gjoly@CS.UCL.AC.UK (G. Joly, Birkbeck) |
ALL |
1987-04-22 07:29:14 |
Checking Rule-Based Expert Systems (Response to Info Request). |
| stevens@ANL-MCS.ARPA (Rick L. Stevens) |
ALL |
1987-04-21 18:37:43 |
Course - Automated Mathematical Reasoning |
| stevens@ANL-MCS.ARPA (Rick L. Stevens) |
ALL |
1987-04-21 18:30:38 |
Conference - Automated Reasoning Workshop |
| bagwill@DECUAC.DEC.COM (Bob Bagwill) |
ALL |
1987-04-21 15:56:54 |
canonical list of commercial AI products under UNIX |
| KAISER@CS.COLUMBIA.EDU (Gail E. Kaiser) |
ALL |
1987-04-21 12:36:42 |
Conference - Hawaii Conf. on System Sciences |
| bnevin@CCH.BBN.COM (Bruce Nevin) |
ALL |
1987-04-21 08:43:04 |
text critiquing redux (humor) |
| g-chapma@GUMBY.WISC.EDU (Ralph Chapman) |
ALL |
1987-04-20 13:15:28 |
re: grammar checkers |
| JOSE@LATOUR.ARPA |
ALL |
1987-04-19 23:03:28 |
Multilayer Connectionist Theory |
| SIMPSONP@COD.NOSC.MIL |
ALL |
1987-04-19 23:03:16 |
ANS Survey Paper |
| KALANTARI@RED.RUTGERS.EDU |
ALL |
1987-04-19 04:18:08 |
Seminar - Equivalences of Logic Programs (Rutgers) |
| FIRSCHEIN@IU.AI.SRI.COM (Oscar Firschein) |
ALL |
1987-04-18 12:46:45 |
re demons |
| VARDI@ALMVMA.BITNET |
ALL |
1987-04-17 17:41:00 |
Conference - Theoretical Aspects of Reasoning about Knowledge |
| Patricia.Mackiewicz@isl1.ri.cmu.EDU |
ALL |
1987-04-17 15:59:21 |
Seminar - Reactive Learning (CMU) |
| kris@ANUBIS.UCHICAGO.EDU (Kris Hammond) |
ALL |
1987-04-17 14:05:26 |
Conference - A typo and an addition to the MAICSS schedule |
| Mario.Barbacci@sei.cmu.EDU |
ALL |
1987-04-17 11:18:22 |
Conference - Second Workshop on Large Grained Parallelism |
| lubinsky@TOPAZ.RUTGERS.EDU (David Lubinsky) |
ALL |
1987-04-17 00:52:10 |
Re: Statistical Expert Systems |
| KALANTARI@RED.RUTGERS.EDU |
ALL |
1987-04-16 14:14:26 |
Seminar - Graphical Access to an Expert System (Rutgers) |
| AI.ELLIE@MCC.COM (Ellie Huck) |
ALL |
1987-04-16 11:20:45 |
Seminar - Concurrent Logic Programming Languages (MCC) |
| EDA@C.CS.CMU.EDU (Elaine Atkinson) |
ALL |
1987-04-16 10:49:00 |
Seminar - Conceptual Thinking for Restructuring and Insight (CMU) |
| gately%resbld@ti-csl.CSNET (Michael T. Gately) |
ALL |
1987-04-15 14:27:12 |
Seminar - Constraints, Planning, and Design (TI) |
| Conal.Elliott@THEORY.CS.CMU.EDU |
ALL |
1987-04-15 10:08:23 |
Seminar - A Synthesis of Higher-Order Unification (CMU) |
| winarske@wellesley.EDU (Amy Winarske) |
ALL |
1987-04-14 14:15:26 |
Cognitive Science Grad Schools |
| michael@tadam.UUCP (Michael Beetz) |
ALL |
1987-04-14 10:32:54 |
Efficient implementation of knowledge representations |
| E1AR0002@SMUVM1.BITNET (Leff, Southern Methodist University) |
ALL |
1987-04-14 01:07:00 |
ai.bib54AB |
| fuchs@ifi.unizh.chunet.UUCP |
ALL |
1987-04-14 00:35:19 |
Source Code Postings |
| LAWS@IU.AI.SRI.COM.UUCP |
ALL |
1987-04-13 20:19:12 |
Statistical Expert Systems |
| AKBARI@CS.COLUMBIA.EDU.UUCP |
ALL |
1987-04-13 16:53:40 |
cog sci conference |
| BARNARD@IU.AI.SRI.COM (Stephen Barnard) |
ALL |
1987-04-13 14:03:12 |
demons |
| kevin@bizet.DEC.COM.UUCP |
ALL |
1987-04-13 13:38:00 |
Which half is right? |
| Laws@STRIPE.SRI.COM.UUCP |
ALL |
1987-04-13 13:28:38 |
Recent Delivery Problems |
| E1AR0002@SMUVM1.BITNET (Leff, Southern Methodist University) |
ALL |
1987-04-13 05:49:00 |
NEWS FLASH! |
| eugene@AMES-PIONEER.ARPA.UUCP |
ALL |
1987-04-13 05:33:15 |
Feigenbaum Comment about SDI |
| E1AR0002@SMUVM1.BITNET (Leff, Southern Methodist University) |
ALL |
1987-04-11 22:43:00 |
bm587 |
| E1AR0002@SMUVM1.BITNET (Leff, Southern Methodist University) |
ALL |
1987-04-11 22:43:00 |
ai.bib52AB |
| SCHAFFNER@SUMEX-AIM.STANFORD.EDU (Kenneth Schaffner) |
ALL |
1987-04-11 17:32:14 |
Conference - The Brain: Philosophy, Neurology, and AI |
| E1AR0002@SMUVM1.BITNET.UUCP |
ALL |
1987-04-11 03:47:00 |
Conference Session - 11th Annual Computer Science Conference |
| lansky@VENICE.AI.SRI.COM.UUCP |
ALL |
1987-04-10 15:23:48 |
Seminar - Parallelism for KR Languages (SRI) |
| Patricia.Mackiewicz@ISL1.RI.CMU.EDU.UUCP |
ALL |
1987-04-10 13:05:44 |
Seminar - An Integrated Framework for Factory Scheduling (CMU) |
| ABBOTT@RED.RUTGERS.EDU |
ALL |
1987-04-10 08:05:10 |
request for a rule base |
| LCELEC@A.ISI.EDU |
ALL |
1987-04-09 20:43:00 |
Embedded Lisp & Ada on 68000 |
| FQOJ@CORNELLA.BITNET (Roger Jagoda Sibley FTOP) |
ALL |
1987-04-07 17:29:25 |
Legal Modelling |
| duc@cos.UUCP.UUCP |
ALL |
1987-04-07 09:21:24 |
Re: AI in Network Protocols. |
| kris@ANUBIS.UCHICAGO.EDU.UUCP |
ALL |
1987-04-06 14:18:29 |
Conference - Midwest AI and CogSci Society |
| colonel%sunybcs@math.waterloo.EDU.UUCP |
ALL |
1987-04-06 13:48:27 |
Re: AIList Digest V5 #92 |
| colonel%sunybcs@math.waterloo.EDU.UUCP |
ALL |
1987-04-05 16:36:23 |
Re: Clyde the elephant |
| Patricia.Mackiewicz@ISL1.RI.CMU.EDU.UUCP |
ALL |
1987-04-03 08:36:22 |
Seminar - Leaning on the World (CMU) |
| Steven.Minton@CAD.CS.CMU.EDU.UUCP |
ALL |
1987-04-01 19:51:18 |
Seminar - Analogical Transformation Extension (CMU) |
| CS.HAM@R20.UTEXAS.EDU (Hamilton Richards) |
ALL |
1987-04-01 17:38:24 |
Conference - Third Institute, UT Year of Programming |
| Patricia.Mackiewicz@ISL1.RI.CMU.EDU.UUCP |
ALL |
1987-04-01 15:01:35 |
Seminar - The Anatomy of AI Tarpits (CMU) |