Sign in

Soundness and Completeness of Non-classical SLD-Resolution.

Peter VojtásLeonard Paulík
Published in: ELP (1996)
Keyphrases
  • high resolution
  • databases
  • neural network
  • conflict detection
  • database
  • data sets
  • artificial intelligence
  • computer vision
  • information systems
  • decision making
  • multi agent
  • expert systems
  • pairwise
  • text to speech