[..] mod.ai

Oldest | Popular


AIList Digest V3 #160 (0 replies, 10/31/85)

AIList Digest V3 #161 (0 replies, 11/05/85)

AIList Digest V3 #162 (0 replies, 11/05/85)

AIList Digest V3 #163 (0 replies, 11/06/85)

AIList Digest V3 #164 (0 replies, 11/07/85)

AIList Digest V3 #165 (0 replies, 11/07/85)

AIList Digest V3 #166 (0 replies, 11/08/85)

AIList Digest V3 #167 (0 replies, 11/11/85)

AIList Digest V3 #168 (0 replies, 11/12/85)

AIList Digest V3 #169 (0 replies, 11/15/85)

AIList Digest V3 #170 (0 replies, 11/15/85)

AIList Digest V3 #171 (0 replies, 11/18/85)

AIList Digest V3 #172 (0 replies, 11/18/85)

AIList Digest V3 #173 (0 replies, 11/19/85)

AIList Digest V3 #174 (0 replies, 11/20/85)

AIList Digest V3 #175 (0 replies, 11/22/85)

AIList Digest V3 #178 (0 replies, 11/24/85)

AIList Digest V3 #179 (0 replies, 11/25/85)

AIList Digest V3 #180 (0 replies, 11/28/85)

AIList Digest V3 #181 (0 replies, 12/04/85)

AIList Digest V3 #182 (0 replies, 12/05/85)

AIList Digest V3 #183 (0 replies, 12/10/85)

AIList Digest V3 #184 (0 replies, 12/10/85)

AIList Digest V3 #185 (0 replies, 12/13/85)

AIList Digest V3 #186 (0 replies, 12/15/85)

AIList Digest V3 #187 (0 replies, 12/15/85)

AIList Digest V3 #188 (0 replies, 12/16/85)

AIList Digest V3 #189 (0 replies, 12/18/85)

AIList Digest V3 #190 (0 replies, 12/20/85)

AIList Digest V3 #191 (0 replies, 12/20/85)

AIList Digest V3 #192 (0 replies, 12/28/85)

AIList Digest V3 #193 (0 replies, 12/28/85)

AIList Digest V4 #1 (0 replies, 01/06/86)

AIList Digest V4 #2 (0 replies, 01/08/86)

AIList Digest V4 #3 (0 replies, 01/12/86)

AIList Digest V4 #4 (0 replies, 01/12/86)

AIList Digest V4 #5 (0 replies, 01/12/86)

AIList Digest V4 #6 (0 replies, 01/15/86)

AIList Digest V4 #7 (0 replies, 01/15/86)

AIList Digest V4 #8 (0 replies, 01/15/86)

AIList Digest V4 #9 (0 replies, 01/21/86)

AIList Digest V4 #10 (0 replies, 01/21/86)

Seminar - Machine Learning and Economics (0 replies, 01/22/86)

AIList Digest V4 #11 (0 replies, 01/22/86)

AIList Digest V4 #12 (0 replies, 01/23/86)

AIList Digest V4 #13 (0 replies, 01/23/86)

Seminar - Naive Physics: Knowledge in Pieces (0 replies, 01/23/86)

Seminar - Term Rewriting, Theorem Proving, Logic Programming (0 replies, 01/23/86)

Pseudoscience Jargon (0 replies, 01/23/86)

Speech Learning (0 replies, 01/23/86)

Artificial Animals (0 replies, 01/23/86)

Seminar - The Algebra of Time Intervals (0 replies, 01/23/86)

Perceptrons-historical note (0 replies, 01/23/86)

AIList Digest V4 #14 (0 replies, 01/24/86)

AIList Digest V4 #15 (0 replies, 01/24/86)

Common Lisp for RT PC (0 replies, 01/25/86)

New Journal on Applied AI (0 replies, 01/25/86)

