Cc2001
thesis proposal
0 OWL-S: Brief Overview David Martin SRI International Chair, OWL-S Coalition Co-chair, Semantic Web Services Language Committee DARPA Distribution Statement.
AAAI-20061 of 20 Deconstructing Planning as Satisfiability A Revised Report Henry Kautz UW University of Rochester in collaboration with Bart Selman and.
Technology to Support Individuals with Cognitive Impairment Martha E. Pollack Computer Science & Engineering University of Michigan.
Using AI Planning to Automate the Performance Analysis of Simulators
Planning Algorithms
Sensor-Based Abnormal Human-Activity Detection Authors: Jie Yin, Qiang Yang, and Jeffrey Junfeng Pan Presenter: Raghu Rangan.
Using Problem Structure for Efficient Clause Learning Ashish Sabharwal, Paul Beame, Henry Kautz University of Washington, Seattle April 23, 2003.
Probabilistic Models in Human and Machine Intelligence.
A Description Logics Approach to Clinical Guidelines and Protocols Stefan Schulz Department of Med. Informatics Freiburg University Hospital Germany Udo.
Tradeoffs in Backdoors: Inconsistency Detection, Dynamic Simplification, and Preprocessing Bistra Dilkina, Carla Gomes, Ashish Sabharwal Cornell University.