Extending abduction from propositional to first-order logic

This publication has 13 references indexed in Scilit:

• An incremental method for generating prime implicants/implicates
  Journal of Symbolic Computation, 1990
• Subsumption and implication
  Information Processing Letters, 1987
• Causes for events: Their computation and applications
  1986
• Linear-time algorithms for testing the satisfiability of propositional horn formulae
  The Journal of Logic Programming, 1984
• A complete, nonredundant algorithm for reversed Skolemization
  Theoretical Computer Science, 1983
• Maintaining knowledge about temporal intervals
  Communications of the ACM, 1983
• A Temporal Logic for Reasoning about Processes and Plans*
  Cognitive Science, 1982
• Induction, pure and simple
  Information and Control, 1977
• A note on linear resolution strategies in consequence-finding
  Artificial Intelligence, 1972
• Hypothesis generation by machine
  Artificial Intelligence, 1971