Theoretical CS vis-a`-vis AI (0 replies, 01/27/86)

Comment on EATCS. (0 replies, 01/27/86)

ISSCO working papers (0 replies, 01/28/86)

What is a symbol? (1 reply, 01/28/86)

Call for Papers - Blackboard Models for AI in Engineering (0 replies, 01/28/86)

2010 and H-Mobius Loops (0 replies, 01/28/86)

Seminar - Semi-Applicative Programming (0 replies, 01/28/86)

Seminar - Feature Structures in Unification Grammars (0 replies, 01/28/86)

COBOL parser or compiler needed in Lisp environment (0 replies, 01/29/86)

Seminar - Integrating Syntax and Semantics (0 replies, 01/29/86)

Quick summary of NAIL (0 replies, 01/29/86)

Hangman (0 replies, 01/30/86)

Calculus of Partially-Ordered Type Structures (0 replies, 01/31/86)

Supercomputers and AI (0 replies, 01/31/86)

Mathematical Structure of OOPL (0 replies, 01/31/86)

noaK (0 replies, 01/31/86)

Conference - Intelligent Robotic Systems (0 replies, 01/31/86)

MIRANDA Functional Programming System (0 replies, 02/01/86)

Conference - Cognitive Science Society (0 replies, 02/03/86)

MRS manual (1 reply, 02/04/86)

PDP-11 Equation Solvers (0 replies, 02/04/86)

Dreyfus article (0 replies, 02/04/86)

Knowledge Aquisition -vs- Skill Refinement (0 replies, 02/04/86)

Correction to correction to name of MRS (0 replies, 02/04/86)

Seminars - AI (0 replies, 02/05/86)

Seminar - Logics of Programmes (0 replies, 02/05/86)

Seminar - A Fuzzy Inference Engine (0 replies, 02/05/86)

Policy - Undigested Format (1 reply, 02/05/86)

Seminar - Intuitionistic Logic Programming Language (0 replies, 02/05/86)

Seminar - Systems of Actors (0 replies, 02/07/86)

Prisoners' Dilemma Computer Programs Tournament (0 replies, 02/07/86)

small correction (0 replies, 02/08/86)

Query -- ISIS (0 replies, 02/08/86)

Prolog for Compiler Writing (1 reply, 02/08/86)

Sparklers from the Tech Review (0 replies, 02/08/86)

Taxonomizing in AI: neither useful or harmless (0 replies, 02/10/86)

Natural Language Interfacing (0 replies, 02/10/86)

Seminar - Artificial Concept Formation (0 replies, 02/10/86)

Seminar - Parallelism in Production Systems (0 replies, 02/10/86)

ai koans (1 reply, 02/10/86)

Special Invitation (0 replies, 02/10/86)

Literature search. (0 replies, 02/10/86)

ISIS (0 replies, 02/11/86)

J. of AI, Cognitive Science and Applied Epistemology (1 reply, 02/11/86)

Invitation to Authors (0 replies, 02/11/86)

Seminar - A Storage Manager for Prolog (0 replies, 02/12/86)

LISP Compilers? (1 reply, 02/12/86)

Seminar - Statistical Theory of Evidence (0 replies, 02/12/86)

Info on Belgian AI journal (0 replies, 02/12/86)

AI Teaching/Tutoring Package (0 replies, 02/12/86)

ICAI for Physically/mentally Impaired (1 reply, 02/13/86)

a cuppla ai koans (0 replies, 02/13/86)

Taxonomizing in AI and Dumplings (0 replies, 02/13/86)

automatic testing of parsers (0 replies, 02/13/86)

Business Week on Expert Systems (0 replies, 02/13/86)

request for LISP source code (2 replies, 02/13/86)

AI in Engineering (0 replies, 02/14/86)

A Thought (0 replies, 02/15/86)

Computer Othello (0 replies, 02/17/86)

Seminar - Hierarchical Reasoning, Simulation (0 replies, 02/17/86)

Cognitive Psychology - Knowledge Structures (3 replies, 02/17/86)

computer chess (0 replies, 02/18/86)

Seminar - The Architecture of a Rational Agent (0 replies, 02/18/86)

Seminar - Planning for Robotic Assembly Lines (0 replies, 02/18/86)

Seminars - Deductive and Relational Knowledge Bases (0 replies, 02/18/86)

Seminar - Adaptive Planning (0 replies, 02/19/86)

Seminar - Distributed Problem Solving (0 replies, 02/19/86)

Course - Connectionist Summer Workshop Reminder (0 replies, 02/19/86)

Artificial Life (0 replies, 02/19/86)

MRS (0 replies, 02/19/86)

Lisp for the PRIME? (0 replies, 02/19/86)

Conference - Symbolics National Users Group Meeting (0 replies, 02/20/86)

The Naive Dog Physics Manifesto (0 replies, 02/20/86)

Seminar - Learnability and the Vapnik-Chervonenkis Dimension (0 replies, 02/20/86)

New CSLI Reports (0 replies, 02/20/86)

Seminar - Classical Conditioning and Contingency (0 replies, 02/20/86)

Contrast (1 reply, 02/20/86)

Seminar - Refinement of Expert System Knowledge Bases (0 replies, 02/20/86)

Seminar - Inferring Domain Plans in Question Answering (0 replies, 02/21/86)

AI Taxonomy (0 replies, 02/21/86)

Scientific DataLink Index To AI Research 1954-1984 (0 replies, 02/21/86)

Review - Applied Intelligence 12/85 (0 replies, 02/22/86)

Expert Systems and Software Engineering (2 replies, 02/24/86)

Seminar - Solution to the Self-Referential Paradoxes (0 replies, 02/24/86)

Review - SI Interactions, 2/86 (1 reply, 02/24/86)

Seminar - Refutation Method for Horn Clauses with Equality (0 replies, 02/25/86)

Conference - Theoretical Issues in NL Processing (0 replies, 02/25/86)

Seminar - Approximate Deduction in Single Evidential Bodies (0 replies, 02/25/86)

Seminar - Persistent Memory (0 replies, 02/25/86)

civil engineering exert systems (0 replies, 02/25/86)

Conference - Suggestions for AAAI-86 (0 replies, 02/25/86)

"Real" Story behind MRS's name (0 replies, 02/25/86)

Seminar - Off-Line Programming of Robots (0 replies, 02/26/86)

Visual Programming Languages and AI (0 replies, 02/26/86)

Opinion on Dec AI VaxStation? (0 replies, 02/26/86)

Seminar - Hierarchical Planning and Allocation (0 replies, 02/27/86)

Seminar - The Limits of Calculative Rationality (0 replies, 02/27/86)

ICAI (0 replies, 02/27/86)

Reviewers for ESIG papers (0 replies, 02/27/86)

Seminar - Intelligent Concept Design Assistant (0 replies, 02/27/86)

Seminar - The Purposes of Vision (0 replies, 02/27/86)

Knowledge Representation and Translation (1 reply, 02/27/86)

Associative Memory (0 replies, 02/27/86)

Seminar - Heuristic Search: Algorithms, Theory, and Learning (0 replies, 02/27/86)

Seminar - Representation/Estimation of Spatial Uncertainty (0 replies, 02/27/86)

Seminar - Propositional Temporal Logic for Programs (0 replies, 02/28/86)

The Community Authoring Project (1 reply, 02/28/86)

Public domain Common Lisps? (0 replies, 02/28/86)

seeking lisp for 68k unix world (1 reply, 02/28/86)

International Logo eXchange (0 replies, 02/28/86)

Dreyfus on Skill Acquisition (0 replies, 02/28/86)

Seminar - Automatic Proof of Godel's Theorem (0 replies, 02/28/86)

Lisp in the classroom. (1 reply, 02/28/86)

Technology Review article (3 replies, 03/01/86)

Chinese Language Environment on Symbolics (0 replies, 03/02/86)

Addressing some of Dreyfus' specific points (0 replies, 03/02/86)

information on MAC-SCHEME (0 replies, 03/03/86)

Query -- Rete Algorithm (1 reply, 03/03/86)

Seminar - Commonsense Knowledge in the TACITUS Project (0 replies, 03/03/86)

Seminar - Belief Functions in Artificial Intelligence (0 replies, 03/04/86)

Searching for comments on expert system shell software... (0 replies, 03/04/86)

distributed problem solving query -- architecture (0 replies, 03/04/86)

Belief Theories for uncertainties (0 replies, 03/04/86)

Seminar - Intelligent Distributed Operating Systems (0 replies, 03/04/86)

Seminar - Delegation and Inheritance (0 replies, 03/05/86)

Seminars - Acquiring Language & Computer Lexicon Use (0 replies, 03/05/86)

Seminar - Hubert Dreyfus on Being and Time (0 replies, 03/05/86)

A Tale for Marvin the Paranoid Android. (0 replies, 03/05/86)

QUERY RE PUBLIC AND PRIVATE LEXICONS (1 reply, 03/05/86)

Journal prices hit the moon! (0 replies, 03/06/86)

Seminar - Situation Calculus Planning (0 replies, 03/06/86)

Seminar - Brains, Behavior, and Robotics (0 replies, 03/06/86)

Seminar - The Perspective Concept in Computer Science (0 replies, 03/06/86)

Seminar - Knowledge and Action in the Presence of Faults (0 replies, 03/06/86)

Seminar - Adaptive Networks (0 replies, 03/06/86)

Seminar - Stochastic Complexity (0 replies, 03/07/86)

Dictionary access (0 replies, 03/07/86)

AI Military Successes (0 replies, 03/07/86)

References (0 replies, 03/08/86)

Russell on Dreyfus (0 replies, 03/08/86)

Flavors for CommonLISP (0 replies, 03/10/86)

Article/Seminar - The TI Compact LISP Machine (0 replies, 03/10/86)

Seminar - Parallel Architectures for Knowledge Bases (0 replies, 03/10/86)

Ambiguous sentences cont. (1 reply, 03/10/86)

Query - Graphical Representation (0 replies, 03/10/86)

Conference - Expert Systems in Process Safety (0 replies, 03/10/86)

Bibliography - AI Applications (0 replies, 03/11/86)

Bibliography - Robotics and Manufacturing Automation (0 replies, 03/11/86)

Bibliography - Msc. (0 replies, 03/11/86)

Seminar - Interpretation of Prolog Programs (0 replies, 03/11/86)

AI HARDWARE VENDOR SLUGOUT (0 replies, 03/11/86)

GNU Scheme (0 replies, 03/12/86)

ambiguous sentences (3 replies, 03/12/86)

Alan Watts on AI (3 replies, 03/12/86)

punctuation and intonation (0 replies, 03/12/86)

Seminar - Explanation-Based Learning (0 replies, 03/12/86)

Conference - IFIP Expert Systems in Computer Aided Design (0 replies, 03/12/86)

Associativity (0 replies, 03/12/86)

News Item: TI Explorer, Apollo, and Sun Workstations (0 replies, 03/12/86)

bindings' (0 replies, 03/13/86)

Seminar - Models, Metaphysics, and Empiricism (0 replies, 03/13/86)

Satishe Thatte net address ... (0 replies, 03/13/86)

A Two-Headed Tale for Zaphod Beeblebrox. (0 replies, 03/13/86)

Herb's New Honour (0 replies, 03/13/86)

TI press release (0 replies, 03/13/86)

Seminar - A Theory of Analogical Reasoning (0 replies, 03/13/86)

An Intelligent Graphical System (0 replies, 03/13/86)

NL Interfaces (0 replies, 03/14/86)

Seminar - Alain Colmerauer on Prolog III (0 replies, 03/14/86)

Turing Tests (0 replies, 03/14/86)

Seminar - Exploration, Search, and Discovery (0 replies, 03/14/86)

Seminar - Facing the User (0 replies, 03/14/86)

Spang Robinson Report, March 1986 (0 replies, 03/14/86)

Smalltalk 80 for Apple Macintosh (0 replies, 03/15/86)

Journal Prices (1 reply, 03/15/86)

Seminar - Extensions to the Contract Net Protocol (0 replies, 03/16/86)

Scheme dialect of Lisp (0 replies, 03/17/86)

Seminar Series - Computer Science Open House (0 replies, 03/17/86)

Seminar - Learning Symbolic Object Models from Images (0 replies, 03/18/86)

Conference - US ARMY (0 replies, 03/18/86)

Seminar - Learning Arguments of Functional Descriptions (0 replies, 03/18/86)

Seminar Series - AI in Design and Manufacturing (0 replies, 03/18/86)

CSLI Monthly, part I (0 replies, 03/19/86)

New Japanese Technical Reports at Stanford (0 replies, 03/20/86)

More on Turing and the Turing test. (0 replies, 03/20/86)

PROLOG Books (5 replies, 03/20/86)

More on IQ tests for Computers. (0 replies, 03/20/86)

Future AI Language (1 reply, 03/20/86)

Future Ph.D. (0 replies, 03/20/86)

The Turing Test - A Third Quantisation? (2 replies, 03/21/86)

Seminar - Granularity (0 replies, 05/08/86)

Seminar - Checking Goedel's Proof (0 replies, 05/08/86)

What's a good book on Object-Oriented Programming (2 replies, 05/08/86)

Good book on object-oriented programming (0 replies, 05/08/86)

References needed! (0 replies, 05/08/86)

Seminar - Analogical Reasoning (0 replies, 05/08/86)

Seminar - NL Interfaces to Software Systems (0 replies, 05/08/86)

Non-trivial expert systems and decision trees - THE RESPONSES! (0 replies, 05/09/86)

Seminar - Intuitionist Logic & Constructive Type Theory (0 replies, 05/09/86)

reductionist predictions: response to Nevin (0 replies, 05/09/86)

Seminar - The SNePS Semantic Network Processing System (0 replies, 05/09/86)

chess master wanted (0 replies, 05/11/86)

String Reduction (0 replies, 05/12/86)

Graphics, Artifical Intelligence and Simulation (0 replies, 05/12/86)

Gold Hill PC Products (0 replies, 05/13/86)

Conference - Foundations of Deductive Databases and Logic Programming (0 replies, 05/13/86)

System Management (0 replies, 05/13/86)

Seminar - Knowledge, Communication, and Time (0 replies, 05/13/86)

Psychnet (0 replies, 05/13/86)

Review of Turbo-Prolog (0 replies, 05/13/86)

Seminar Series - NCARAI Call for Speakers (0 replies, 05/13/86)

Seminar - Automatic Design of Graphical Presentations (0 replies, 05/13/86)

Seminar - Intelligent Systems on Multiprocessors (0 replies, 05/13/86)

Seminar - Non-monotonicity in Probabilistic Logic (0 replies, 05/14/86)

object-oriented programming books (0 replies, 05/14/86)

Conference - Uncertainty in AI Workshop (0 replies, 05/14/86)

Seminar - Learning to Construct Abstractions (0 replies, 05/14/86)

Doctor and Eliza (0 replies, 05/14/86)

Seminar - Knowledge-Based Development of Software Systems (0 replies, 05/14/86)

Seminar - Searching Transformed State Spaces (0 replies, 05/14/86)

Student Diagnosis for ICAI Systems (0 replies, 05/14/86)

inside and outside (0 replies, 05/15/86)

VAX LISP Utilities (0 replies, 05/15/86)

AI, Graphics & Simulation (0 replies, 05/15/86)

PCLS Common Lisp Available (0 replies, 05/16/86)

IT*S Grammar (0 replies, 05/16/86)

Etymology of Foo-Bar (0 replies, 05/16/86)

Preliminary notes on Turbo Prolog (0 replies, 05/16/86)

bad enough theory (0 replies, 05/16/86)

Bray reference (0 replies, 05/17/86)

strength of commercially available chess computers (0 replies, 05/17/86)

Seminar - Decision-Theoretic Heuristic Planning (0 replies, 05/17/86)

correction to response to Nevin, AIList V4 #120 (0 replies, 05/18/86)

Geometry-oriented AI (0 replies, 05/18/86)

Research indexes: Machine Learning 3 (0 replies, 05/18/86)

Conference - Workshop on High-Level Tools (0 replies, 05/19/86)

Seminar - NanoComputers and Molecular Engineering (0 replies, 05/19/86)

Seminar - Information Retrieval by Text Skimming (0 replies, 05/19/86)

Seminar - Theory of Nested Transactions (0 replies, 05/19/86)

Seminar - Autoepistemic Logic, Stratified Programs, Circumscription (0 replies, 05/19/86)

Correction to Spang-Robinson Summary (0 replies, 05/20/86)

Seminar - Palladio Exploratory Environment for Circuit Design (0 replies, 05/20/86)

On the growing size of AI conferences (0 replies, 05/20/86)

TMS Variables (0 replies, 05/21/86)

Conway's game of LIFE (0 replies, 05/21/86)

VAX VMS LISP (2 replies, 05/21/86)

Conference - Society for Philosophy and Psychologym Annual Meeting (0 replies, 05/22/86)

Sussex Cognitive Studies mail address (0 replies, 05/22/86)

Seminar - Sequentialising Logic Programs (0 replies, 05/23/86)

Conference - AAAI Automatic Programming Workshop (0 replies, 05/23/86)

Math/CS Library--New Journal-International Journal of Intelligent Systems (0 replies, 05/24/86)

economics of expert systems - summary of replies (0 replies, 05/24/86)

Seminar - Analogical and Inductive Reasoning (0 replies, 05/27/86)

Seminar - CODER Information Retrieval (0 replies, 05/27/86)

Logic/Functional Languages? (1 reply, 05/27/86)

VAX LISP is supported on both VMS and ULTRIX (0 replies, 05/27/86)

Seminar - Reasoning about Semiconductor Fabrication (0 replies, 05/28/86)

Abstracts of Technical Talks Published on AI-LIST (1 reply, 05/28/86)

Seminar - Levels of Knowledge in Distributed Computing (0 replies, 05/28/86)

Functional and Logic Programming (0 replies, 05/28/86)

Seminar - Model-Based Reasoning with Causal Ordering (0 replies, 05/28/86)

Expert Systems Strategies (0 replies, 05/28/86)

Seminar - Synchronizing Plans among Intelligent Agents (0 replies, 05/29/86)

MIT research on symbolic/numeric processing (0 replies, 05/29/86)

Spang Robinson Report, Volume 2 No. 5 (0 replies, 05/29/86)

Need Ref for "Automated Mathematician" by Doug Lenat (0 replies, 05/29/86)

Functional programming and AI (1 reply, 05/29/86)

Conference - DOD DECSION AIDING CONF, CALL FOR PAPERS ON MMI (0 replies, 05/30/86)

Inside Out - Postscript. (0 replies, 05/31/86)

Common Lisp style (0 replies, 05/31/86)

Description - UMich Cognitive Science and Machine Intelligence Lab (0 replies, 06/02/86)

Seminar Series - CSMIL (0 replies, 06/02/86)

Query: curve fitting (0 replies, 06/02/86)

Seminar - Tree Adjoining Grammars (0 replies, 06/03/86)

Backward AI (0 replies, 06/03/86)

Lisp & Lazy Evaluation in AIList Digest V4 #135 (0 replies, 06/03/86)

Lisp for Silicon Graphics machines (0 replies, 06/04/86)

new category codes (0 replies, 06/04/86)

some definitions (0 replies, 06/04/86)

Technical Reports #1 (0 replies, 06/04/86)

Technical Reports #2 (0 replies, 06/04/86)

Humor - Brain Theory (0 replies, 06/04/86)

Seminar - Connectionist Expert Systems (0 replies, 06/04/86)

Inside Out (2 replies, 06/04/86)

Seminars - Knowledge-Based Design & Qualitative Process Theory (0 replies, 06/04/86)

Seminars - FP Rewrite Rules & Parallel Unification (0 replies, 06/05/86)

Seminar - Deductive Synthesis of Sorting Programs (0 replies, 06/06/86)

Conference - 1986 SGAICO Conference on 2nd-Generation Expert Systems (0 replies, 06/06/86)

more inside and out (0 replies, 06/06/86)

Lisp & lazy evaluation (1 reply, 06/07/86)

TOOLS FOR RSX?? (0 replies, 06/09/86)

Conference - Temporal Aspects in Information Systems (0 replies, 06/09/86)

Bibliography #1 (0 replies, 06/10/86)

Bibliography #2 (0 replies, 06/10/86)

Bibliography #3 (0 replies, 06/10/86)

Bibliography #4 (0 replies, 06/10/86)

Scheme, anyone? (0 replies, 06/10/86)

Russian to English translation (0 replies, 06/10/86)

AI and Education questionnaire (0 replies, 06/10/86)

Seminar - Dependent Types (0 replies, 06/10/86)

Temporal Aspects in Information Systems conference in France 5/87 (0 replies, 06/10/86)

Seminar - Modular Construction of Logics for Specification (0 replies, 06/10/86)

Neural Nets (0 replies, 06/11/86)

Seminar - Connectionist Knowledge Representation System (0 replies, 06/11/86)

Seminar - Object Recognition using Category Models (0 replies, 06/11/86)

Seminar - Possible Worlds Planning (0 replies, 06/11/86)

Common LISP style standards (1 reply, 06/12/86)

Seminar - Learning by Selection (0 replies, 06/12/86)

Conference - APS Workshop at AAAI-86 (0 replies, 06/12/86)

Creativity and Analogy -- More Questions than Answers. (0 replies, 06/13/86)

Creativity and Analogy -- Coda. (0 replies, 06/13/86)

New Society - Bay Area AI and Education Meeting (0 replies, 06/13/86)

Known solution to travelling salesman problem (0 replies, 06/15/86)

Common Lisp implementations. (0 replies, 06/15/86)

AI & Organic Chemistry (1 reply, 06/16/86)

Seminar - Motion Planning (0 replies, 06/16/86)

Seminars - Programming Languages & Temporal Knowledge (0 replies, 06/17/86)

Conference - Symposium on Connectionism (0 replies, 06/17/86)

Request for AI Tools Survey (0 replies, 06/18/86)

Spang Robinson Report, Volume 2 No 6 (0 replies, 06/18/86)

Seminar - Unifying Principles of Machine Learning (0 replies, 06/18/86)

Artistic Creativity (1 reply, 06/18/86)

Seminar - Symbolic Representation of Waveforms (0 replies, 06/19/86)

Creativity (0 replies, 06/19/86)

HYDRO (0 replies, 06/19/86)

Ken's Plea for Help!!!! (0 replies, 06/19/86)

Re : creativity and analogy (0 replies, 06/19/86)

Seminar - Why Planning Isn't Rational (0 replies, 06/20/86)

Function and Form (0 replies, 06/20/86)

Fed up with all this `talk' about parallelism (0 replies, 06/20/86)

