Results
SETHEO: A high-performance theorem prover
Letz, R. | Schumann, J. | Bayerl, S. | Bibel, W.
JAR, 8 (2), 183-212.
Conditional nonlinear planning
"Work-in-progress on the design of a conditional nonlinear planner is described. CNLP is a nonlinear planner that develops plans that account for foreseen uncertainties. CNLP represents an extension of the conditional planning technique of Warren [75] to the domain of nonlinear planning." In ICAPS-92, pp. 189–197.
Understanding evidential reasoning
Ruspini, E. H. | Lowrance, J. D. | Strat, T. M.
IJAR, 6 (3), 401-24.
On the greedy algorithm for satisfiability
Koutsoupias, E. | Papadimitriou, C. H.
Information Processing Letters, 43 (1), 53-55.
Criticizing solutions to relaxed models yields powerful admissible heuristics
Hansson, O. | Mayer, A. | Yung, M.
Information Sciences, 63 (3), 207-27.
A prolog technology theorem prover: a new exposition and implementation in prolog
Theoretical Computer Science, 104, 109â128.
From statistics to beliefs
Bacchus, F. | Grove, A. | Halpern, J. Y. | Koller, D.
In AAAI-92, pp. 602–608.
A Bayesian model of plan recognition
Artificial Intelligence, 64 (1), 53-79
Scheduling with neural networks: The case of the Hubble space telescope
Johnston, M. D. | Adorf, H.-M.
Computers and Operations Research, 19 (3-4), 209-240.