The Techsat-21 autonomous space science agent
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
An Information-Theoretic Characterization of Abstraction in Diagnosis and Hypothesis Selection
Proceedings of the 5th International Symposium on Abstraction, Reformulation and Approximation
Reformulating Combinatorial Optimization as Constraint Satisfaction
Proceedings of the 5th International Symposium on Abstraction, Reformulation and Approximation
The Oracular Constraints Method
Proceedings of the 5th International Symposium on Abstraction, Reformulation and Approximation
Autonomous Planning and Scheduling on the TechSat 21 Mission
AI '02 Proceedings of the 15th Australian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence
Intelligent control of auxiliary ship systems
Eighteenth national conference on Artificial intelligence
The EO-1 Autonomous Science Agent
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 1
Lessons learned from autonomous sciencecraft experiment
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Plan Diagnosis and Agent Diagnosis in Multi-agent Systems
AI*IA '07 Proceedings of the 10th Congress of the Italian Association for Artificial Intelligence on AI*IA 2007: Artificial Intelligence and Human-Oriented Computing
DNNF-based belief state estimation
AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
Diagnosis as approximate belief state enumeration for probabilistic concurrent constraint automata
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 1
Model-based monitoring and diagnosis of systems with software-extended behavior
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 1
An architectural approach to ensuring consistency in hierarchical execution
Journal of Artificial Intelligence Research
Distributed monitoring of hybrid systems: a model-directed approach
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Mode estimation of model-based programs: monitoring systems with complex behavior
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Intelligent control of auxiliary ship systems
IAAI'02 Proceedings of the 14th conference on Innovative applications of artificial intelligence - Volume 1
Set-theoretic estimation of hybrid system configurations
IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics
Integrated plan tracking and prognosis for autonomous production processes
ETFA'09 Proceedings of the 14th IEEE international conference on Emerging technologies & factory automation
Constraint-based integration of plan tracking and prognosis for autonomous production
KI'09 Proceedings of the 32nd annual German conference on Advances in artificial intelligence
Automated plan assessment in cognitive manufacturing
Advanced Engineering Informatics
Intrinsic hurdles in applying automated diagnosis and recovery to spacecraft
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans - Special issue on model-based diagnostics
Compiling AI engineering models for probabilistic inference
KI'11 Proceedings of the 34th Annual German conference on Advances in artificial intelligence
Automatic abstraction of time-varying system models for model based diagnosis
KI'05 Proceedings of the 28th annual German conference on Advances in Artificial Intelligence
Bridging control and artificial intelligence theories for diagnosis: A survey
Engineering Applications of Artificial Intelligence
Hi-index | 0.00 |