Experience
Education
Bio
Carmel Domshlak is Associate Professor at the Faculty of Industrial Engineering and Management, Technion -- Israel Institute of Technology. He received his Ph.D. in computer science from Ben-Gurion University in 2002. During 2002-2004 he was a research associate in Computer Science Department at Cornell University. My primary research interest is in Artificial Intelligence (AI) computational and modeling problems, with an emphasis on interesting structure/complexity connections that can be found in different tasks of automated reasoning such as domain-independent planning, multi-agent system design, and user-centric information systems (via preferential reasoning). The recent focus of my work has been on heuristic-search planning, Monte-Carlo techniques for online planning in complex environments, planning for fault tolerance, and parametric complexity of various fragments of planning tasks. I am also getting more and more interested in foundations of planning for multi-agent systems. Tangentially, I am also interested in problems that lie on the boundary between computer science and social choice, e.g., various settins of rank aggregation, voting, recommendation, etc. (Disclaimer: my "research focus" appears to be quite a moving target as there are simply too many interesting questions ...) SELECTED PUBLICATIONS On ranking techniques for desktop search, (with S. Cohen and N. Zwerdling), ACM Transactions on Information Systems, to appear. Probabilistic planning via heuristic forward search and weighted model counting, (with J. Hoffmann), Journal of Artificial Intelligence Research, to appear. Graphically structured value-function compilation, (with R. Brafman), Artificial Intelligence, to appear. Efficient and non-parametric reasoning over user preferences, (with T. Joachims), User Modeling and User-Adapted Interaction, Special issue on Statistical and Probabilistic Methods for User Modeling, 17(1-2):41-69, 2007. Rank aggregation for schema matching, (with A. Gal and H. Roitman), IEEE Transactions on Knowledge and Data Engineering, 19(4):538-553, 2007. Hard and soft constraints for reasoning about qualitative conditional preferences (with S. Prestwich, F. Rossi, K. B. Venable, T. Walsh), Heuristics, 12(4-5):263-285, 2006. On graphical modeling of preference and importance (with R. Brafman, S. E. Shimony), Journal of Artificial Intelligence Research, 25:389-424, 2006.