Sign in
Soundness and Completeness of Non-classical SLD-Resolution.
Peter Vojtás
Leonard 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