Expert System shell needed for thesis: (0 replies, 06/20/86)

Vision Request (0 replies, 06/20/86)

Creativity, Analogy, Art and Humanity. (0 replies, 06/20/86)

Expert System Validation and Verification (0 replies, 06/21/86)

Lisp Discussion List (0 replies, 06/22/86)

Seminar - Chunking and XAPS3 (0 replies, 06/23/86)

Conference - ACM Conference on Office Information Systems (0 replies, 06/23/86)

Seminar - Advanced Planning Systems (0 replies, 06/23/86)

Summarizing "AI Expert" (0 replies, 06/23/86)

Query: Expert System Applications Products (0 replies, 06/24/86)

Wanted: Graph Drawing Program (0 replies, 06/25/86)

Image Analysis Expert System (0 replies, 06/25/86)

Doing AI Backwards (1 reply, 06/25/86)

Notice of journal issue (0 replies, 06/25/86)

Creativity & Analogy (0 replies, 06/25/86)

Policy - Covert Ads (0 replies, 06/25/86)

AIList Digest V4 #157 (0 replies, 06/25/86)

Technology Review (0 replies, 06/26/86)

Seminar - Overview of the MENTOR System (0 replies, 06/27/86)

Expert systems for evolutionary classification of fish (0 replies, 06/27/86)

Intelligent Databases (0 replies, 06/30/86)

constraint propagation inference engines (0 replies, 06/30/86)

Announcement of new bboard named psychnet (0 replies, 06/30/86)

Seminar - Real-Time Inferencing with Adaptive Logic Networks (0 replies, 06/30/86)

Book review: "The Evidence of the Senses" (0 replies, 07/01/86)

Seminar - Mathematical Games (0 replies, 07/01/86)

Natural Language References (0 replies, 07/02/86)

Conference - Expert Systems In Government (0 replies, 07/02/86)

Scheme and CommonLisp (0 replies, 07/02/86)

Teaching CommonLisp (0 replies, 07/02/86)

Seminar - Discovery of Algorithms from Weak Methods (0 replies, 07/02/86)

Conference - Intl. Test & Evaluation Assoc. AI/Expert System Workshop (0 replies, 07/03/86)

Help with CPROLOG on VAX/VMS (0 replies, 07/03/86)

Conference - Theoretical Issues in Natural Language Processing (0 replies, 07/04/86)

connectionism/complexity theory (1 reply, 07/06/86)

Hitech results (0 replies, 07/07/86)

Conference - Database Theory 1986 - Program (0 replies, 07/07/86)

The Logix system (0 replies, 07/07/86)

VAX LISP Sources (0 replies, 07/08/86)

Transitivity of a *particular* analogy, and let's do science! (0 replies, 07/09/86)

Seminar - SIDESMAN Silicon Design System (0 replies, 07/09/86)

Seminar - Default Theories and Autoepistemic Logic (0 replies, 07/09/86)

Architectures for interactive systems? (2 replies, 07/10/86)

LISP texts (1 reply, 07/11/86)

Circular Reasoning as a Tool (0 replies, 07/11/86)

Knowledge is structured in consciousness (0 replies, 07/11/86)

Conference - 3rd IEEE Conference on AI Applications (0 replies, 07/12/86)

