Derivation from first principles of belief values generated in networks by message passing
CSC '89 Proceedings of the 17th conference on ACM Annual Computer Science Conference
A categorized bibliography on incremental computation
POPL '93 Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Modelling information retrieval agents with belief revision
SIGIR '94 Proceedings of the 17th annual international ACM SIGIR conference on Research and development in information retrieval
Integrating Multiple Paradigms within the Blackboard Framework
IEEE Transactions on Software Engineering
Logical representation and computation of optimal decisions in a qualitative setting
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Automatic knowledge acquisition in technical diagnosis
SAC '95 Proceedings of the 1995 ACM symposium on Applied computing
A Knowledge-Based Mesh Generation System for Forging Simulation
Applied Intelligence
Prolog/Rex-A Way to Extend Prolog for Better Knowledge Representation
IEEE Transactions on Knowledge and Data Engineering
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
Towards automation of checklist-based code-reviews
ISSRE '96 Proceedings of the The Seventh International Symposium on Software Reliability Engineering
An intelligent agent-based cooperative information processing model
Information management
An analysis and approach to using existing ontological systems for applications in manufacturing
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
COLING '92 Proceedings of the 14th conference on Computational linguistics - Volume 2
Launch commit criteria monitoring agent
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
How Can Agents Know What to Assume When?
WI-IAT '08 Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Volume 02
Compiling possibilistic knowledge bases
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
A comparison of ATMS and CSP techniques
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 1
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
Relating the TMS to autoepistemic logic
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
On the relation between truth maintenance and autoepistemic logic
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
Inconsistency management and prioritized syntax-based entailment
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
An algebraic foundation for truth maintenance
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 2
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Consistency management system for spatial navigation
ISC '07 Proceedings of the 10th IASTED International Conference on Intelligent Systems and Control
Design Problems, Frames and Innovative Solutions
Proceedings of the 2009 conference on Design Problems, Frames and Innovative Solutions
Forward chaining logic programming with the ATMS
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
Default reasoning through belief revision strategy
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
Forward chaining logic programming with the ATMS
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
Default reasoning through belief revision strategy
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
The belief calculus and uncertain reasoning
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 1
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
The common order-theoretic structure of version spaces and ATMS's
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
Abductive inference methods in problems of job planning in complex objects
Journal of Computer and Systems Sciences International
Assumption-based reasoning in dynamic normative agent systems
Web Intelligence and Agent Systems
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
Syntax-based default reasoning as probabilistic model-based diagnosis
UAI'94 Proceedings of the Tenth international conference on Uncertainty in artificial intelligence
A possibilistic handling of partially ordered information
UAI'03 Proceedings of the Nineteenth conference on Uncertainty in Artificial Intelligence
Using Possibilistic Logic for Modeling Qualitative Decision: ATMS-based Algorithms
Fundamenta Informaticae
Product configuration as decision support: The declarative paradigm in practice
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
Abduction in work-planning problems in complex objects
Scientific and Technical Information Processing
Hi-index | 0.00 |