Particle Swarm Central
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: AI on the Web
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 ParSat: Parallel Satisfiability Algorithms and its Applications, funded by FCT iExplain: Reasoning About Unsatisfiability, funded by FCT Ines Lynce
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. Its aimed at people who want practical advice on using backprop.