PC Expert-System Shell Demos (0 replies, 07/14/86)

Interactive Architectures & Common Sense (0 replies, 07/14/86)

Searle's Chinese Room (0 replies, 07/14/86)

Seminar - Automata Theory, Nuprl Proof Development System (0 replies, 07/14/86)

Conference - AAAI Workshop on Parallel Models, Symbolic Processing (0 replies, 07/14/86)

Replying to AIList messages (0 replies, 07/15/86)

Blade Runner and Intelligence Testing (1 reply, 07/15/86)

Creativity and Analogy (7 replies, 07/15/86)

common sense (5 replies, 07/15/86)

Gibson's theory of perception (0 replies, 07/15/86)

Query on compilers, optimization, and garbage collection (0 replies, 07/16/86)

almanacs and magnitudes (0 replies, 07/17/86)

AIList Digest V4 #166 (1 reply, 07/17/86)

Definitions of Life, Intelligence, and Creativity (0 replies, 07/17/86)

REFERENCES ON NATURAL LANGUAGE (0 replies, 07/18/86)

Parallel FCP (0 replies, 07/18/86)

July Spang Robinson Report summary (0 replies, 07/18/86)

internal representations vs. direct perception (0 replies, 07/19/86)

Representationalist perception (3 replies, 07/19/86)

comment on Hayes, V4 #169 (0 replies, 07/21/86)

Seminar - DB and KB Interface for Structural Engineering (0 replies, 07/21/86)

followup on "understanding yellow" (0 replies, 07/21/86)

request for oceanic or weather references (0 replies, 07/21/86)

Interactive Systems (0 replies, 07/21/86)

Conservation Laws for Thought??? (0 replies, 07/21/86)

KB System Verification and Validation (0 replies, 07/22/86)

A Parable (0 replies, 07/22/86)

Computer Ethics (2 replies, 07/23/86)

Common Lisp and Prolog on VM/CMS (1 reply, 07/23/86)

Seminar - Our Cognitive Abilities Limit the Power of AI (0 replies, 07/23/86)

Expert system to catch spies (0 replies, 07/24/86)

Workshop - Uncertainty in Knowledge-Based Systems (0 replies, 07/24/86)

Conference - 2nd AI Applications in Engineering (0 replies, 07/24/86)

Seminar - Specification of Geographic Data Processing Requirements (0 replies, 07/24/86)

"Metamorphosis" (0 replies, 07/25/86)

Searle and understanding (2 replies, 07/25/86)

PSYCHNET Correction (0 replies, 07/26/86)

Seminar - RS: Distributed Sensory-based Robot Control (0 replies, 07/28/86)

machine translation (1 reply, 07/28/86)

philosophy journals (0 replies, 07/28/86)

New List formed on Natural Language and Knowledge Representation (0 replies, 07/28/86)

Seminar - Constructing the Aspect Graph (0 replies, 07/29/86)

Seminar - Decision-Making and Action in the Real World (0 replies, 07/31/86)

Digest Schedule (0 replies, 08/01/86)

Note without comment (0 replies, 08/02/86)

VM Prolog (0 replies, 08/02/86)

Forgy VAX/VMS OPS5 User Manual (0 replies, 08/03/86)

Query - Geometric Placement (2 replies, 08/04/86)

Conservation of Info, etc. (0 replies, 08/04/86)

follow-up on philosophy articles (0 replies, 08/04/86)

OPS5 manual (0 replies, 08/05/86)

Query: Hitachi Software Design ES (0 replies, 08/05/86)

Expert Systems - The New Cop on the Beat (0 replies, 08/05/86)

Seminar - Object Encapsulation and Inheritance (0 replies, 08/06/86)

Seminar - ACTORS in Concurrent Logic Programming Languages (0 replies, 08/06/86)

Petrocelli Books (0 replies, 08/06/86)

looking for a theorem prover in 3D geometry (0 replies, 08/09/86)

Conference - 4th International Conference on Logic Programming (0 replies, 08/09/86)

Conference - 2nd Int. Rewriting Techniques and Applications (0 replies, 08/09/86)

Conference - 1st Eurographics Intelligent CAD Systems (0 replies, 08/09/86)

Administrivia - Vacation (0 replies, 08/12/86)

talk to the medium (0 replies, 08/12/86)

philosophy articles (0 replies, 08/12/86)

Conference - SIGIR Conf. on R&D in Information Retrieval (0 replies, 08/13/86)

AI expert (1 reply, 08/13/86)

Seminar - Active Reduction of Uncertainty (0 replies, 08/13/86)

Seminar - Mechanization of Geometry (0 replies, 08/18/86)

Seminar - Long-Term Planning Systems (0 replies, 08/19/86)

schematics drafting request (0 replies, 08/19/86)

Wanted: References on Structured Analysis Inadequacies (0 replies, 08/20/86)

"Proper" Study of Science, Conservation of Info (1 reply, 08/20/86)

Seminar - Rule Induction in Computer Chess (0 replies, 08/21/86)

Cooperative Expert System (0 replies, 08/25/86)

matching (0 replies, 09/02/86)

Looking for Expert Systems for Mechanical Engineering (0 replies, 09/03/86)

Seminar - Automatic Algorithm Designer (0 replies, 09/05/86)

Recent Kansas Technical Reports (0 replies, 09/05/86)

Expert Systems and Data Communication (0 replies, 09/09/86)

Seminar - AI in Communication Networks (0 replies, 09/09/86)

Conference - Logic in Computer Science (0 replies, 09/09/86)

Seminar - Goal Integration in Heuristic Algorithm Design (0 replies, 09/09/86)

Seminar - Rational Conservatism and the Will to Believe (0 replies, 09/10/86)

Seminar - Representations and Checkerboards (0 replies, 09/10/86)

New University of Rochester HORNE system available (0 replies, 09/11/86)

robotics query: cutting arm (0 replies, 09/11/86)

Parallel Inference System at Maryland (0 replies, 09/12/86)

Conference - ISMIS'86 program (0 replies, 09/12/86)

Seminar - Deriving Problem Reduction Operators (0 replies, 09/12/86)

ADVICE ON ENTERING THE AI COMMUNITY (0 replies, 09/12/86)

Seminar - BiggerTalk: An Object-Oriented Extension to Prolog (0 replies, 09/15/86)

Conference - Office Information Systems - Brown U. (0 replies, 09/16/86)

Resumption of Service (0 replies, 09/16/86)

Reimplementing in C (2 replies, 09/16/86)

Seminar - Minisupercomputers and AI Machines (0 replies, 09/17/86)

Correction - Conference on Office Information Sys (0 replies, 09/17/86)

flavors and Common Lisp (0 replies, 09/18/86)

natural language generation (0 replies, 09/18/86)

Speakers wanted (0 replies, 09/18/86)

What's wrong with Turbo Prolog (0 replies, 09/19/86)

Simple jobs Turbo Prolog can't do (0 replies, 09/19/86)

OPSx for PCs (0 replies, 09/19/86)

Seminar - Equal Opportunity Interactive Systems (0 replies, 09/19/86)

xlisp query (0 replies, 09/20/86)

AI-discussion (0 replies, 09/20/86)

Any OPS5 in PC ? (1 reply, 09/20/86)

Symbolics v. Xerox (0 replies, 09/20/86)

TMS, DDB and infinite loops (1 reply, 09/20/86)

TMS, DDB and infinite loops question. (0 replies, 09/21/86)

followup on NL generation (0 replies, 09/22/86)

intelligent machines (0 replies, 09/22/86)

Associations -- Comment on AIList Digest V4 #186 (0 replies, 09/22/86)

Seminar - Chemical Structure Generation (0 replies, 09/23/86)

Money back on Turbo Prolog (0 replies, 09/23/86)

Turbo Prolog (3 replies, 09/23/86)

queries about expert systems (2 replies, 09/25/86)

Xerox 11xx vs. Symbolics 36xx vs. ... (0 replies, 09/25/86)

****** AI AT UPCOMING CONFERENCES ****** (0 replies, 09/25/86)

Address correction for ref. in Vol 4, Issue 195 (0 replies, 09/25/86)

Intelligence and Representation (0 replies, 09/25/86)

Computers and Writing - A Solicitation (0 replies, 09/25/86)

semantic knowledge (0 replies, 09/25/86)

Prospector ESs for IBM-PC (0 replies, 09/26/86)

Learning via ES Rule Refinement? (0 replies, 09/26/86)

OPS5 on the PC (0 replies, 09/26/86)

Conference - Workshop on Qualitative Physics (0 replies, 09/26/86)

XLISP Availability (0 replies, 09/26/86)

Spang Robinson Summary, August 1986 (0 replies, 09/26/86)

Canadian Artificial Intelligence, June 1986 (0 replies, 09/26/86)

Turbo Prolog - Yet Another Opinion (0 replies, 09/26/86)

Seminar - Generic Tasks in Knowledge-Based Reasoning (0 replies, 09/26/86)

RuleMaster (0 replies, 09/27/86)

A survey of prototype and working ITSs. (0 replies, 09/28/86)

Seminar - Computers are not Omnipotent (0 replies, 09/28/86)

OPS5 on small machines (0 replies, 09/29/86)

Seminar - Fuzzy Relational Databases (0 replies, 09/29/86)

Defs for ai.bib35, new keyword code for editorials (0 replies, 09/29/86)

Recent Articles in Robotics and Vision (0 replies, 09/29/86)

Recent Reports (0 replies, 09/29/86)

Consciousness as bureaucracy (0 replies, 09/29/86)

Request for Info on Expert Systems Development (0 replies, 09/29/86)

Cognitive Science Schools (1 reply, 09/29/86)

AAAI-87 Tutorials (0 replies, 09/29/86)

Emergent Consciousness (1 reply, 09/29/86)

Seminar - Connectionist Networks (0 replies, 09/29/86)

Seminar - Automating Diagnosis (0 replies, 09/30/86)

Seminar - Program Transformations and Parallel Lisp (0 replies, 09/30/86)

