Tarmo Uustalu's Agent Logics Links

This is a collection of links to sites containing material about or relating to Agent Logics, as studied in philosophical logic and logic in AI.

Some review papers available online in hypertext

• M Wooldridge, N Jennings, Intelligent Agents: Theory and Practice, Knowl Eng Reviews, 10(2):115-152, 1995
• H S Nwana, Software Agents: An Overview, Knowl Eng Reviews, 11(3):205-244, 1996

Some online encyclopaedic material

• MIT Encyclopaedia on Cognitive Science
• Washington U in St Louis Dictionary of Philosophy of Mind

Conferences

• IWDAI - Int Workshops on Distrib Artif Intell
• ATAL ("Intelligent Agents") - Int Workshops on Agent Theories, Architectures, and Languages
• MAAMAW ("Decentralized Artif Intell") - Europ Workshops on Modelling Auton Agents in Multi-Agent Worlds
• ICMAS - Int Confs on Multi-Agent Systems [IEEE]
• AGENTS - Int Confs Autonomous Agents [ACM]
• PAAM - Int Confs and Exhibitions on the Practical Applications of Intelligent Agents and Multi-Agent Systems
• KR - Int Confs on Knowledge Representation and Reasoning
• TARK - Confs on Theor Aspects of Rationality and Knowledge (previously Reasoning about Knowledge)
• JELIA - European Workshops on Logics in Artif Intell
• ECAI - European Confs on Artif Intell
• AAAI - (American) Nat Confs on Artif Intell
• IJCAI - Int Joint Confs on Artif Intell

Journals

• Autonomous Agents and Multi-Agent Systems: International Journal [Kluwer]
• Knowledge Engineering Review [CUP]
• Artificial Intelligence [Elsevier]
• AI Magazine [AAAI]

Books

• A S Rao and M J Wooldridge (eds), Foundations of Rational Agency, vol 14 of Applied Logic Series, Kluwer, 1999
• J Ferber, Multi-Agent Systems: An Introduction to Distrib Artif Intell, Addison Wesley, 1999
• G Weiss (ed), Multiagent Systems: A Modern Approach to Distrib Artif Intell, The MIT Press, 1999
• N R Jennings and M J Wooldridge (eds), Agent Technology: Foundations, Applications, and Markets, Springer-Verlag, 1998
• M N Huhns, M P Singh (eds), Readings in Agents, Morgan Kaufmann Publishers, 1997
• G M P O'Hare and N R Jennings (eds), Foundations of Distrib Artif Intell, Sixth-Generation Computer Technology Series, Wiley-Interscience (J Wiley & Sons), 1996

Portals, Repositories

• Intelligent Software Agents, by Tim Finin at UMBC
• Mike Wooldridge's Bookmarks
• Heikki Helin's Software Agents Pages
• Agent-Based Computing, by Sverker Janson
• Mark Noschang's Agents Reference Page
• Agency, by Serge Stinckwich
• Olivier Baujard's Agent and Artificial Life Related Pointers
• CITE - Elsevier's Computational Intelligence Website

Networks, Associations

• AgentLink - Europe's Network of Excellence for Agent-Based Computing
• The Agent Society
• FIPA - Foundation for Intelligent Physical Agents

People

• James Allen
• Randall Beer
• Nuel Belnap
• Brian Chellas
• Phil Cohen
• Ho Ngoc Duc
• Ed Durfee
• Ron Fagin
• Jacques Ferber
• Mike Fisher
• Mel Fitting
• Barbara Grosz
• Joe Halpern
• Pat Hayes
• David Israel
• Nick Jennings
• Kurt Konolige
• Christen Krogh
• Gerhard Lakemeyer
• Yves Lesperance
• Pattie Maes
• John McCarthy
• Marvin Minsky
• Jean-Pierre Müller
• Martha Pollack
• Stuart Russell
• Yoav Shoham
• Munindar Singh
• Aaron Sloman
• Richmond Thomason
• Raimo Tuomela
• David Traum
• Bernd van Linder
• Moshe Vardi
• Gerhard Weiss
• Mike Wellman
• Mike Wooldridge

Research, Development Groups

• Software Agents Group, MIT Media Lab (Maes, etc)
• Multi-Agent Systems Lab, U Mass (Lesser, etc)
• Experimental Knowledge Systems Lab, U Mass (Paul Cohen, etc)
• Distrib Intelligent Agents Group, U Michigan (Durfee, etc)
• SOAR Group, U Michigan, and other SOAR Groups
• Logic Group, Stanford U (Genesereth, etc)
• Nobotics Group, Stanford U (Shoham, etc)
• Knowledge Systems Lab, Stanford U (Feigenbaum, Fikes, Hayes-Roth, etc)
• Intelligent Software Agents Group, CMU (Sycara, etc)
• Autonomous Agents Research Group, Case Western Reserve U (Beer, etc)
• Intelligent Agents Project, IBM T J Watson Research
• Softbots - Intell Software Agents for the Internet, U Washington
• Cognitive Robotics Group, U Toronto (Levesque, etc)
• Research Group in Multi-Agent Systems, U Laval (Chaib-draa, etc)
• Australian AI Institute (Rao, Georgeff, etc)
• Intelligent Agent Lab, Melbourne U (Sterling, Sonenberg, etc)
• DAI Group, Hebrew U (Rosenschein, etc)
• DAI Research Unit, Queen Mary and Westfield College, London (Jennings, Wooldridge, etc)
• Agents Research Programme, British Telecom Labs (Nwana, etc)
• Cognition and Affect Project, U Birmingham (Sloman, etc)
• Artificial Societies Group at U Essex (Doran, etc)
• MAGMA Group, Leibniz Lab, IMAG-Grenoble (Demazeau, etc)
• Theme Oasis, LIP6, Paris
• Knowledge-Based Systems Group, RWTH Aachen (Lakemeyer, etc)
• Deduction and Multi-Agent System Lab, DFKI-Saarbrücken (Siekmann, Klaus Fischer, etc)
• Cooperative Distrib Problem Solving Research Group, U Maine (Roy and Elise Turner, etc)
• DAI-Lab, TU Berlin
• Intelligent Software Agents and New Media Group, ÖFAI, Vienna
• Societies of Computation Group, University College of Karlskrona/Ronneby