Modeling and Programming Devices and Web Agents

  title={Modeling and Programming Devices and Web Agents},
  author={Sheila A. McIlraith},
This paper integrates research in robot programming and rea soning about action with research in model-based reasoning about p hysical systems to provide a capability for modeling and programming devices a nd web agents, which we termmodel-based programming . Model-based programs are reusable high-level programs that capture the procedural knowledge of how to accomplish a task, without specifying all the deviceand web-ser vic -specific details. Model-based programs must be instantiated in the… CONTINUE READING
Highly Cited
This paper has 17 citations. REVIEW CITATIONS
10 Citations
18 References
Similar Papers


Publications citing this paper.
Showing 1-10 of 10 extracted citations


Publications referenced by this paper.
Showing 1-10 of 18 references

Knowledge in Action: Logical Foundations for Describing an d Implementing Dynamical Systems

  • R. Reiter
  • 2000
Highly Influential
4 Excerpts

A closed-form solution to the ramification problem (sometimes).Artificial Intelligence

  • S. McIlraith
  • 2000
1 Excerpt

D . Smith and C . Green . Towards Practical Application of Software Synthesis

  • T. Pressburger
  • Proceedings of FMSP ’ 96 , the First Workshop on…
  • 2000

Towards a Formal Account of Diagnostic Problem Solving

  • S. McIlraith
  • PhD thesis, Department of Computer Science,
  • 1997

Generating fa ult trees from fmea

  • C. Price, M. Wilson, J. Timmis, C.Cain
  • InProceedings of the Seventh International…
  • 1996

Similar Papers

Loading similar papers…