PHI: a logic-based tool for intelligent help systems
Data up to Jan 2025
Total Citations Per Year
Abstract
References (25)
A Mathematical Theory of Evidence
2020 • 12,259 citations
Collected Papers of Charles Sanders Peirce
1935 • 4,134 citations
Strips: A new approach to the application of theorem proving to problem solving
1971 • 3,943 citations
Principles of Artificial Intelligence
1982 • 3,384 citations
A Deductive Approach to Program Synthesis
1980 • 581 citations
APPLICATION OF THEOREM PROVING TO PROBLEM SOLVING**This research is a part of Project Defender and was supported by the Advanced Research Projects Agency of the Department of Defense and was monitored by Rome Air Development Center under Contracts AF 30(602)-4147 and F30602-69-C-0056.††This preprint is a preliminary version and is subject to modification prior to publication.
1981 • 484 citations
Readings in Uncertain Reasoning
1990 • 470 citations
Temporal Logic of Programs
1987 • 355 citations
Isabelle: The Next 700 Theorem Provers
1993 • 263 citations
Prediction is deduction but explanation is abduction
1989 • 244 citations
The tableau method for temporal logic: An overview
1985 • 241 citations
A validation-structure-based theory of plan modification and reuse
1992 • 235 citations
Uncertainty and Vagueness in Knowledge Based Systems
1991 • 226 citations
Models of program logics
1979 • 208 citations
Explaining and repairing plans that fail
1990 • 180 citations
A deductive solution for plan generation
1986 • 102 citations
A Choppy Logic
1986 • 94 citations
Deterministic propositional dynamic logic: Finite models, complexity, and completeness
1982 • 70 citations
How to clear a block: A theory of plans
1987 • 68 citations
Tactical theorem proving in program verification
1990 • 45 citations
Systematic Adaptation for Case-Based Planning
1992 • 31 citations
Deductive planning and plan reuse in a command language environment
1992 • 24 citations
Reactive abduction
1992 • 9 citations
Towards a Logical Treatment of Plan Reuse
1992 • 4 citations
Plan-Based Graphical Help in Object-Oriented User Interfaces.
1992 • 3 citations