About site: Artificial Intelligence - AI from TAU

Return to Computers also Computers

About site: http://www.tau.ac.il/humanities/philos/ai/links.html

Title: Artificial Intelligence - AI from TAU Extensive Artificial Intelligence links index from Tel-Aviv University, Israel. Created & maintained by Yossi Mamroud, TAU's Philosophy Department.

BeUnited_-_Open_Source_BeOS-compatible_Operating_System Organization that defines and promotes open specifications for Open Source BeOS-compatible Operating System (OSBOS) platform.

NextCom Source for notebooks, laptops, portable workstations, embedded computers, and on-line information to administer and use Solaris and Linux in mobile applications.

Apace_Systems Offers embedded industrial and networking applications with storage solutions.

Hugh_Meighan_and_Associates,_Inc_ Solutions for LAN, WAN, and MOBILE users. Thin client computing solutions, faxing, Internet, Web development, database programming, proprietary software development and project management.

Champ_Scan Providing bar code scanner engines, LCD or touch screen monitors to resellers.

University_of_Hull Department of Computer Science. Research groups: Visualization; Simulation and modelling; Neural, emergent and agent technologies; Distributed systems engineering.

Alexa statistic for http://www.tau.ac.il/humanities/philos/ai/links.html

Please visit: http://www.tau.ac.il/humanities/philos/ai/links.html

Related sites for http://www.tau.ac.il/humanities/philos/ai/links.html

American_Greetings Offers animated ecards and printable greeting cards for birthdays, social occasions and holidays such as Christmas, Valentine's Day, Easter and Mother's Day.

Trustfax Online fax to email services and secure online fax storage and management.

Steven_Michael_Studios Develops creative visual solutions, multimedia, digital video, commercial photography, graphic design and 3D modeling.

Computer_Generated_Solutions Full service systems integration consultancy.

Civic_Computing Civic Content Control lets authors and content specialists update web sites without the need for internet skills.

Clear_Solutions Resellers of Intuit Master Builder and Quickbooks Contractor Edition offer consulting for the construction industry.

Frequently_Asked_Questions_from_Newgroup_comp_sys_hp_hpux Contains the answers to Frequently Asked Questions (FAQ) seen in the Usenet newsgroups comp.sys.hp.hpux.

RFC_1854 SMTP Service Extension for Command Pipelining. N. Freed. October 1995.

RFC_1148 Mapping Between X.400(1988) / ISO 10021 and RFC 822. S.E. Kille. March 1990.

Matra Manufacture specializing in the extension and distribution of high resolution video over fiber optics.

Flashback_to_Command_Prompt Links to batch files and utililies to take advantage of 4DOS and Take Command.

Zephod\'s_Griff_Beta_Buzzmachines Beta machines that may or may not become rare.

Roaring_Penguin_Software_(PPPoE) PPPoE (Point-to-Point Protocol over Ethernet) is a protocol used by many ADSL Internet Service Providers. Roaring Penguin has a free client for Linux systems to connect to PPPoE service providers.

Spin_It_Again Records, cleans and transfers vinyl LPs & cassette tapes to CD or MP3 files.

SSL_com Provider of wildcard, single and multi-year warranted 128-bit SSL certificates for web servers.

PHP_Sessions_Introduction_[PHP_Freaks] PHP has a great set of functions that can achieve the same results of Cookies and more without storing information on the user's computer: PHP sessions. This is nearly 99% flawless in operation and it

GX_Concepts,_LLC Provides web design, multimedia design, PHP development and hosting for developers. Includes specialized PHPshop hosting for PHPshop Developers.

DocBook_In_ConTeXt How to produce a typeset version of a Docbook XML file.

kitox_com Various tools for AutoCAD.

pysqlite A Python interface using the SQLite embedded relational database engine that conforms to the Python Database API Specification 2.0. [Open Source, zlib/libpng license]

This is websites2007.org cache of m/ as retrieved on 2008.07.19 websites2007.org's cache is the snapshot that we took of the page as we crawled the web. The page may have changed since that time.

AI from TAU - Useful Links Artificial Intelligence: History, Philosophy and Practice

links>

Mirror Site (U.S.A.)

contact

Table of Contents

CategorySub category

History of AI

Philosophy of AI

Philosophy of AI Resources

Alan Turing

Kurt Gödel's Theorem

John McCarthy

Marvin Minsky

Searle, Strong AI & Weak AI

Connectionism

Logic

Logic Directories

Fuzzy Logic

Logic Journals

AI Programming Languages

LISP

Prolog

Logic Programming

