Bookmarks for Mike Wooldridge
Meta Agent Pages
- Agent Construction Tools
- AgentLink: A Network of Excellence for Agent-Based Computing
- The @gency
- Agent-Based Computational Economics
- Agents Mailing List
- BotSpot (tm)
- Cetus Links on Mobile Agents
- DAI list archive
- <a>Agent-Related People
x-collapsed=x-collap
- Intelligent Agents WWW sites
- Tim Finin's Intelligent Software Agents page
- (Recommended!)
- Mobility Mailing List
- MultiAgent Systems
- Software Robots Mailing List
- UMBC Agent Web
Agent People
- Agre, Phil
- Albayrak, Sahin
- Baral, Chitta
- Bates, Joe
- Belnap, Nuel
- Beer, Randall
- Benthem, Johan van
- Binmore, Ken G.
- Bonasso, R. Peter
- Brazier, Frances
- Briot, Jean-Pierre
- Brooks, Rodney
- Castelfranchi, Cristiano
- Cesta, Amedeo
- Chaib-draa, B.
- Cheyer, Adam
- Ciancarini, Paolo
- Cliff, Dave
- Cohen, Paul
- Cohen, Phil
- Conte, Rosaria
- Decker, Keith
- Demazeau, Yves
- d'Inverno, Mark
- Dix, Juergen
- Dorigo, Marco
- Dragoni, Aldo Franco
- Drogoul, Alexis
- Durfee, Edmund H.
- Edwards, Pete
- Elliott, Clark
- Etzioni, Oren
- Fagin, Ron
- Firby, R. James
- Fischer, Klaus
- Fisher, Michael
- Franklin, Stan
- Gmytrasiewicz, Piotr
- Georgeff, Michael P.
- Gini, Maria
- Goldman, Claudia
- Gray, Michael A.
- Grosz, Barbara J.
- Gustavsson, Rune
- Guttman, Guttman
- Hagg, Staffan
- Halpern, Joseph Y.
- Hankin, Chris
- Hayes-Roth, Barbara
- Hewitt, Carl
- Hexmoor, Henry
- Hoek, Wiebe van der
- Huang, Zhisheng
- Huhns, Michael N.
- Ingrand, Felix Francois
- Ishida, Toru
- Janson, Sverker
- Jennings, Nick
- Johnson, Lewis
- Jones, Andrew
- Kautz, Henry
- Kendall, Liz
- Klusch, Matthias
- Koller, Daphne
- Konolige, Kurt
- Kortenkamp, David
- Kraus, Sarit
- Krulwich, Bruce
- Lander, Susan
- Lange, Danny
- Lesser, Vic
- Levesque, Hector
- Lieberman, Henry
- Lind, Juergen
- Littman, Michael
- Luck, Michael
- Maes, Pattie
- Malone, Thomas W.
- Mataric, Maja J.
- Meyden, Ron van der
- Meyer, John-Jules
- Mueller, Joerg P.
- Murphy, Robin
- Musliner, David
- Myers, Karen L.
- Parunak, Van
- Pell, Barney
- Petrie, Charles J.
- Pollack, Martha E.
- Pollock, John L.
- Reiter, Ray
- Rhodes, Brad
- de Rijke, Maarten
- Rosenbloom, Paul
- Rosenschein, Jeff
- Russell, Stuart
- Sandholm, Tuomas
- Schroeder, Michael
- Sen, Sandip
- Shanahan, Murray
- Shehory, Onn
- Sierra, Carles
- Simmons, Reid
- Singh, Munindar P.
- Sloman, Aaron
- Subrahmanian, V. S.
- Sycara, Katia
- Tambe, Milind
- Tennenholtz, Moshe
- Tidhar, Gil
- Tokoro, Mario
- Tolksdorf, Robert
- Trappl, Robert
- Traum, David
- Treur, Jan
- Tuomela, Raimo
- Veloso, Manuela
- Vulkan, Nir
- Wagner, Tom
- Wegner, Peter
- Weiß, Gerhard
- Weld, Dan
- Wellman, Michael
- Wooldridge, Michael
- Zlotkin, Gilad
- <a>AI People
x-collapsed=x-collap
AI People
- Fikes, Richard
- Israel, David
- Lifschitz, Vladimir
- McCarthy, John
- Minsky, Marvin
- <a>Formal Methods/Logic People
x-collapsed=x-collap
- Wilkins, David E.
Logic/Formal Methods People
- Computer Science People
- Formal Methods Peple
- Mathematical Logic People
- Clarke, Ed
- Emerson, E. Allen
- Gordon, Mike
- Grumberg, Orna
- Harel, David
- Kozen, Dexter
- Lamport, Leslie
- Manna, Zohar
- Moses, Yoram
- Pnueli, Amir
- Vardi, Moshe Y.
- <a>Agent-Related Labs/Groups
x-collapsed=x-collap
Agent Groups
- Agent Building Shell @ Uni of Toronto
- Agents Group @ MIT Media Lab
- Agent-Based Markets @ SICS (Sweden)
- Agent-mediated Electronic Commerce @ MIT Media Lab
- Artificial Intelligence @ SRI
- Autonomous Agents Research Group @ CWRU
- Boids - Flocks and Herds - a distributed behavioral model
- Intelligent agents @ British Telecom
- Cognitive Robotics Group @ U. of Toronto, Canada
- Collaborative Agent Technology (CATS) @ UMD
- Coordination Science @ MIT
- Intelligent Web Agents @ Houston
- DAI @ Hebrew University, Israel
- DAI Unit @ QMW, London
- DIS Lab @ UMASS
- Distributed Intelligent Agents Group @ UMich
- Design Research Center @ Stanford
- Dynamics of Computation Group @ PARC
- Economic Learning & Social Evolution @ UCL, London
- Enterprise Integration Laboratory @ Toronto Uni.
- Flexx Project @ Durham
- Foundation of ComputerScience @ Edinburgh, UK
- Intelligent agents @ Melbourne, Oz
- Intelligent agents @ Trinity College Dublin
- Intelligent Software Agents by Sverker Janson
- IP-CNR @ Rome, Italy
- KIMSAC - EU ACTS project
- Knowledge Systems Laboratory @ Stanford
- Learning in MAS @ UMASS
- Logic Group @ Stanford
- MAGMA Group @ LIFIA/IMAG
- Market-Oriented Programming @ UMich
- ModelAge - Formal models of agents
- MAS @ DFKI, Germany
- Multi-Agent Systems Group @ Maastricht Uni.
- MultiAgent Systems @ U Texas/Arlington
- Nobotics Group @ Stanford
- OZ project @ CMU
- SOAR Project @ ISI
- Software Agents @ CMU
- <a>Agent-Related Companies & Commercial Products
x-collapsed=x-collap
Agent Companies
- Agent Technologies, Inc. Homepage
- Agentis (Australia)
- Agent-Oriented Software Pty (Australia)
- AgentSoft (Israel)
- Agent Technologies Corp (USA)
- Agorics (USA)
- Australian AI Institute (Australia)
- Blackboard Technology, Inc. (USA)
- Broadcom (Ireland)
- Cyberlife (UK)
- Cycorp, Inc. (USA)
- EnerSearch (Sweden)
- Epistemics (USA)
- Extempo (USA)
- Frictionless Commerce (USA)
- Hewlett Packard Labs Bristol
- InfoSleuth project @ MCC
- Intelligent Reasoning Systems' Homepage
- IONA (Eire)
- Knowbot System Software - Version 1.0 alpha 2
- Nortel Networks: Products & Services - Announcements - FIPA-OS
- Orincon
- Reactive Agents Project @ Teleos Research
- Reticular Systems, Inc.
- Riverland (Belgium)
- Agents @ Rock Island Arsenal
- Intelligent Agents @ YourCommand (!)
- <a>Agent Societies
x-collapsed=x-collap
Agent Conferences and Workshops
- Agent-mediated Electronic Commerce
- Agents World 98
- Autonomous Agents 2001
- Autonomous Agents '99
- Autonomous Agents '98
- ATAL-98
- ATAL-97
- CIA-98 Workshop
- Coop'98 - Design of Cooperative Systems
- Cooperative Info Systems (CoopIS'98)
- Coordination 99
- HICSS-32 Mini-Track on Software Agents
- ICMAS'98 Home Page
- Information and Computation Economies - 1st International Conference
- MAAMAW-97
- PAAM99
- PAAM98
- Socially Situated Intelligence
- TARK Home Page
- Transportable Agents - Dartmouth Workshop
- WET ICE '97: Collaborative Agents in Distributed Web Applications
- <a>Other conferences of interest
x-collapsed=x-collap
Related Conference and Workshops
- IJCAI-01 - International Joint Conferences on Artificial Intelligence
- AI Conferences and Publications Page
- Artificial Intelligence Planning Systems 1998 (AIPS-98)
- CHI Conference
- ECAI 2000
- ECAI-98: European Conference on AI
- ESSLLI-98: Call for Proposals
- Future of AI and the Internet (IJCAI '97)
- JELIA'2000
- JELIA '98: Logic in AI
- KR'98 Home Page
- UK Planning and Scheduling Special Interest Group
Agent Software Resources: Tools, Languages
- Agent Construction Tools
- AgentBuilder
- Agent Collaboration Language Project
- CMUnited RoboCup-98 Simulator Team Page
- The Zeus Agent Building Toolkit Home Page
- Cognitive/Agent Architecture
- Complexity of Cooperation, Robert Axelrod
- DA-SoC testbed for Windows
- Game Theory -- History
- Genetic Programming Resources
- Object Rexx
- Obliq
- <a>Object Management Group (OMG) Agents Stuff
x-collapsed=x-collap
- Object Management Group (CORBA)
- PRS-CL
- http://shinjuku.genmagic.com/~cynthia/mafeval/submission/draft7/
- Jini(tm) Technology Grants the Ultimate Wish
- Soar @ UMich -- FAQ
- AAAI 97 Tutorial: Agent Development in Soar
- SodaBot @ MIT
- <a>Agent Communication Languages
x-collapsed=x-collap
- The Swarm Simulation System
- The ARPA Knowledge-Sharing Effort
Agent Communication Languages
- KQML: The Knowledge Query and Manipulation Language
- <a>Tcl/Safe-Tcl
x-collapsed=x-collap
- KIF: The Knowledge Interchange Format
Agent Programming Languages
- Agent-Tcl
- Tcl
- Safe-Tcl
- Agent Construction Tools
- IBM Intelligent Agents
- x-collapsed=x-collap
- Ontolingua: A Tool for Developing Ontologies
- What is an ontology?
- Python
- ScriptX
- The SodaBot Home Page
- UM-PRS -- C++ Version of PRS
- The Network - Programme One (radio programme about agents)
- <a>JAVA!
x-collapsed=x-collap
<a>About Java
Agent Societies & Standardisation Efforts
- The Agent Society
- FIPA - Foundation for Intelligent Physical Agents
- x-collapsed=x-collap
- German DAI SIG (Gesellschaft für Informatik Fachgruppe 1.1.6: Verteilte KI)
- OMG Agent Working Group
- RoboCup Official Site
- UK Multi-Agent Systems SIG (FoMAS)
AI & Other Societies
- AI & Simulation of Behaviour (UK)
- American Association for Artificial Intelligence
- Association for Symbolic Logic
- European Coordinating Committee on AI
- <a>Agent-Related Conferences & Workshops
WWW Agents
- General Magic, Inc. (Telescript manufacturers)
- Autonomy
- BargainFinder from Andersen (?)
- Cipher HomePage
- Highlights - client-side agent from Tierra Communications
- IBM Web Browser Intelligence
- InTEXT - WWW search tools
- Intraspect - Knowledge management systems
- Jango from Netbot
- NetscapeWorld - Agents
- Newbot from Wired
- Searchbots from UMass
- Secret Agent from Ariel
- Taxi - internet assistent
- TechTools -- Offline Web Agents
- WebCompass from Quarterdeck
- WiseWire Corporation
- <a>Publishers
x-collapsed=x-collap
- Times Higher Education Supplement Internet Service
Agent-Related Journals
- Autonomous Agents and Multi-Agent Systems
- Artificial Societies and Social Simulation Journal
- Complexity
- Emergence: A Journal of Complexity Issues in Organizations and Management
Other Journals of Interest
- ACM Trans on Computational Logic
- Annals of Mathematics and Artificial Intelligence
- Applied AI Jnl
- Artificial Intelligence
- E-Commerce Journal
- Formal Aspects of Computing Journal (FACS)
- IEEE Concurrency
- IEEE Evolutionary Computing
- IEEE Expert Online
- IEEE Intelligent Systems
- IEEE Internet Computing
- Intelligent Data Analysis
- IGPL
- Jnl of Applied Non-Classical Logics
- Jnl of AI Research (JAIR)
- Jnl of Software Eng. & Knowledge Eng.
- PSYCHE: an interdisciplinary journal of research on consciousness
- WWW Journal
Agent-related books
- A Collection of Computer ScienceBibliographies
- Clarifications and Additions for AI: A Modern Approach
- Agent-related book list
- Agent Technology
- The Complexity of Cooperation : Agent-Based Models of Competition and Collaboration (Princeton Studies in Complexity)
- Intelligent Agents - Theories, Architectures, and Languages
- Intelligent Agents IV
- Readings in Agents
- Reasoning about Rational Agents
Digital Libraries, Information & Knowledge Management
- FirstFloor Software: Delivering on the promise of the Web
- International Journal of Digital Libraries
- Paying Their Way: Digital Libraries for the 21st Century
- Internet/|Scientific American Report
- Stanford University Electronic Library
- D-Lib Magazine
- <a>Software Engineering
x-collapsed=x-collap
- Ei Compendex*Plus
- Online access to INSPEC
- Welcome to PLS
- Inso Corporation OEM Products
- The Iconovex Corporation
- FreeLoader, Inc.
- Lanacom Headliner
- CompassWare Home
- Tympani Development
- Folio Corporation Home Page
- Xilinx Home Page
Push Technology
- Castanet from Marimba
- Netcaster from Netscape
- Distribution and Replication Protocol (marimba + netscape)
Software Engineering
- Software Engineering Archives
- Software Engineering Net Resources
Various Publishers
- Addison Wesley Longman
- Baltzer Science Publishers
- MIT Press
- Morgan Kaufmann Publishers
- Springer-Verlag Berlin/Heidelberg
JAVA!
Intelligent Agents Java Software
- JAM -- Java BDI System
- Java Interface for Prolog
Mobile Agent Java Software
- Aglets Workbench from IBM
- <a>Ontologies
x-collapsed=x-collap
- AJANTA: Home Page
- Concordia - Mitsubishi Mobile Java Agents
- The World of Jinni
- Odyssey - GenMagic Mobile Java Agents
- Programming Mobile Agents in Java
- Plangent - Intelligent mobile agents
- Voyager - An Agent Java System by Object Space
- <a>Java Books, Applet Sites & Other Stuff
x-collapsed=x-collap
Other Java Agent Systems
- Jess, the Java Expert System Shell
- Bits & Pixels Intelligent Agents
- Java Agent Template (JAT)
- JKQML: Another technology from alphaWorks by IBM
- JMT(Java-based Moderator Templates)
About Java - free guides, FAQ, ...
- Java(tm) Home Page
- The Java Tutorial
- The Java Language Specification
- comp.lang.java FAQ
- Draft Java Coding Standard
Java Books
- Java Book Series from Addison-Wesley
- Hot Books!
- Marimba - Bongo, Castanet & other Java products
- SunTest - testing applets
- JavaWorld - Java magazine
LINUX
- Linux Technical Support
- Redhat LINUX
- Allegro Common LISP -- free for LINUX
- <a>Digital Libraries
x-collapsed=x-collap
- Star Division - International Homepage
Search Engines
- MetaCrawler
- Lycos UK and Ireland
UML
- UML Center
- UML Reference
- Cetus Links: 15,763 Links on Objects and Components / Unified Modeling Language (UML)
- UML Documentation Resources
- UML Summary - Scope of the UML
- csc320
- Index of /tutorial/doc/uml
XML (Xtensible Markup Language)
- Frequently Asked Questions about the Extensible Markup Language
- Extensible Markup Language (XML)
- 20 questions on XML
Grid Computing
- Grid Computing Info Centre: GRIDInfoware
Model Checking
- The SMV System
- Model Checking @ CMU
- Spin Model Checker @ Bell Labs
Funding Bodies
- Welcome to CoABS
- DARPA Agent Mark Up Language (DAML)
- EPSRC Grants on the Web enquiries - results
- EPSRC Home page
- Esprit Programme Home Page
- Compulog Net Home Page
- ISO World Programs
- DARPA Agent-based Computing
Other Resources
- Going on holiday: Currency rates
- Bibliographies on Artificial Intelligence
- Complexity Related Links
- Computing Research Repository (CoRR)
- Philosophy of Action Bibliography
- Planning Resources
- ACM SIG Conference Manual - Table of Contents
- SunSITE Northern Europe at the Department of Computing, Imperial College, London.