Diagnosing multiple faults using knowledge about malfunctioning behavior
IEA/AIE '88 Proceedings of the 1st international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 1
Adaptation of plans via annotation verification
IEA/AIE '88 Proceedings of the 1st international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 1
DESIGN: a generic configuration shell
IEA/AIE '90 Proceedings of the 3rd international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 1
Representing and using nonfunctional requirements: a process-oriented approach
IEEE Transactions on Software Engineering - Special issue on knowledge representation and reasoning in software development
A categorized bibliography on incremental computation
POPL '93 Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Integrating Multiple Paradigms within the Blackboard Framework
IEEE Transactions on Software Engineering
Automatic knowledge acquisition in technical diagnosis
SAC '95 Proceedings of the 1995 ACM symposium on Applied computing
Distributed and Parallel Databases
IEEE Transactions on Knowledge and Data Engineering
Prolog/Rex-A Way to Extend Prolog for Better Knowledge Representation
IEEE Transactions on Knowledge and Data Engineering
Representing and Using Nonfunctional Requirements: A Process-Oriented Approach
IEEE Transactions on Software Engineering - Special issue on knowledge representation and reasoning in software development
A Query-Driven Anytime Algorithm for Argumentative and Abductive Reasoning
Soft-Ware 2002 Proceedings of the First International Conference on Computing in an Imperfect World
FORK: A System for Object- and Rule-Oriented Programming
ECOOP '87 Proceedings of the European Conference on Object-Oriented Programming
An intelligent agent-based cooperative information processing model
Information management
Theoretical foundations for belief revision
TARK '86 Proceedings of the 1986 conference on Theoretical aspects of reasoning about knowledge
Launch commit criteria monitoring agent
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
A comparison of ATMS and CSP techniques
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 1
"Physical negation": integrating fault models into the general diagnostic engine
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
Dominance and subsumption in constraint-posting planning
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 2
An algebraic foundation for truth maintenance
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 2
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Consistency management system for spatial navigation
ISC '07 Proceedings of the 10th IASTED International Conference on Intelligent Systems and Control
Forward chaining logic programming with the ATMS
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
Non-deterministic lisp with dependency-directed backtracking
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
Efficiency analysis of multiple-context TMSS in scene representation
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
Proceedings of the 2010 conference on Computational Models of Argument: Proceedings of COMMA 2010
Forward chaining logic programming with the ATMS
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
Non-deterministic lisp with dependency-directed backtracking
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
Efficiency analysis of multiple-context TMSS in scene representation
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
Abductive and default reasoning: a computational core
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 2
An efficient first-order horn-clause abduction system based on the ATMS
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 1
ACP: reason maintenance and inference control for constraint propagation over intervals
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 1
Focusing on probable diagnoses
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 2
Characterizing non-intermittent faults
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 2
Abductive inference methods in problems of job planning in complex objects
Journal of Computer and Systems Sciences International
Hybrid integration of reasoning techniques in suspect investigation
IEA/AIE'10 Proceedings of the 23rd international conference on Industrial engineering and other applications of applied intelligent systems - Volume Part I
A model-based active testing approach to sequential diagnosis
Journal of Artificial Intelligence Research
Belief maintenance in Bayesian networks
UAI'94 Proceedings of the Tenth international conference on Uncertainty in artificial intelligence
Methods for model-based reasoning within agent-based Ambient Intelligence applications
Knowledge-Based Systems
Abduction in work-planning problems in complex objects
Scientific and Technical Information Processing
Hi-index | 0.00 |