AI Application Areas

Artificial Life

Data Mining

Expert Systems

Game Playing

Genetic Algorithms

Machine Learning

Natural Language Processing

Neural Networks / PDP

Robotics

Associations & Societies

Journals

Newsgroups

Courses

AI Courses

Philosophy of AI Courses

Bibliographies

AI Directories

AI and Computer Repositories

Links Indices

Dictionaries and Encyclopedias The History of AI Proposal for Dartmouth Summer Research Project on Artificial Intelligence. By J. McCarthy, M. L. Minsky, N. Rochester and C.E. Shannon. The History of Artificial Intelligence. From ThinkQuest's Introduction to the Science of Artificial Intelligence. History of Lisp. By John McCarthy. LISP History according to Herbert Stoyan's reading and analysis of the documents. History of Cybernetics and Systems Science. From Principia Cybernetica Web. Time line of Computing History. From the Institute of Electrical and Electronics Engineers. History of Calculating Machines ENIAC 50th Anniversary Celebration- The Birth of the Information Age Historic Computer Images The Computer Museum Pioneers of Computing. Part of The Virtual Museum of Computing (VMoC). IEEE Annals of the History of Computing (The full text of Annals is available to Computer Society members).Tools For Thought: The People and Ideas of the Next Computer Revolution (1985). An on-line book by Howard Rheingold. Charles Babbage (1791-1871) : The Babbage Pages Some links to information on Charles Babbage The Charles Babbage Institute of Computer History (CBI) Ada Byron, Lady Lovelace (1815-1852): Ada Byron King, Countess of Lovelace Ada Lovelace's Notes and The Ladies Diary Ada Lovelace Vannevar Bush (1890-1974): As We May Think (1945) Norbert Wiener (1894-1964): Biography Wiener: Ideas. From Cybermedia, by Mindy McAdams. Claude Shannon (1916 - ): Claude Shannon Biography Heroes of Cyberspace: Claude Shannon. by Charles A. Gimon.Alan Turing (1912-1954) - See below.John McCarthy - See below.Marvin Minsky - See below.Back to the table of contentsPhilosophy of AI

Philosophy of AI ResourcesPhilosophy of Artificial Intelligence - Part 4 of David Chalmers' remarkable Contemporary Philosophy of Mind: An Annotated Bibliography. See also in his Online papers on consciousness index, the links lists of Consciousness and artificial intelligence, The Chinese Room, Godel's theorem and AI, The Turing test and Philosophy of AI (misc.).Constructions of the Mind: Artificial Intelligence and the Humanities. A Special issue of Stanford Humanities Review that was devoted to the exploration of convergences and dissonances between Artificial Intelligence and the Humanities.Peter Suber's "Minds & Machines" collection of links.

Alan Turing Computing machinery and intelligence . By A. M. Turing. The Alan Turing Home Page. Maintained by Andrew Hodges. Turing Machines I and Turing Machines II. Both By Peter Suber.See also his impressive Logical Systems course home page. Turing Machine. From Stanford Encyclopedia of Philosophy. The Church-Turing Thesis. From Stanford Encyclopedia of Philosophy. Turing's World The Turing Test Home Page. By Ayse Pinar. Alan Turing. By Andreas Ehrencrona. See also the list of on-line papers on Turing test from David Chalmers' Online papers on consciousness. Home Page of The Loebner Prize--"The First Turing Test"

Kurt Gödel's Incompleteness Theorem The Implications of Gödel's Theorem (1998). By J.R. Lucas. Kurt Gödel and his Impact on A.I.. By Werner DePauli-Schimanovich. Mind Versus Gödel. By Damjan Bojadziev. The Life and Work of Kurt Gödel. By Christopher J. Brady. Gödel's Proof and Kurt Gödel in Blue Hill. By Peter Suber. The Kurt Gödel Society Gödel's Incompleteness Theorem. By William Denton.

John McCarthy Home Page. McCarthy's Programs with Common Sense (1958). The first paper ever on logical AI. (pdf version of the paper). LISP History according to McCarthy's memory in 1978. Some Philosophical Problems From the Standpoint of Artificial Intelligence (1969). On-line paper of John McCarthy and Patrick J. Hayes. (pdf version). Epistemological Problems of Artificial Intelligence. (pdf version). Ascribing Mental Qualities to Machines (1979). (pdf version). The Little Thoughts of Thinking Machines (1983). (pdf version). From Here to Human-level AI (1996). (pdf version). Concepts of Logical AI is a a collection of characterizations of various concepts of logical AI. (pdf version). Making Robots Conscious of their Mental States (1995). What is Artificial Intelligence?. John McCarthy gives non-technical answers to some frequently asked questions. (pdf version). Artificial Intelligence and Philosophy. (pdf version).

