Inductive logic programming S Muggleton New generation computing 8, 295-318, 1991 | 1311 | 1991 |
Explaining emotions P O'Rorke, A Ortony Consciousness and Emotion in Cognitive Science, 229-269, 1998 | 139 | 1998 |
Why is diagnosis using belief networks insensitive to imprecision in probabilities? M Henrion, M Pradhan, B Del Favero, K Huang, GM Provan, P O'Rorke arXiv preprint arXiv:1302.3582, 2013 | 101 | 2013 |
Systems and methods for prioritizing messages on a mobile device S Ramanujam, PV O'rorke US Patent 8,977,304, 2015 | 78 | 2015 |
Constraints on predicate invention R Wirth, P O'Rorke Machine Learning Proceedings 1991, 457-461, 1991 | 71 | 1991 |
A comparative study of inductive learning systems AQ11P and ID-3 using a chess endgame test problem P O'Rorke University of Illinois, Department of Computer Science, Intelligent Systems …, 1982 | 47* | 1982 |
Theory formation by abduction: A case study based on the chemical revolution P O'Rorke, S Morris, D Schulenburg | 39 | 1990 |
Generalization for Explanation-Based Schema Acquisition. P O'Rorke AAAI, 260-263, 1984 | 29 | 1984 |
Skill transfer through goal-driven representation mapping T Könik, P O’Rorke, D Shapiro, D Choi, N Nejati, P Langley Cognitive Systems Research 10 (3), 270-285, 2009 | 28 | 2009 |
A deductive-nomological model of abduction with learning P O'Rorke, D Aha, S Sage Unpublished manuscript. University of California at Irvine.[aPT], 1988 | 28 | 1988 |
Abduction and explanation‐based learning: Case studies in diverse domains P O'Rorke Computational Intelligence 10 (3), 295-330, 1994 | 26 | 1994 |
Working notes of the 1990 spring symposium on automated abduction P O'Rourke University of California, Irvine, CA, 1990 | 24 | 1990 |
An approach to theory revision using abduction P O'Rorke Information and Computer Science, 33, 1990 | 22 | 1990 |
LT revisited: Experimental results of applying explanation-based learning to the logic of Principia Mathematica P O'RORKE Proceedings of the Fourth International Workshop on machine learning, 148-159, 1987 | 19 | 1987 |
Comparison of natural deduction and locking resolution implementations S Greenbaum, A Nagasaka, P O'Rorke, D Plaisted 6th Conference on Automated Deduction: New York, USA, June 7–9, 1982 6, 159-171, 1982 | 19 | 1982 |
LT revisited: Explanation-based learning and the logic of Principia Mathematica P O'Rorke Machine Learning 4, 117-159, 1989 | 18 | 1989 |
Achieving Far Transfer in an Integrated Cognitive Architecture. DG Shapiro, T Könik, P O'Rorke AAAI, 1325-1330, 2008 | 17 | 2008 |
Coherence and abduction P O'Rorke Behavioral and Brain Sciences 12 (3), 484-484, 1989 | 16 | 1989 |
Systems and methods for prioritizing messages on a mobile device S Ramanujam, PV O'rorke US Patent 9,538,342, 2017 | 13 | 2017 |
Theory formation by abduction: Initial results of a case study based on the chemical revolution P O'Rorke, S Morris, D Schulenburg Proceedings of the sixth international workshop on Machine learning, 266-271, 1989 | 13 | 1989 |