Particle Swarm Central. Shy Gypsy. AI on the Web. This page links to 820 pages around the web with information on Artificial Intelligence. Links in Bold* followed by a star are especially useful and interesting sites. Links with a + sign at the end have "tooltip" information that will pop up if you put your mouse over the link for a second or two. If you have new links to add, mail them to firstname.lastname@example.org. We hope you can find what you want in one of the following subtopics: Ines Lynce. Member of the Editorial Board of the Journal of Artificial Intelligence Research INESC-ID Young Researcher Award 2009APPIA PremeIA Award 2009UTL/Deloitte Young Researcher Award 2008 Research Interests: Artificial Intelligence, Constraint Satisfaction, Satisfiability, Formal Methods, Bioinformatics, Optimization, Knowledge Representation List of Publications (also available from DBLP) Citations available from Google Scholar profile, ACM profile and ResearcherID profile.
Research projects (ongoing) ASPEN: Answer Set Programming with BoolEaN Satisfiability, funded by FCT ATTEST: AlgoriThms and Tools for reasoning about dEpendable SysTems, funded by FCT. A. L. I. C. E. The Artificial Linguistic Internet Computer Entity - chatbot - chat bot - chatterbots - verbots - natural language - chatterbot - bot - chat robot - chat bots - AIML - take a Turing Test - Loebner Prize - Chatterbox Challenge - entertainmen. Backpropagator's Review. Purpose This document is something of a backprop FAQ, reading list (with a preference for online articles) and a summary of the state of the art.