Technology
A Survey of Automated Deduction
Did you know your Organization can subscribe to the ACM Digital Library?
An analysis of time-dependent planning
This paper presents a framework for exploring issues in time-dependent planning: planning in which the time available to respond to predicted events varies, and the decision making required to formulate effective responses is complex. Our analysis of time-dependent planning suggests an approach based on a class of algorithms that we call anytime algorithms. Anytime algorithms can be interrupted at any point during computation to return a result whose utility is a function of computation time. We explore methods for solving time-dependent planning problems based on the properties of anytime algorithms. Time-dependent planning is concerned with determining how best to respond to predicted events when the time available to make such determinations varies from situation to situation.
Practical Planning: Extending the AI Planning Paradigm
Muñoz-Avila H, Dannenhauer D and Reifsnyder N Is everything going according to plan? expectations in goal reasoning agents Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence and Thirty-First Innovative Applications of Artificial Intelligence Conference and Ninth AAAI Symposium on Educational Advances in Artificial Intelligence, (9823-9829)
Preliminary steps toward a taxonomy of problem-solving methods
In Marcus, S., (Ed.), Automating Knowledge Acquisition for Knowledge Based Systems, chapter 8, pages 120-146. Boston: Kluwer Academic Publishers
Issues in the development of a blackboard-based schema system for image understanding
Draper, B. A. | Collins, R. T. | Brolio, J. | Hanson, A. R. | Riseman, E. M.
A not-for-profit organization, IEEE is the world's largest technical professional organization dedicated to advancing technology for the benefit of humanity.
Neural net pruning—Why and how
A not-for-profit organization, IEEE is the world's largest technical professional organization dedicated to advancing technology for the benefit of humanity.
Local computations with probabilities on graphical structures and their application to expert systems
Lauritzen, S., Spiegelhalter, D. J.
Wiley is a global provider of content and content-enabled workflow solutions in areas of scientific, technical, medical, and scholarly research; professional development; and education. Our core businesses produce scientific, technical, medical, and scholarly journals, reference works, books, database services, and advertising; professional books, subscription products, certification and training services and online applications; and education content and services including integrated online teaching and learning resources for undergraduate and graduate students and lifelong learners. Founded in 1807, John Wiley & Sons, Inc. has been a valued source of information and understanding for more than 200 years, helping people around the world meet their needs and fulfill their aspirations. Wiley has published the works of more than 450 Nobel laureates in all categories: Literature, Economics, Physiology or Medicine, Physics, Chemistry, and Peace. Wiley has partnerships with many of the world's leading societies and publishes over 1,500 peer-reviewed journals and 1,500 new books annually in print and online, as well as databases, major reference works and laboratory protocols in STMS subjects.