Research links

Research links

General

Professional societies: ACM, EATCS, ECCAI
CS publications: CiteSeer, Google Scholar, ACM Portal
Electronic journals etc: Journal of AI Research, The Computing Research Repository (CoRR) SIGACT News quotes,
Current conferences: IJCAI 2007 AAAI-07 AAAI-08 ECAI'08 PRICAI'08 ICAPS: 08 from SIGART
Ian Parberry's instructions for doing everything, advice on research and writing
On-Line Encyclopedia of Integer Sequences

AI Planning

Leading research groups:
Fundamental research topics in planning:
- Heuristics for planning: Bonet Geffner Haslum
- Logical (SAT/QBF) approaches: Darwiche Kautz Rintanen Selman
- Heuristic search algorithms: Bonet Geffner Hansen Zilberstein
Everybody: Jose-Luis Ambite J. Christopher Beck Blai Bonet Daniel Borrajo Craig Boutilier Tom Bylander Amedeo Cesta Alessandro Cimatti Tom Dean Yannis Dimopoulos Patrick Doherty Edmund Durfee Zhengzhu Feng Hector Geffner Alfonso Gerevini Bob Givan Judy Goldsmith Lloyd Greenwald Eric Hansen Patrik Haslum Milos Hauskrecht Adele Howe Froduald Kabanza Leslie Pack Kaelbling Subbarao Kambhampati Henry Kautz Sven Koenig Michael Littman Drew McDermott Dana S. Nau Ron Parr Joelle Pineau Martha Pollack Patrick Prosser Bart Selman Reid Simmons David E Smith Stephen F Smith Sylvie Thiebaux Paolo Traverso Manuela Veloso Daniel S. Weld Michael Wellman Hakan Younes Shlomo Zilberstein
Benchmarks from the planning competitions: AIPS'98, AIPS'00
MDP resources: Anthony Cassandra's POMDP page Michael Littman's POMDP Page Martin L. Puterman' Research Page Linear Programming FAQ
Scheduling links: Edinburgh Vienna
Companies: On Time Systems, Inc.
Planning courses: Rintanen (U Freiburg), Simmons & Veloso (CMU), Geffner (RWTH Aachen), Nau (UMD), LaValle (UIUC), Pandurang Nayak (Stanford), Pandurang Nayak, Blythe & Knoblock (ISI)

SAT/CSP, automated reasoning

People: Parosh Aziz Abdulla Fahiem Bacchus Roberto Bayardo Max Böhm Ronen Brafman Randall Bryant Tevfik Bultan James Crawford Adnan Darwiche Rina Dechter Paul E. Dunne John Franco Ian Gent Enrico Giunchiglia Matthew Ginsberg Jan Friso Groote Edward Hirsch John Hooker Holger Hoos Jon Kleinberg Oliver Kullman Chu Min Li Fabio Massacci Ilkka Niemelä João P. Marques-Silva David Mitchell Andrew Parkes David A. Plaisted Pat Prosser Thomas Schiex Mark Stickel Ofer Strichman Miroslav Velev Gérard Verfaillie Joachim Walser Toby Walsh Hantao Zhang constrainedness in Strathclyde See also: Operations research people (or OR in general)
Links and resources: SAT Live!, QBFLIB,
Benchmarks: DIMACS Challenges, IFIP WG10.5 Benchmark Circuits Beijing 1996 benchmarks CSPLib
Programs: RSAT MiniSAT, zChaff, Siege, BerkMin, SatELite, BCSat, HeerHugo ancient: POSIT, tableau, GRASP/CGRASP,
Applications:
- Molecular Biology: C. Gaspin, C. Bessière, A. Moisan et T. Schiex, Satisfaction de contraintes et biologie moléculaire, Revue d'Intelligence Artificielle, 1995.

Verification, Reactive systems

People: Rance Cleaveland, Armin Biere David Dill, Orna Grumberg Gerard Holzmann Holger Hermanns Marta Kwiatkowska Kenneth McMillan Moshe Vardi M.N. Velev CMU model-checking Stony Brooks model-checking
BDD model checkers: VIS SMV
BDD packages: CUDD, CAL BDD, Buddy
Companies: Prover Technology AB

Controller/program/circuit synthesis

A Comparative Study of Synthesis Methods for Discrete Event Controllers
references: Ratnesh Kumar and Vijay K. Garg, Optimal Supervisory Control of Discrete Event Dynamical Systems, SIAM Journal on Control and Optimization, Volume 33, Number 2
People: Adnan Aziz Shih-Chieh Chang Maciej Ciesielski Oded Maler Hiroshi Sawada Joseph Sifakis Daltrini Froduald Kabanza Bengt Lennartson Joseph Prosser W. M. Wonham Howard Wong-Toi

Complexity theory

(The following restricts to people who have published on very specific topics that have been of importance to me.)

Computational Game Theory, Multiagent Systems and Distributed Artificial Intelligence

People: Edmund H. Durfee Sarit Kraus Daphne Koller Maja J. Mataric Tuomas Sandholm Yoav Shoham Moshe Tennenholz Michael Wellman
Research groups
- M. Wooldridge's DAI/MAS bookmarks
- Resource Bounded Reasoning at Amherst
General game theory resources:

August 2005 Jussi Rintanen