Marvin Minsky Home Page Matter, Mind and Models (1968/1995) Why People Think Computers Can't (1982) Communication with Alien Intelligence (1985) Logical vs.Analogical or Symbolic vs. Connectionist or Neat vs. Scruffy (1990) Conscious Machines (1991) Future of AI Technology (1992/1995) Will Robots Inherit the Earth? (1994)

Searle, Strong AI and Weak AI Is the Brain a Digital Computer?. By John Searle. Minds, Brains, and Programs. By John Searle.The Chinese Room Argument. From the Internet Encyclopedia of Philosophy.Minds, Machines and Searle (1989) and Other bodies, Other minds: A machine incarnation of an old philosophical problem (1991), both by Stevan Harnad. See also his list of e-prints on cognitive psychology. John R. Searle's Chinese room. A case study in the philosophy of mind and cognitive science.Searle's Chinese Box: The Chinese Room Argument and Artificial Intelligence (1993). A doctoral dissertation by Larry Hauser. See also Searle's Chinese Box: Debunking the Chinese Room Argument (1997), Why Isn't My Pocket Calculator a Thinking Thing and Acting, Intending, and Artificial Intelligence (1994) from the same author.The Mind as the Software of the Brain. By Ned Block.What is Functionalism? By Ned Block.minds and machines. By James H. Fetzer.Daniel C. Dennett's Consciousness in Human and Robot Minds (1994), Cog as a Thought Experiment (1995) and Did HAL Commit Murder? (1996). See also his Publications List.

Connectionism A Brief History of Connectionism. By David A. Medler. Connectionism & the Study of Change. BY Bates and Elman. Artificial Intelligence and Connectionism: Some Philosophical Implications. By Ivan M.Havel. Neural Networks, Connectionist Systems, and Neural Systems. From CMU Artificial Intelligence Repository.Neural Nets. By Kevin Gurney. Neural Networks. The official journal of the International Neural Network Society, European Neural Network Society and Japanese Neural Network Society.Back to the table of contentsLogic

Logic Resources Directories LogicAL : Logic, Philosophy, and Artificial Life Resources

Fuzzy Logic Fuzzy Logic, Applications and Related Areas. From LogicAL. Introduction to Fuzzy logic. From CFL. Quadralay Fuzzy Logic Archive Fuzzy Logic Sources of Information Fuzzy Logic and Neurofuzzy resources The Fuzzy Logic Laboratorium Japan Society for Fuzzy Theory and Systems Fuzzy Sets and Systems. Fuzzy Logic Reservoir. From Ortech Engineering Inc. comp.ai.fuzzy- Fuzzy Logic Newsgroup

Logic Journals Annals of Pure and Applied Logic The Bulletin of Symbolic Logic Journal of Logic and Computation Nordic Journal of Philosophical Logic Notre Dame Journal of Formal LogicBack to the table of contentsAI Programming Languages

Lisp An Introduction to Common Lisp. By Marty Hall. Common Lisp the Language, 2nd Edition. An on-line book by by Guy L. Steele. Lisp Tutor Common Lisp HyperSpec Lisp Programming. By Keith Downing. Lisp FAQ. From CMU's AI Repository. Lisp: Good News, Bad News and How to Win Big. By Richard P. Gabriel. Lisp Resources History of Lisp. By John McCarthy. LISP History according to Herbert Stoyan's reading and analysis of the documents The Association of Lisp Users LISP newsgroup: comp.lang.lisp

Prolog Prolog Resource Guide. From CMU's AI Repository. Adventure in Prolog. Published by Amzi! inc. Introduction to Prolog. Part of the course of C.A. Sammut & A. Sowmya from the University of New South Wales . Roman Bartak's On-line Guide to Prolog ProgrammingLogic Programming Links Index. From the Virtual Library . Prolog newsgroup: comp.lang.prolog

Logic Programming Journal of Logic Programming Association for Logic Programming (ALP) The Virtual Library Logic Programming Links Index Functional Logic Programming. By Michael Hanus. The Journal of Functional and Logic Programming The ESPRIT Network of Excellence in Computational Logic Constraints Archive Inductive Logic Programming. From Machine Learning Group, Oxford University.Back to the table of contentsAI Application Areas

