A Machine-Oriented Logic Based on the Resolution Principle
Journal of the ACM (JACM)
A Unifying View of Some Linear Herbrand Procedures
Journal of the ACM (JACM)
Embodiments of Mind
Problem-Solving Methods in Artificial Intelligence
Problem-Solving Methods in Artificial Intelligence
An inferential processor for interacting with biomedical data using restricted natural language
AFIPS '72 (Spring) Proceedings of the May 16-18, 1972, spring joint computer conference
An information processing approach to theory formation in biomedical research
AFIPS '72 (Spring) Proceedings of the May 16-18, 1972, spring joint computer conference
EPIA '99 Proceedings of the 9th Portuguese Conference on Artificial Intelligence: Progress in Artificial Intelligence
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
A framework for understanding large scale digital storage systems
MSS '95 Proceedings of the 14th IEEE Symposium on Mass Storage Systems
Normality and faults in logic-based diagnosis
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
Automated hypothesis generation using extended inductive resolution
IJCAI'75 Proceedings of the 4th international joint conference on Artificial intelligence - Volume 1
Picnics, kittens and wigs: using scenarios for the sentence completion task
IJCAI'75 Proceedings of the 4th international joint conference on Artificial intelligence - Volume 1
DIALOG: a model of diagnostic logic for internal medicine
IJCAI'75 Proceedings of the 4th international joint conference on Artificial intelligence - Volume 1
On the role of coherence in abductive explanation
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
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
ATC'10 Proceedings of the 7th international conference on Autonomic and trusted computing
Assembling the best explanation
PKWBS-W'84 Proceedings of the 1984 IEEE conference on Principles of knowledge-based systems
Implementing weighted abduction in Markov logic
IWCS '11 Proceedings of the Ninth International Conference on Computational Semantics
Abductive plan recognition by extending Bayesian logic programs
ECML PKDD'11 Proceedings of the 2011 European conference on Machine learning and knowledge discovery in databases - Volume Part II
Using abductive inference and dynamic indexing to retrieve multimedia SGML documents
MIRO'95 Proceedings of the Final conference on Multimedia Information Retrieval
The role of essential explanation in abduction
Artificial Intelligence in Medicine
Methodological principles in medical knowledge programming: part I
Artificial Intelligence in Medicine
Review: Artificial intelligence approaches to network management: recent advances and a survey
Computer Communications
Bayesian abductive logic programs: a probabilistic logic for abductive reasoning
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Three
Computational Linguistics
Hi-index | 0.00 |
Additive AND/OR graphs are defined as AND/ OR graphs without circuits, which can be considered as folded AND/OR trees; i. e. the cost of a common subproblem is added to the cost as many times as the subproblem occurs, but it is computed only once. Additive ...