Lazy Paramodulation in Practice.

Grzegorz Prusak Cezary Kaliszyk

Published in: PAAR@IJCAR (2022)

Keyphrases

inference rules
real world
three dimensional
neural network
information systems
reinforcement learning
natural language
computational complexity
expert systems
widely accepted