Login / Signup

A New Clausal Class Decidable by Hyperresolution.

Lilia GeorgievaUllrich HustadtRenate A. Schmidt
Published in: CADE (2002)
Keyphrases
  • information systems
  • inductive logic programming
  • real time
  • feature selection
  • first order logic
  • theorem proving