<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2001-11-22 13:31:09Assertion definition language Software testing Action description language Anti-Defamation League Assertion Software architecture ADL Test Data Generation C Software engineering Computing Computer programming |
| The 14th IPA IT Symposium Oct, 1995 Assertion Defintion Language Project Research Results and Future Plans †DocID: 18PZH - View Document |
| R E ACT ! An Interactive Tool for Hybrid Planning in Robotics Zeynep Dogmus, Volkan Patoglu and Esra Erdem Faculty of Engineering and Natural Sciences, Sabancı University, ˙Istanbul, Turkey Email: {zeynepdogmus,vpatoglDocID: 18Lp3 - View Document |
| An Action Language for Reasoning about Beliefs in Multi-Agent Domains Chitta Baral and Gregory Gelfond Enrico Pontelli and Tran Cao Son Ira A. Fulton School of EngineeringDocID: 18jgb - View Document |
| Learning and Executing Generalized Robot PlansDocID: 17vXu - View Document |
| Microsoft PowerPoint - Planning final.pptDocID: 15sW7 - View Document |