 |
EIGHTEENTH INTERNATIONAL
JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE august 9 to 15, 2003 |
Workshop on
August 10, 2003 - Acapulco, Mexico.
|
|
Selected Papers (in order of submission) |
| Zhongdong Huang, Vigyan Chandra, Shengbing Jiang and Ratnesh Kumar Diagnosis of Discrete Event Systems in Rule-based Model using First-order logic Stefan Edelkamp and Tilman Mehler Byte Code Distance Heuristics and Trail Direction for Model Checking Java Programs Alberto Lluch Lafuente Symmetry Reduction and Heuristic Search for Error Detection in Model Checking Sieuwert van Otterloo, Wiebe van der Hoek and Michael Wooldridge Model Checking a Knowledge Exchange Scenario Richard E. Korf Delayed Duplicate Detection Dan Lawesson, Ulf Nilsson and Inger Klein Fault isolation using automatic abstraction to avoid state space explosion Gregory Batt, Hidde de Jong, Johannes Geiselmann and Michel Page Analysis of Genetic Regulatory Networks : A Model-Checking Approach Zhengzhu Feng, Shlomo Zilberstein and Eric A. Hansen Symbolic Real-Time Dynamic Programming Seung H. Chung and Brian C. Williams A Factored Symbolic Approach to Reactive Planning Alessandro Armando, Luca Compagna and Pierre Ganty SAT-based Model Checking of Security Protocols Piergiorgio Bertoli, Alessandro Cimatti and Paolo Traverso Interleaving Execution and Planning via Symbolic Model Checking |