Get flash to fully experience Pearltrees
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 email@example.com . We hope you can find what you want in one of the following subtopics:
Member of the Editorial Board of the Journal of Artificial Intelligence Research INESC-ID Young Researcher Award 2009 APPIA PremeIA Award 2009 UTL/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
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.