1st Conf. on Neural Networks (0 replies, 09/30/86)

Seminar - Temporal Theorem Proving (0 replies, 10/01/86)

Seminar - Cognitive Architecture (0 replies, 10/02/86)

Perception (1 reply, 10/03/86)

Expert system Textbook For Applications (0 replies, 10/03/86)

Communications Experts (0 replies, 10/03/86)

Computer Vision (1 reply, 10/03/86)

AI Limericks by Henry Kautz (0 replies, 10/03/86)

Seminar - Deductive Databases (0 replies, 10/05/86)

Workshop on Qualitative Physics (0 replies, 10/05/86)

Chemistry systems & PROLOG (0 replies, 10/06/86)

man's godlike (0 replies, 10/06/86)

Xerox vs Symbolics -- Reference coun (0 replies, 10/06/86)

Expert systems and deep knowledge (0 replies, 10/06/86)

Cognitive Neuroscience (0 replies, 10/06/86)

Seminar - Prolog without Horns (0 replies, 10/06/86)

Bibliography on its way (0 replies, 10/07/86)

Seminar - Concept Acquisition in Noisy Environments (0 replies, 10/07/86)

Seminar - Knowledge Engineering and Ontological Structure (0 replies, 10/07/86)

Xerox vs Symbolics -- Reference counts vs Garbage collection (3 replies, 10/07/86)

Integer Equations (0 replies, 10/07/86)

new Technical Reports (0 replies, 10/07/86)

Book - Prolog Multiprocessors (0 replies, 10/08/86)

Binding (0 replies, 10/08/86)

News and Recent Articles (0 replies, 10/09/86)

Correction and Future Bibliography Labels (0 replies, 10/09/86)

Final Program for Expert Systems in Government Conference (0 replies, 10/09/86)

Conference - IEEE Systems, Man and Cybernetics (0 replies, 10/09/86)

request for references on drawings (0 replies, 10/09/86)

Dissertation - Multilayer Connectionist Learning (0 replies, 10/09/86)

Canadian Artificial Intelligence/ September 1986 (0 replies, 10/10/86)

Understanding Horses (0 replies, 10/10/86)

Searle's logic (1 reply, 10/10/86)

Expert Systems & Math Models (0 replies, 10/10/86)

Connectionist References Request (0 replies, 10/14/86)

Availability of interactive 2-d math editing interfaces... (1 reply, 10/14/86)

Spang Robinson Report, October 1986 (0 replies, 10/14/86)

Seminar - Learning Apprentice Systems (0 replies, 10/14/86)

Garbage Collection (1 reply, 10/15/86)

PROLOG-dialects-info wanted for VAX/VMS (0 replies, 10/15/86)

Seminar - Toward a Learning Robot (0 replies, 10/15/86)

Bug in Turbo Prolog (0 replies, 10/15/86)

corrections to Navin Chandra note on AIList Digest (0 replies, 10/16/86)

the definitive connectionist reference (0 replies, 10/16/86)

your paper about category induction and representation (0 replies, 10/16/86)

Report Sources (1 reply, 10/16/86)

defs for ai.bib37C and ai.bib40C (0 replies, 10/16/86)

Bibliography of AI Applications (0 replies, 10/16/86)

Book alert (0 replies, 10/16/86)

Reviews (0 replies, 10/16/86)

yet more wrangling on Searle, Turing, ... (0 replies, 10/16/86)

TMS Query Response (1 reply, 10/16/86)

Incorrect AIList Bibliographic Reference (0 replies, 10/16/86)

symbols (0 replies, 10/17/86)

Bibliography (3 replies, 10/17/86)

symbols: syntax vs semantics (0 replies, 10/17/86)

Seminar - Functional Representations in Knowledge Programming (0 replies, 10/17/86)

AT FERMILAB--ES OR NOT, THAT IS THE QUESTION. (0 replies, 10/17/86)

correction on ESE (0 replies, 10/19/86)

Statistical expert systems (0 replies, 10/19/86)

mistake (0 replies, 10/19/86)

Robot Snooker-player (0 replies, 10/20/86)

Seminar - Advances in Computational Robotics (0 replies, 10/20/86)

Is there OOP in AI? (0 replies, 10/20/86)

Seminar - More Agents are Better Than One (0 replies, 10/20/86)

Seminar - Automatic Schematics Drafting (0 replies, 10/20/86)

Need reference on HITECH chess machine (0 replies, 10/20/86)

Seminar - Learning by Failing to Explain (0 replies, 10/21/86)

Neuron Chip (0 replies, 10/22/86)

Reply to Winograd and Flores (0 replies, 10/22/86)

AI vs. RI (0 replies, 10/22/86)

Seminar - Toward Meta-Level Problem Solving (0 replies, 10/22/86)

AI Lab Technical Reports (0 replies, 10/22/86)

Turing on stage (0 replies, 10/22/86)

Seminar - Implementing Scheme on a Personal Computer (0 replies, 10/23/86)

PROLOG on IBM MVS (0 replies, 10/23/86)

Seminar - Diagnosing Multiple Faults (0 replies, 10/24/86)

defs for ai.bib41C (0 replies, 10/24/86)

ai.bib41C (0 replies, 10/24/86)

AAAI Workshop on Uncertainty in AI, 1987 (0 replies, 10/24/86)

THE PSEUDOMATH OF THE TURING TEST (0 replies, 10/25/86)

Seminar - Ramification and Qualification in the Blocks World (0 replies, 10/25/86)

Knowledge-based management tools query (0 replies, 10/25/86)

Address??? (1 reply, 10/26/86)

Please post on mod.ai -- first of 4 (0 replies, 10/26/86)

For posting on mod.ai - 2nd of 4 (0 replies, 10/26/86)

For posting on mod.ai 3rd of 4 (0 replies, 10/26/86)

For posting on mod.ai, 4th of 4 (0 replies, 10/26/86)

Mod.ai Followup Problem (0 replies, 10/27/86)

for posting on mod.ai (0 replies, 10/27/86)

Seminar - Using Scheme for Discrete Simulation (0 replies, 10/27/86)

seeking info (0 replies, 10/27/86)

Let's try that again ... (0 replies, 10/27/86)

Why we waste time training machines (0 replies, 10/27/86)

Model-base Reasoning (0 replies, 10/27/86)

Seminar - Machine Inductive Inference (0 replies, 10/27/86)

KR for Music (0 replies, 10/28/86)

reasons for making "artificial humans" (0 replies, 10/28/86)

Call for Papers, Sydney Expert Systems Conference (0 replies, 10/28/86)

son of yet more wrangling on Searle, Turing, Quine, Hume, ... (0 replies, 10/28/86)

Monotonic Reasoning (0 replies, 10/28/86)

Mathematics, Humanity Re: AIList (0 replies, 10/29/86)

Seminar - Aid To Database Design (0 replies, 10/29/86)

Seminar - Case-Based Learning System (0 replies, 10/30/86)

Nonsense Quiz (1 reply, 10/30/86)

Conference Call for Papers (0 replies, 10/30/86)

how we decide whether it has a mind (0 replies, 10/30/86)

extended Turing test (1 reply, 10/31/86)

Nonsense tests and the Ignorance Principle (0 replies, 10/31/86)

AIM in Rehabilitation Med (0 replies, 10/31/86)

turing test (3 replies, 10/31/86)

Knowledge and Database Systems Awards - NSF (0 replies, 10/31/86)

Active Awards in the Robotics and Machine Intelligence Program (0 replies, 10/31/86)

monotonicity (0 replies, 10/31/86)

Snooker playing robots (0 replies, 11/03/86)

Electronics Troubleshooting (0 replies, 11/03/86)

Seminar - Planning Simultaneous Actions (0 replies, 11/03/86)

The Analog/Digital Distinction (2 replies, 11/04/86)

English-Hangul Machine Translation (0 replies, 11/04/86)

a query for AIList (0 replies, 11/04/86)

Nonmonotonic Reasoning (0 replies, 11/04/86)

Belle (0 replies, 11/04/86)

Seminar - Scientific Discovery (0 replies, 11/04/86)

analog/digital distinction (0 replies, 11/05/86)

banning machine vision (0 replies, 11/05/86)

moral responsibility (1 reply, 11/05/86)

Looking for Franz OO packages (0 replies, 11/05/86)

Seminar - Is Probability Adequate? (0 replies, 11/05/86)

AIList Digest V4 #248 (0 replies, 11/06/86)

Information in Signals (0 replies, 11/06/86)

AI in Literature (0 replies, 11/06/86)

non-monotonic reasoning (1 reply, 11/06/86)

Seminar - Uncertain Data Management (0 replies, 11/06/86)

Why train machines (0 replies, 11/07/86)

expert systems for performance analysis/tuning? (0 replies, 11/07/86)

Mathematics and humanity (0 replies, 11/07/86)

Seminar - Programming Descriptive Analogies by Example (0 replies, 11/09/86)

Seminar - Explicit Contextual Knowledge in Learning (0 replies, 11/09/86)

Robotic Snooker (0 replies, 11/10/86)

Conference - 2nd Knowledge Acquisition Workshop (0 replies, 11/10/86)

Seminar - Formalizing the Notion of Context (0 replies, 11/10/86)

Franz Object-Oriented Packages (0 replies, 11/11/86)

TCP from Xerox to UNIX System V (0 replies, 11/11/86)

Seminar - Verification in Model-Based Recognition (0 replies, 11/11/86)

Seminar - A Robust Approach to Plan Recognition (0 replies, 11/12/86)

SPRING RESEARCH SEMINAR AT STEVENS INSTITUTE OF TECHNOLOGY (0 replies, 11/12/86)

Seminar - Qualitative Reasoning about Mechanisms (0 replies, 11/12/86)

Seminar - Diagnostic Systems (0 replies, 11/12/86)

Seminar - BoltzCONS: Recursive Objects in a Neural Network (0 replies, 11/12/86)

