Modeling and programming devices and web agents

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1871, Issue , 2001, Pages 63-77

  McIlraith, Sheila A ^a  

^a Stanford University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CALCULATIONS; COMPUTER SOFTWARE REUSABILITY; LOGIC PROGRAMMING; MODELING LANGUAGES; ROBOT PROGRAMMING; WEB SERVICES;

COMPONENT FAILURES; HIGH-LEVEL PROGRAM; MODEL-BASED PROGRAMMING; MODEL-BASED REASONING; PROCEDURAL KNOWLEDGE; REASONING ABOUT ACTIONS; SITUATION CALCULUS; STATE CONSTRAINTS;

SOFTWARE AGENTS;

EID: 33845351433     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45484-5_5     Document Type: Conference Paper

References (18)

1. W. Burgard, A.B. Cremers, D. Fox, D. Haehnel, G. Lakemeyer, D. Schulz, W. Steiner, and S. Thrun. The interactive museum tour-guide robot. In Proceedings of the Fifteenth National Conference on Artificial Intelligence (AAAI-98), pages 11–18, 1998.
2. J. de Kleer, A.K. Mackworth, and R. Reiter. Characterizing diagnoses and systems. Artificial Intelligence, 56(2–3):197–222, 1992.
3. C. C. Green. Theorem proving by resolution as a basis for question-answering systems. In B. Meltzer and D. Michie, editors, Machine Intelligence 4, pages 183–205. American Elsevier, NewYork, 1969.
4. H. Levesque, R. Reiter, Y. Lesperance, F. Lin, and R. Scherl. GOLOG:A logic programming language for dynamic domains. The Journal of Logic Programming, 31:59–84, 1997.
5. Z. Manna and R. Waldinger. How to Clear a Block:A Theory of Plans. Journal of Automated Reasoning, 3:343–377, 1987.
6. J. McCarthy. Programs with common sense. In Marvin Minsky, editor, Semantic Information Processing, chapter 7, pages 403–418. The MIT Press, 1968.
7. S. McIlraith. Representing actions and state constraints in model-based diagnosis. In Proceedings of the Fourteenth National Conference on Artificial Intelligence (AAAI-97), pages 43–49, 1997.
8. S. McIlraith. Towards a Formal Account of Diagnostic Problem Solving. PhD thesis, Department of Computer Science, University of Toronto, Toronto, Ontario, Canada, 1997.
9. S. McIlraith. Explanatory diagnosis: Conjecturing actions to explain observations. In Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR’98), pages 167–177, 1998.
10. S. McIlraith. A closed-form solution to the ramification problem (sometimes). Artificial Intelligence, 116(1–2):87–121, 2000.
11. K. Myers. Abductive completion of plan sketches. In Proceedings of the Fourteenth National Conference on Artificial Intelligence (AAAI-97), pages 687–693, 1997.
12. J. Pinto. Temporal Reasoning in the Situation Calculus. PhD thesis, Department of Computer Science, University of Toronto, Toronto, Ontario, Canada, 1994.
13. C. Price, M. Wilson, J. Timmis, and C. Cain. Generating fault trees from fmea. In Proceedings of the Seventh International Workshop on Principles of Diagnosis, pages 183–190, 1996.
14. R. Reiter. Knowledge in Action: Logical Foundations for Describing and Implementing Dynamical Systems. 2000. In preparation. Draft available at http://www.cs.toronto.edu/˜cogrobo/.
15. D. Smith and C. Green. Towards Practical Application of Software Synthesis. In Proceedings of FMSP’96, the FirstWorkshop on Formal Methods in Software Practice, pages 31–39, San Diego, CA, January 1996.
16. M. Stickel, R. Waldinger, M. Lowry, T. Pressburger, and I. Underwood. Deductive composition of astronomical software from subroutine libraries. In Proceedings of the 12th Conference on Automated Deduction, 1994.
17. R. Waldinger. Achieving several goals simultaneously. In E. Elcock and D. Michie, editors, Machine Intelligence 8, pages 94–136. Ellis Horwood, Edinburgh, Scotland, 1977.
18. B. Williams and P. Nayak. Immobile robotics: AI in the new millenium. AI Magazine, pages 16–35, 1996.