A robot ping-pong player: experiment in real-time intelligent control
A robot ping-pong player: experiment in real-time intelligent control
Decision theory in expert systems and artificial intelligence
International Journal of Approximate Reasoning
Proceedings of the first international conference on Principles of knowledge representation and reasoning
The Design and Analysis of Computer Algorithms
The Design and Analysis of Computer Algorithms
Utility-based control for computer vision
UAI '88 Proceedings of the Fourth Annual Conference on Uncertainty in Artificial Intelligence
Control of problem solving: principles and architecture
UAI '88 Proceedings of the Fourth Annual Conference on Uncertainty in Artificial Intelligence
Solving Time-Dependent Planning Problems
Solving Time-Dependent Planning Problems
A Robust Layered Control System For a Mobile Robot
A Robust Layered Control System For a Mobile Robot
Learning investment functions for controlling the utility of control knowledge
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Towards Flexible Teamwork in Persistent Teams: Extended Report
Autonomous Agents and Multi-Agent Systems
Time-Bounded Negation Framework for Multi-Agent Coordination
PRIMA '98 Selected papers from the First Pacific Rim International Workshop on Multi-Agents, Multiagent Platforms
Design-to-Criteria Scheduling: Real-Time Agent Control
Revised Papers from the International Workshop on Infrastructure for Multi-Agent Systems: Infrastructure for Agents, Multi-Agent Systems, and Scalable Multi-Agent Systems
A Constraint Directed Model for Partial Constraint Satisfaction Problems
AI '00 Proceedings of the 13th Biennial Conference of the Canadian Society on Computational Studies of Intelligence: Advances in Artificial Intelligence
Bid Evaluation and Selection in the MAGNET Automated Contracting System
AMET '98 Selected Papers from the First International Workshop on Agent Mediated Electronic Trading on Agent Mediated Electronic Commerce
A Retrieval Method for Real-Time Spatial Data Browsing
DEXA '01 Proceedings of the 12th International Conference on Database and Expert Systems Applications
Cut-and-solve: An iterative search strategy for combinatorial optimization problems
Artificial Intelligence
An architecture for adaptive intelligent systems
Artificial Intelligence
Concurrent reactive plans: anticipating and forestalling execution failures
Concurrent reactive plans: anticipating and forestalling execution failures
Incremental, approximate planning
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
Introducing the tileworld: experimentally evaluating agent architectures
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
A fast path planner for a car-like indoor mobile robot
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 2
Anytime problem solving using dynamic programming
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 2
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 2
Quantitative modeling of complex computational task environments
AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence
AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence
A hybrid architecture for real-time mixed-initiative planning and control
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
Algorithms and theory of computation handbook
Compiler-support for robust multi-core computing
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part I
A Workbench for Anytime Reasoning by Ontology ApproximationWith a case study on instance retrieval
Proceedings of the 2010 conference on STAIRS 2010: Proceedings of the Fifth Starting AI Researchers' Symposium
Reasoning, metareasoning, and mathematical truth: studies of theorem proving under limited resources
UAI'95 Proceedings of the Eleventh conference on Uncertainty in artificial intelligence
Time-critical action: representations and application
UAI'97 Proceedings of the Thirteenth conference on Uncertainty in artificial intelligence
Anytime decision making with imprecise probabilities
UAI'94 Proceedings of the Tenth international conference on Uncertainty in artificial intelligence
Time-dependent utility and action under uncertainty
UAI'91 Proceedings of the Seventh conference on Uncertainty in Artificial Intelligence
Towards a bridge between cost and wealth in risk-aware planning
Applied Intelligence
Besting the quiz master: crowdsourcing incremental classification games
EMNLP-CoNLL '12 Proceedings of the 2012 Joint Conference on Empirical Methods in Natural Language Processing and Computational Natural Language Learning
Efficient anytime algorithm for large-scale QoS-aware web service composition
International Journal of Web and Grid Services
Heuristic search when time matters
Journal of Artificial Intelligence Research
Hi-index | 0.00 |
Model-based revision of knowledge bases expressed as first-order theories was shown in [Winslett 88b] to be useful as a means of describing and reasoning about the effects of actions. This paper shows that model-based theory revision is actually expressible ...