Call for papers -Journal of Logic Programming (0 replies, 11/13/86)

Seminar - Object-Oriented DBMSs (0 replies, 11/13/86)

Non-monotonic reasoning and truth maintenance systems (1 reply, 11/13/86)

pearl AI package (0 replies, 11/13/86)

Seminar - The Capacity of Neural Networks (0 replies, 11/14/86)

Seminar - Insight in Human Problem Solving (0 replies, 11/14/86)

Special Invitation to Universities and Research Institutes (0 replies, 11/14/86)

Cognitive Science degree programs at UC Berkeley (0 replies, 11/17/86)

Invitation to USC AI & VLSI Demo (0 replies, 11/17/86)

Seminar - Planning and Plan Recognition in Office Systems (0 replies, 11/17/86)

Seminar - Logic Programming and Circumscription (0 replies, 11/17/86)

Logic programming in APL (0 replies, 11/17/86)

Seminar - Analogical and Deductive Reasoning (0 replies, 11/18/86)

philosophy of mind stuff (0 replies, 11/18/86)

Seminar - Trajectory Planning in Time-Varying Environments (0 replies, 11/18/86)

AI and the Arms Race (1 reply, 11/18/86)

Seminar - An Expert System for Building Layout (0 replies, 11/19/86)

Contextual Knowledge and Multi-layer Learning (0 replies, 11/19/86)

Books available for review (0 replies, 11/19/86)

KEE on Symbolics vs. Xerox (0 replies, 11/19/86)

Modeling vision: A call for commentators. (0 replies, 11/19/86)

Call for Papers - Financial Expert Systems (0 replies, 11/20/86)

machine intelligence/consciousness (0 replies, 11/20/86)

Spang Robinson Report Summary (0 replies, 11/20/86)

summary of recent press releases (0 replies, 11/20/86)

Neural Networks Digest (0 replies, 11/20/86)

glisp info request (0 replies, 11/20/86)

Workshop on AI in Process Engineering... (0 replies, 11/21/86)

IEEE Conference on AI Applications: Advance Program (0 replies, 11/21/86)

Seminar - Computational Problems in Equational Theorem Proving (0 replies, 11/21/86)

Cognitive Science at SUNY Buffalo (0 replies, 11/21/86)

announcement for AIlist (0 replies, 11/22/86)

Seminar - LISP on a Reduced-Instruction-Set Processor (0 replies, 11/24/86)

Lisp, Smalltalk for Amiga (0 replies, 11/24/86)

Seminar - RUM: Reasoning with Uncertainty (0 replies, 11/25/86)

Seminar - Graphical Access to an Expert System (0 replies, 11/26/86)

Seminar - Disassembly Expert (0 replies, 11/27/86)

Course - AI in Design and Manufacturing (0 replies, 11/29/86)

Anything in D.C. area? (0 replies, 12/01/86)

RUTGERS SEMINAR ON OFFICE SYSTEMS (0 replies, 12/01/86)

ai.bib45AB (0 replies, 12/01/86)

Searle, Turing, Symbols, Categories (7 replies, 12/01/86)

Proposed: a split of this group (0 replies, 12/01/86)

Seminar - Nonmonotonic Inheritance Systems (0 replies, 12/01/86)

Seminar - Formal Properties of Version Spaces (0 replies, 12/01/86)

Seminar - Machine Learning and Discovery (0 replies, 12/01/86)

Course - Parallel Architecture and AI (0 replies, 12/02/86)

ai.bib42AB (0 replies, 12/02/86)

Seminar - Possible-World Semantics (0 replies, 12/03/86)

Proposed Split (0 replies, 12/03/86)

Subconscious (0 replies, 12/03/86)

the long debate of philosophical issues (0 replies, 12/03/86)

Seminar - A Higher-Order Logic for Programming (0 replies, 12/03/86)

Conference - Logical Solutions to the Frame Problem (1 reply, 12/03/86)

Seminar - Non-Strict Class Hierarchies in Modeling Laguages (0 replies, 12/04/86)

AIList Digest V4 #276 (0 replies, 12/04/86)

brains vs. TTT as criteria for mind/consciousness (0 replies, 12/04/86)

OOP in AI (0 replies, 12/04/86)

another dijkstra quote (0 replies, 12/04/86)

Correction - Parallel Archictures Course (0 replies, 12/04/86)

Conscious computers (0 replies, 12/05/86)

Seminar - Parallelization of Alpha-Beta Search (0 replies, 12/06/86)

Seminar - An EBG system which Learns from Failures (0 replies, 12/08/86)

Lisp Performance Benchmarks (0 replies, 12/09/86)

Conference - AI in Engineering (0 replies, 12/09/86)

Administrivia - BITNET Distribution (0 replies, 12/09/86)

Gateway problems ARPA <-> Bitnet (0 replies, 12/09/86)

AI Bibliographic format (2 replies, 12/09/86)

splitting the list (2 replies, 12/09/86)

Clarification (0 replies, 12/09/86)

Lisp for Mac (0 replies, 12/10/86)

little (3 replies, 12/10/86)

Improving usability of bibilographies (0 replies, 12/10/86)

Seminar - Concepts Defined via Approximate Theories (0 replies, 12/10/86)

AILIST (0 replies, 12/11/86)

spliting the AIList (0 replies, 12/11/86)

Course - Advanced Topics in Databases (0 replies, 12/11/86)

AIList Digest V4 #281--Little LISPer (0 replies, 12/11/86)

AIList Digest V4 #281--Lisp Benchmarks (0 replies, 12/11/86)

Little LISPer, a reply (0 replies, 12/12/86)

Conference - Philadelphia Regional AI Symposium (0 replies, 12/12/86)

Query - AI for Photolithography (0 replies, 12/13/86)

Seminar - Massively Concurrent Knowledge Representation (0 replies, 12/13/86)

Seminar - Logic of Knowledge, Action, and Communication (0 replies, 12/13/86)

Seminar - Commonsense Reasoning about Solid Objects (0 replies, 12/14/86)

Seminar - Classification of States and Events (0 replies, 12/14/86)

Conference - Directions and Implications of Advanced Computing (0 replies, 12/15/86)

Correction -- Psychnet (0 replies, 12/15/86)

Q: Salary Survey (0 replies, 12/15/86)

Conference - Foundations of Computer Science (0 replies, 12/15/86)

Chess Program Needed (0 replies, 12/15/86)

New Book (0 replies, 12/15/86)

Seminar - Learning by Understanding Analogies (0 replies, 12/15/86)

AI at Upcoming Conference (0 replies, 12/16/86)

Seminar - Uncertainty in AI: Is Probability Adequate (0 replies, 12/16/86)

Seminar - Replay of Design Derivations (0 replies, 12/17/86)

Text-to-speech conversion (0 replies, 12/17/86)

Conference - ACM Symp. on Principles of Database Systems (0 replies, 12/17/86)

Multidimensional nature of intelligence (0 replies, 12/17/86)

unlikely submission to the ai-list... (0 replies, 12/18/86)

Query: reasonable public domain PC expert system (0 replies, 12/19/86)

Conference - European Simulation Multiconference 1987, Vienna (0 replies, 12/19/86)

Knowledge-based (0 replies, 12/20/86)

BASIC BRAIN BYTES AND LIFELONG MEMORY (0 replies, 12/21/86)

Seminar - The Qualitative Process Engine (0 replies, 12/21/86)

AAAI-87 Workshop Program (0 replies, 12/22/86)

Uncertainty Talk (0 replies, 12/23/86)

Expert System Shells on Unix and PCDOS (0 replies, 12/24/86)

Everyday life survey (0 replies, 12/29/86)

Information on Proof of Correctness, Hardware Grammar (0 replies, 12/29/86)

Efficient Property Implementation (0 replies, 01/02/87)

Spang Robinson Report, December 1986 (0 replies, 01/02/87)

Proposed workshops for AAAI-87 (0 replies, 01/02/87)

Intentions (0 replies, 01/05/87)

AI in Space Applications (0 replies, 01/05/87)

Conference - Genetic Algorithms (0 replies, 01/05/87)

educational material on ai (0 replies, 01/06/87)

Query: goals based prediction (0 replies, 01/07/87)

Conference - Workshop on Blackboard Systems (0 replies, 01/07/87)

Methodologies for Studying Human Knowledge (0 replies, 01/07/87)

Response to Minsky on Mind (0 replies, 01/07/87)

Seminar - Time Modeling with Intervals (0 replies, 01/08/87)

New Review Journal in AI (0 replies, 01/08/87)

Conference - Machine Learning Workshop (0 replies, 01/08/87)

Minksy's Mind (0 replies, 01/08/87)

Newsletter on Expert Systems (0 replies, 01/09/87)

AIList Digest V5 #4 (0 replies, 01/13/87)

Character Recognition (0 replies, 01/13/87)

/Canadian Artificial Intelligence/ magazine (0 replies, 01/14/87)

Seminar - General Logic (1 reply, 01/14/87)

Seminar - The Semantics of Clocks (0 replies, 01/15/87)

minds and minsky (0 replies, 01/15/87)

Go (1 reply, 01/15/87)

Request for Info on Lisp Machine Window Systems (0 replies, 01/15/87)

Seminar - An Implementation of Adaptive Search (0 replies, 01/16/87)

TR Abstract -- Learning to Predict (0 replies, 01/17/87)

Seminar - Mid-Atlantic Math Logic Seminar (0 replies, 01/17/87)

TOOLKIT (0 replies, 01/17/87)

Seminar - Formal Theories of Action (0 replies, 01/18/87)

REQUEST FOR PROPOSALS TO HOST IJCAI-91 OUTSIDE OF NORTH AMERICA (0 replies, 01/19/87)

AIList Digest V5 #8 (0 replies, 01/19/87)

Scheme for PC (0 replies, 01/20/87)

Seminar - Presenting Intuitive Deductions (0 replies, 01/20/87)

CMS Shells (0 replies, 01/20/87)

Catalogue of AI Techniques: revised call for entries (0 replies, 01/20/87)

