Fast Termination of the Deductive Process in Resolution Proof Systems for Non-Classical Logics.

Zbigniew Stachniak

Published in: ISMIS (1994)

Keyphrases

rewrite systems
building blocks
case study
expert systems
multiresolution
distributed systems
management system
high resolution
theorem proving
retrieval systems
complex systems
programming language
object oriented
database
digital libraries
web services
artificial intelligence
machine learning
neural network