Artificial Life Artificial Life Links. From AI lab, University of Zürich. Artificial Life Bibliography of On-line Publications. By Ezequiel A Di Paolo. Artificial Life and Genetic Algorithms Self-Reference in Biological and Cognitive Systems. Volume 12 Numbers 1-2 1995 of Communication and Cognition - Artificial Intelligence (CCAI). Evolutionary Systems and Artificial Life (Lecture Notes). By Luis M. Rocha. The origins of intelligence. Luc Steels. Artificial Life: Synthetic Versus Virtual (1993) By Stevan Harnad. See also his Levels of Functional Equivalence in Reverse Bioengineering: The Darwinian Turing Test for Artificial Life (1994). The Artificial Self-Replication Page. By Moshe Sipper. Intelligent Systems Excerpt from Introduction to Artificial Life. By Christoph Adami.

Data Mining The Data Mine. Provides information about Data Mining and Knowledge Discovery in Databases (KDD). Machine Discovery Terminology. By Willi Kloesgen & Jan Zytkow. Data Mining and Knowledge Discovery. A journal published by Kluwer Academic Publishers

Expert Systems Expert Systems Tutorial Expert System Shells FAQ. From CMU. PC AI - Expert Systems

Game Playing Game AI. By Steven Woodcock. Machine Learning in Games. By Jay Scott. Kasparov vs. Deep Blue: The Rematch. From IBM. news:comp.ai.games

Genetic Algorithms Nova Genetica The Genetic Algorithms Archive The Hitch-Hiker's Guide to Evolutionary Computation Genetic Algorithms FAQ The GP Notebook. By Jaime Fernandez. Introduction to Genetic Algorithms. By Matthew Wall. Genetic Algorithms

Machine Learning Machine Learning Resources. Maintained by David W. Aha. Online Machine Learning Resources. Maintained by the ML Group at the Austrian Research Institute for Artificial Intelligence (OFAI). MLnet. The Machine Learning Archive at GMD. UCI Machine Learning Repository Machine Learning Online. ML journal by Kluwer Academic Publishers. Machine Learning Bibliographies

Natural Language Processing Natural Language Processing Links Natural Language Processing. Ralf Brown's links index. Natural Language Processing FAQ Models of Natural Language Processing. Part of Semantic Content Analysis: A New Methodology for The RELATUS Natural Language Environment (1991). By John C. Mallery. Universal Grammar in Prolog. By Ray C. Dougherty. Connectionist Natural Language Processing. By James Hammerton.

Neural Networks / PDP Neural Nets. By Kevin Gurney. Neural Networks. The official journal of the International Neural Network Society, European Neural Network Society and Japanese Neural Network Society. A Brief History of Connectionism. By David A. Medler. Connectionism & the Study of Change. BY Bates and Elman. Artificial Intelligence and Connectionism: Some Philosophical Implications. By Ivan M.Havel. Neural Computing Surveys Neural Networks, Connectionist Systems, and Neural Systems. From CMU Artificial Intelligence Repository.

Robotics Robotics Links. From AI lab, University of Zürich Robotics Internet Resources Page. By Chris Connolly. BotSpot: The Spot for all Bots on the Net Robotics Frequently Asked Questions List. By Kevin Dowling. Robotics, Agent Modelling and Vision Research Groups and Resources. By Stephanie Warrick. Back to the table of contentsAssociations, Societies and Centers The American Association for Artificial Intelligence (AAAI) The Artificial Intelligence Honorary Society Association for Computing Machinery Canadian Society for Computational Studies of Intelligence (CSCSI) Center for Fuzzy Logic, Robotics and Intelligent Systems (CFL)European Coordinating Committee for Artificial IntelligenceInstitute for Information Technology, National Research Council of Canada The Institute for Logic, Language and Computation (ILLC) International Association for Artificial Intelligence and Law The International Joint Conferences on Artificial Intelligence (IJCAI) International Society of Applied Intelligence The Kurt Gödel Society SIGART- ACM Special Interest Group on Artificial IntelligenceBack to the table of contentsJournals Artificial Intelligence Communication and Cognition - Artificial Intelligence (CCAI). Journal of Artificial Intelligence Research. The Journal of Experimental and Theoretical Artificial Intelligence (JETAI) The Journal of Functional and Logic Programming Journal of Intelligent Systems Journal of Logic Programming Minds and Machines PC AIBack to the table of contentsNewsgroups comp.ai.ailife comp.ai.edu comp.ai.fuzzy comp.ai.games comp.ai.genetic comp.ai.jair.papers comp.ai.nat-lang comp.ai.neural-nets comp.ai.philosophy comp.ai.shells comp.cog-eng comp.constraints comp.lang.lisp comp.org.lisp-users comp.std.lisp comp.lang.prolog comp.lang.pop comp.simulation sci.cognitiveBack to the table of contentsCourses