Theoretical framework for modelling resource allocation. (0 replies, 01/20/87)

More on Minsky on Minds (0 replies, 01/21/87)

AIList Digest V5 #9 (0 replies, 01/21/87)

brian smith's talk (0 replies, 01/21/87)

Discussion of "consciousness" (2 replies, 01/21/87)

Seminar - AI and Software Engineering (0 replies, 01/21/87)

Another Lengthy Philosopical .... (0 replies, 01/21/87)

C-2 as C-1 (0 replies, 01/21/87)

consciousness as a non-superfluous concept (0 replies, 01/21/87)

Seminar - New Themes in Data Structure Design (0 replies, 01/21/87)

University Demos (0 replies, 01/21/87)

X windows & Lisp (0 replies, 01/22/87)

AIList Digest V5 #11 (0 replies, 01/22/87)

No C-2 without C-1 (0 replies, 01/22/87)

Scheme for Mac & IBM PCs (0 replies, 01/22/87)

antiquity of AI (1 reply, 01/22/87)

Objective vs. Subjective Inquiry (0 replies, 01/22/87)

Seminar - A Four-Valued Semantics for Terminological Logics (0 replies, 01/22/87)

Minsky on Mind (0 replies, 01/22/87)

Conference - MidAltantic Logic Seminar (0 replies, 01/23/87)

The sidetracking of introspection (0 replies, 01/23/87)

Seminar - Learning Internal Disjunctive Concepts (0 replies, 01/23/87)

WHY of Pain (0 replies, 01/23/87)

For the AIList "Consciousness" Discussion (0 replies, 01/23/87)

consciousness as a superfluous concept, but so what (0 replies, 01/23/87)

Quantitative Consciousness (0 replies, 01/26/87)

source postings from AI EXPERT magazine (0 replies, 01/26/87)

Seminar - Circumscriptive Query Answering (0 replies, 01/27/87)

Seminar - Influence Diagrams (0 replies, 01/27/87)

Summary of Spang Robinson Report Volume 3, No. 1, January 1987 (0 replies, 01/27/87)

Seminar - A Logic of Knowledge, Action, and Communication (0 replies, 01/27/87)

Necessity of consciousness (0 replies, 01/27/87)

Methodological Epiphenomenalism (0 replies, 01/27/87)

summary of Canadian ARtificial Intelligence (0 replies, 01/27/87)

AI at upcoming conferences (1 reply, 01/27/87)

Seminar - The ISIS Project (0 replies, 01/27/87)

1987 Society for Computer Simulation Multiconference (0 replies, 01/27/87)

Seminar - Learning when Irrelevant Variables Abound (0 replies, 01/28/87)

Laws on Consciousness (0 replies, 01/28/87)

Seminar - Spatial Objects in Database Systems (0 replies, 01/29/87)

Seminar - Automation in Seismic Interpretation (0 replies, 01/29/87)

Consciousness? (0 replies, 01/29/87)

Seminar - Induction in Model-Based Systems (0 replies, 01/29/87)

Why I am not a Methodological Epiphenomenalist (0 replies, 01/30/87)

Seminar - Knowledge-Based Reasoning Toolkit (0 replies, 01/30/87)

Seminar - Understanding How Devices Work (0 replies, 01/30/87)

Conference - Conceptual Information Processing (0 replies, 01/30/87)

common lisp code (0 replies, 02/01/87)

Revised Code Policy (0 replies, 02/02/87)

Seminar - Logic Programming: The Japanese Were Right (0 replies, 02/02/87)

Connectionism (0 replies, 02/02/87)

backtracking..... (0 replies, 02/02/87)

pique experience (0 replies, 02/03/87)

expert shell for vax & pc's (0 replies, 02/03/87)

OPS5 for 4.2BSD? (1 reply, 02/03/87)

Seminar - The Synthesis of Dirty Lisp Programs (0 replies, 02/03/87)

Seminar - Why Software Cannot be Property (0 replies, 02/04/87)

Seminar - Dynamic Belief Revision System (0 replies, 02/04/87)

Conscious Intelligence (0 replies, 02/04/87)

Seminar - Combinatorics of Rule-Based Expert Systems (0 replies, 02/05/87)

COLOR & VISION NETWORK (0 replies, 02/05/87)

trying to locate paper/author (0 replies, 02/06/87)

expert sysyem (0 replies, 02/06/87)

Seminar - Optimal Histories for Default Reasoning (0 replies, 02/06/87)

Conference - IEEE First Annual Conference on Neural Networks (0 replies, 02/07/87)

Conference - Extended Deadline for AAAI Uncertainty in AI Workshop (0 replies, 02/08/87)

References -- Coordinator systems (0 replies, 02/08/87)

Disclaimer of Consciousness (0 replies, 02/09/87)

Conference - Office Knowledge (0 replies, 02/09/87)

another stab at "what are we arguing about" (0 replies, 02/09/87)

and another thing.. (0 replies, 02/09/87)

representation languages: richness and flexibility (0 replies, 02/09/87)

Glands and Psychic Function (0 replies, 02/10/87)

MICE Expert System Shell (0 replies, 02/10/87)

oh no, not more philosophy! (0 replies, 02/10/87)

Seminar - Large Optical Expert Systems (0 replies, 02/11/87)

Seminar - Knowledge Acquisition in Magnetic Resonance Imaging (0 replies, 02/11/87)

Seminar - Methods for treating Uncertainty in AI (0 replies, 02/11/87)

LISP Conversion (1 reply, 02/11/87)

Seminar - High-Level Architecture for LISP (0 replies, 02/11/87)

pattern recognition/graphs (0 replies, 02/11/87)

Looking for J.M. Spivey, the author of Portable Prolog (0 replies, 02/11/87)

symbolics question (0 replies, 02/11/87)

Conference - IEEE Conference on Neural Nets: Student Special (0 replies, 02/11/87)

language comparisons (0 replies, 02/11/87)

Print driver extension for HP Laser printers on LMI (0 replies, 02/11/87)

Seminar - A Juggling Robot (0 replies, 02/13/87)

And/Or graphs (0 replies, 02/13/87)

Conference - 2nd Conference on Artificial Intelligence and Sea (0 replies, 02/13/87)

Against the Tide of Common LISP (2 replies, 02/14/87)

Submission for mod-ai (1 reply, 02/15/87)

Conference - Workshops on Database Programming Languages (0 replies, 02/15/87)

Formalization in AI (0 replies, 02/16/87)

Conference - Change in Cognitive Science Conference (0 replies, 02/16/87)

Seminar - Evaluating Data-Intensive Logic Programs (0 replies, 02/16/87)

Meeting - Midwest AI and CogSci Society (0 replies, 02/16/87)

reply to harnad (0 replies, 02/16/87)

Conference - Possible Workshop on Real-Time at AAAI-87 (0 replies, 02/17/87)

artificial minds (0 replies, 02/17/87)

Lisp Sources for OPS5 (0 replies, 02/18/87)

Window System (0 replies, 02/18/87)

Parallel Functional Programming Languages (0 replies, 02/18/87)

GO PROGRAM ON PC (0 replies, 02/18/87)

Seminar - Knowledge-Based CAD-CAM Software Integration (0 replies, 02/18/87)

ISTEL, see why (0 replies, 02/19/87)

DEC AI Workstation (2 replies, 02/19/87)

Meeting - Mid-Atlantic Universities Regional AI Meeting (0 replies, 02/19/87)

Query - Quintus Computer Systems (0 replies, 02/19/87)

Rochester Connectionist Simulator release in April (0 replies, 02/19/87)

book announcement - Knowlege Systems and Prolog (0 replies, 02/19/87)

Legal reasoning (1 reply, 02/19/87)

Seminar - A Picture Theory of Mental Images (0 replies, 02/19/87)

Job Openings (0 replies, 02/19/87)

speaking of language comparisons (0 replies, 02/19/87)

Conference - Workshop on Computer Architecture for PAMI (0 replies, 02/20/87)

Conference - 12th IMACS, 2nd-Generation Expert Systems (0 replies, 02/20/87)

Seminar - Minds, Machines, and Searle (0 replies, 02/20/87)

Seminar - Boolean Concept Learning (0 replies, 02/20/87)

Other Minds (2 replies, 02/21/87)

Impact of Artificial Intelligence (0 replies, 02/21/87)

Seminar - Parallel Techniques in Computer Algebra (0 replies, 02/21/87)

Job Postings (0 replies, 02/22/87)

N.Y.Times review of SOCIETY OF MIND (0 replies, 02/23/87)

Seminar - Planning Robotic Manipulation Strategies (0 replies, 02/23/87)

Financial Expert Systems (2 replies, 02/23/87)

DBMS issues in KBs (0 replies, 02/23/87)

Seminar - Representing Defaults with Epistemic Concepts (0 replies, 02/23/87)

Prog. Lang. Metaphors (0 replies, 02/24/87)

IJCAI-87 Computers and Thought Award (0 replies, 02/24/87)

epistemology vs. functional theory of mind (0 replies, 02/24/87)

Conference - SUNY Buffalo Comp. Sci. Grad. Student Conference (0 replies, 02/24/87)

A defense of the vulgar tongue. (0 replies, 02/24/87)

automated deduction references (0 replies, 02/25/87)

Disclaimer (0 replies, 02/25/87)

Parallel alpha-beta search (0 replies, 02/25/87)

Seminar - Expert Systems in Manufacturing (1 reply, 02/26/87)

Completeness and consistency of rule bases (0 replies, 02/26/87)

Seminar - Reasoning and Planning in Dynamic Domains (0 replies, 02/26/87)

A defence of vulgar tongue. (0 replies, 02/26/87)

Legal Reasoning and AI (0 replies, 02/26/87)

Journal Issue - Financial Applications, IEEE Expert (0 replies, 02/26/87)

Seminar - AI from the Bottom Up (0 replies, 02/27/87)

Best LISPM/WorkStation? (0 replies, 02/27/87)

