Hierarchical model-based diagnosis
International Journal of Man-Machine Studies
Symbolic Boolean manipulation with ordered binary-decision diagrams
ACM Computing Surveys (CSUR)
Artificial Intelligence
Characterizing diagnoses and systems
Artificial Intelligence
Automatically generating abstractions for planning
Artificial Intelligence
Faster SAT and smaller BDDs via common function structure
Proceedings of the 2001 IEEE/ACM international conference on Computer-aided design
Process algebras for systems diagnosis
Artificial Intelligence
Hierarchical model-based diagnosis based on structural abstraction
Artificial Intelligence
Task-dependent qualitative domain abstraction
Artificial Intelligence - Special volume on reformulation
OBDD-based universal planning for synchronized agents in non-deterministic domains
Journal of Artificial Intelligence Research
Hierarchical diagnosis of multiple faults
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
A semantic theory of abstractions
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Formal verification of diagnosability via symbolic model checking
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Automatic abstraction in component-based diagnosis driven by system observability
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of 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
Model-Based diagnosis through OBDD compilation: a complexity analysis
Reasoning, Action and Interaction in AI Theories and Systems
Hi-index | 0.00 |
Nowadays some recommender system researchers have already been engaging multi-criteria that model possible attributes of the item to generate the improved recommendations. However, the statistical machine learning methods successful in the single-rating ...