AI Courses AI Courses List is one section of the (WWW) University Courses in Computer and Information Science Index at Temple University. College of Computing Web Classes Classroom 2000 captured lectures for cs3361 Spring 98. From Georgia Tech. MIT Course Number 6.824: Artificial Intelligence C463-4/563-4: Introduction to Artificial Intelligence. From Indiana University. Machine Learning, 15:681 and 15:781, Fall 1998. From Carnegie Mellon University.Computational Science Education Project.An electronic book for teaching Computational Science and Engineering.

Philosophy of AI and Logic Courses Minds and Machines. By Ned Block. Philosophy of Minds & Machines. By Peter Suber. Selmer Bringsjord's Courses/Course Material Logical Systems. By Peter Suber. Symbolic Logic By Peter Suber.Back to the table of contentsBibliographiesBibliographies from Alf-Christian Achilles' Collection of Computer Science Bibliographies: Bibliographies on Artificial Intelligence Bibliographies on Theory/Foundations of Computer Science Bibliographies on Logic ProgrammingBiblio, the ÖFAI's and IMKAI's library information systemArtificial Life Bibliography of On-line Publications. By Ezequiel A Di Paolo.Back to the table of contentsAI Directories

AI and Computer RepositoriesCMU Artificial Intelligence Repository - A very rich collection of files, programs and publications of interest to Artificial Intelligence researchers, educators, and students.The New Alife DatabasePC AIComputing research Repository. From Association for Computing Machinery (ACM)

Links IndicesAI on the Web- A comprehensive links directory contained in one page. Compiled by Stuart Russell & Peter Norvig, the authors of Artificial Intelligence: A Modern Approach. The page is divided into these links categories: | Overview of AI | Intelligent Agents | Search and Game Playing | Logic and Knowledge Representation | Planning | Reasoning with Uncertainty | Machine Learning | Natural Language Processing | Perception and Robotics | Philosophy and the Future | AI Programming | Highly Recommended Links | The Virtual Library Artificial Intelligence and Logic Programming directories.The Mining Co. Guide to Artificial Intelligence. By Denis Susac.Interesting Links. From AI lab, University of Zürich. Machine Learning Resources. Maintained by David W. Aha.Philosophy of Artificial Intelligence - Part 4 of David Chalmers' Remarkable Contemporary Philosophy of Mind: An Annotated Bibliography. See also in his Online papers on consciousness index, the links lists of Consciousness and artificial intelligence, The Chinese Room, Godel's theorem and AI, The Turing test and Philosophy of AI (misc.). Artificial Intelligence Resources Page. From the Institute of Information Technology.Back to the table of contentsDictionaries and EncyclopediasAn Introduction to the Science of Artificial Intelligence. Educational overview of Artificial Intelligence, created for ThinkQuest.Dictionary of Philosophy of Mind. By Chris Eliasmith (Ed.)The University of Alberta's Cognitive Science DictionaryFree On-Line Dictionary of Computing.Computational Science Education Project.An electronic book for teaching Computational Science and Engineering.PC Webopaedia- Online encyclopedia and search engine dedicated to computer technology.Computer Currents- High-Tech DictionaryTech Encyclopedia. From CMP net.Back to the table of contentsLast updated April 14, 2000

Created and maintained by Yossi Mamroud, Philosophy Department, Tel-Aviv University, Israel

Extensive	Artificial	Intelligence	links
index	from	Tel-Aviv	University,	Israel.
Created	&	maintained	by	Yossi
Mamroud,	TAU's	Philosophy	Department.

http://www.tau.ac.il/humanities/philos/ai/links.html

AI from TAU 2008 July

dvd rental

dvd

Extensive Artificial Intelligence links index from Tel-Aviv University, Israel. Created & maintained by Yossi Mamroud, TAU's Philosophy Department.

Rules

Recommended Sites: 1. Arts - Business - Computers - Games - Health - Home - Kids and Teens - News - Recreation - Reference - Regional - Science - Shopping - Society - Sports - World Miss Gallery - Top Anime Hentai - DVD rental by mail - Loans - Credit Card Consolidation - Car Insurance - Car Finance - Mortgage

2008-07-19 10:38:39

Copyright 2005, 2006 by Webmaster
Websites is cool :) 89Albergo New York - Hotel Dubai - Dvla - Hotels Sevilla - Nawadnianie