logic in ai (1 reply, 02/27/87)

Seminar - VLSI Approach to the ELIS Lisp Machine (0 replies, 02/28/87)

Seminar - Motion Planning in Time-Varying Environment (0 replies, 02/28/87)

AI Software Revenues (0 replies, 02/28/87)

ai.bib44C (0 replies, 02/28/87)

Seminar - A Step Toward a Logic Machine (0 replies, 02/28/87)

Review - Spang Robinson Report 3.2 (0 replies, 02/28/87)

Hardware vs. AI (0 replies, 03/01/87)

Definition of Expert System (0 replies, 03/01/87)

Seminar - A Stochastic Genetic Search Method (0 replies, 03/02/87)

Conference - Columbia AI Symposium (0 replies, 03/02/87)

Vulgar tongue (0 replies, 03/02/87)

AIList Digest V5 #58 (0 replies, 03/02/87)

Request for information (2 replies, 03/02/87)

Seminar - Hypothesis Formation (0 replies, 03/02/87)

AML-V on RS-1 or RS-2? (0 replies, 03/02/87)

Frame+Rule Based Systems (0 replies, 03/03/87)

Conference - ECOOP 1987 (0 replies, 03/03/87)

Seminar - On Visual Formalisms (0 replies, 03/03/87)

Conference - Computing and Society in Seattle, Preceding AAAI (0 replies, 03/03/87)

Moderating Best Lispm/WorkStation (0 replies, 03/03/87)

Conference - HICSS-21 Call For Papers (0 replies, 03/04/87)

AI.BIB43TR (0 replies, 03/04/87)

AI.BIB49TR (0 replies, 03/04/87)

ORDER.ADDRESSES4 (0 replies, 03/04/87)

AI.BIB48TR (0 replies, 03/04/87)

AI.BIB47C (0 replies, 03/04/87)

DEFINITIONS FOR AI.BIB4XC (0 replies, 03/04/87)

Seminar - Creative Analogies in Scientific Progress (0 replies, 03/04/87)

Value of explanation facility in expert systems (0 replies, 03/04/87)

Seminar - TI AI Satellite Symposium (0 replies, 03/05/87)

Conference - AAAI Workshop on PLANNING FOR AUTONOMOUS MOBILE ROBOTS (0 replies, 03/05/87)

Expert Systems and Explanations (0 replies, 03/05/87)

Policy - Hardware Discussions (0 replies, 03/05/87)

Consciousness (3 replies, 03/05/87)

Seminar - Ping Pong Playing Robot (0 replies, 03/05/87)

Seminar - Using Uncertainty to Solve Analogies (0 replies, 03/06/87)

Announcement: IJCAI Research Excellence Award (1 reply, 03/06/87)

philosphy - consciousness (0 replies, 03/06/87)

Seminar - AI and Expert Systems PDS (0 replies, 03/06/87)

dear Abby (1 reply, 03/06/87)

AI in Network Protocols. (1 reply, 03/06/87)

Seminar - Updating Databases with Incomplete Information (1 reply, 03/06/87)

Seminar - Filter Model of Types for Flexible Programming (0 replies, 03/07/87)

Policy - AI Hardware (0 replies, 03/07/87)

Computer Chess article in March 6 New Yorkr (0 replies, 03/08/87)

self-recursive functions == consciousness (0 replies, 03/08/87)

Seminar - Fluid Concepts and Creative Analogies (0 replies, 03/09/87)

Conference - ACL Europe Copenhagen Conference, 1-3 April 1987 (0 replies, 03/09/87)

Related Lists (0 replies, 03/09/87)

Dear Abby, Analysis of unknown data. (1 reply, 03/09/87)

AIList Digest V5 #71 (0 replies, 03/09/87)

Washington-Area TI Seminar? (0 replies, 03/09/87)

3D Clustering algorithms (0 replies, 03/09/87)

AI Lists (0 replies, 03/09/87)

Seminar - Search and Reasoning in AI (0 replies, 03/10/87)

Info-1100/Bug-1100 (0 replies, 03/10/87)

Historical Perspective on the Consciousness Debate (0 replies, 03/10/87)

Minds are a terrible thing to explain (0 replies, 03/10/87)

Seminar - Multilisp (0 replies, 03/10/87)

whereabouts (0 replies, 03/10/87)

ICCA journal (0 replies, 03/10/87)

Expert systems (1 reply, 03/11/87)

Seminar - Representational Alignment (0 replies, 03/11/87)

Seminar - Induction, Knowledge, and Expert Systems (0 replies, 03/11/87)

AI bibliographies (0 replies, 03/12/87)

Comparative Psychology of Intelligence: BBS Call for Commentators (0 replies, 03/12/87)

Seminar - Search Algorithms (0 replies, 03/12/87)

Planning and scheduling survey (0 replies, 03/12/87)

Seminar - Machine Learning: Unifying Principles, Progress (0 replies, 03/13/87)

Humor Interface Project (0 replies, 03/13/87)

Network_addresses_of_Contributors (0 replies, 03/13/87)

TI Satellite Symposium locations (0 replies, 03/13/87)

reply to dear abby (0 replies, 03/13/87)

Checking Rule-Based Expert Systems (1 reply, 03/13/87)

AFOSR Announcement (0 replies, 03/13/87)

Conference - 2nd SUNY Grad. Conf. on CS (0 replies, 03/13/87)

Seminar - Anatomy of a Case-Based Inference (0 replies, 03/13/87)

Conference - AI and Law (1 reply, 03/14/87)

AIList Digest V5 #77 (0 replies, 03/14/87)

Expert_system/_CAD_interfaces (0 replies, 03/14/87)

diff "connectionist computing" "distributed computing" (0 replies, 03/16/87)

Conference - AAAI Workshop on Battle Management (0 replies, 03/16/87)

AI books and paper (0 replies, 03/16/87)

Kyoto Common Lisp (0 replies, 03/16/87)

Conference - TI's AI Satellite Symposium III (0 replies, 03/16/87)

Seminar - Applying Precedents in Case-Based Reasoning (0 replies, 03/17/87)

categories and counterfactuals (0 replies, 03/17/87)

Hertzberg2 (0 replies, 03/18/87)

Seminar - Learning Decomposition Methods (0 replies, 03/18/87)

Toshiba Voice Recognition Chip (0 replies, 03/18/87)

Seminar - Circumscriptive Theories (0 replies, 03/18/87)

Book - Expert Systems: The User Interface (0 replies, 03/18/87)

Seminar - Connectionist Networks as Models of Human Learning (0 replies, 03/19/87)

Seminar - EFFIGY: Symbolic Execution of Programs (0 replies, 03/19/87)

White Papers on Basic Research in AI (0 replies, 03/19/87)

Course - Problem Solving, Learning, and Hardware Design (0 replies, 03/21/87)

Course - Approaches to AI (0 replies, 03/21/87)

Conference - AAAI-87 Workshop on Real-Time Processing (0 replies, 03/23/87)

Seminar - NUPRL as a Framework for Defining Logics (0 replies, 03/23/87)

Summary of Best Lispm/WorkStation Responses (0 replies, 03/24/87)

Genetic Algorithms (0 replies, 03/24/87)

Seminar - Parallel Production System Algorithms (0 replies, 03/24/87)

Seminar - Natural Deduction Meets Schubert's Steamroller (0 replies, 03/25/87)

Policy - American Militarism (0 replies, 03/25/87)

Submission to mod.ai (0 replies, 03/25/87)

1986 AI Expert Sources (0 replies, 03/25/87)

censoring mod.ai ? (0 replies, 03/25/87)

Seminar - AI, Mathematical Programming, and VLSI Design (0 replies, 03/26/87)

AMERICAN-MILITARISM (0 replies, 03/26/87)

Seminar - Automating Theory Formation (0 replies, 03/27/87)

Censorship of AIList submissions (0 replies, 03/27/87)

Conferences - Simulation & Protocol Specification (0 replies, 03/27/87)

Review - Spang Robinson Report, March 1987 (0 replies, 03/27/87)

Symbolic Math List (0 replies, 03/27/87)

Impact of Information Services (0 replies, 03/27/87)

Seminar - Concept Learning (0 replies, 03/27/87)

AI militarism (0 replies, 03/27/87)

Oxymoron: Real-time Knowledge-Based Nurse/Nuclear Plant Operator (1 reply, 03/27/87)

Information request for object recognition papers. (0 replies, 03/27/87)

Explanation and Justification (0 replies, 03/27/87)

TMYCIN: Free EMYCIN-like ES Tool (0 replies, 03/28/87)

Info on Advanced Program ECOOP'87, June 15.-17. (0 replies, 03/28/87)

Newsletters for Neural Networks (0 replies, 03/28/87)

American Militarism (0 replies, 03/28/87)

ad hominem arguments (1 reply, 03/28/87)

Policy - CAD/CAM/Robotics/Vision (0 replies, 03/30/87)

AI Project Information Request (0 replies, 03/30/87)

How to FTP TMYCIN (0 replies, 03/30/87)

Battle Management at AAAI, mod.ai postings policy, "Militarism" (0 replies, 03/30/87)

TMYCIN code and Military AI (0 replies, 03/30/87)

Seminar - Argo: Analogical Reasoning for Design Problems (0 replies, 03/30/87)

Seminar - Decomposition for Hierarchical Problem Solving (0 replies, 03/31/87)

Special Postings and Digest Title (0 replies, 03/31/87)

Wanted:Info. on Tools which intelligently facilitate db retrieval (0 replies, 03/31/87)

7th generation computing proposal: basketball and AI (0 replies, 03/31/87)

AIList Digest V5 #92 (1 reply, 03/31/87)

Daemons (0 replies, 04/01/87)

What is the color of Clyde? (1 reply, 04/01/87)

Teaching Expert Systems (0 replies, 04/01/87)

Policy - Text Critiquing (0 replies, 04/02/87)

AI for Multisensor Fusion (0 replies, 09/25/90)