A Resolution Calculus with Dynamic Sort Structures and Partial Functions.

Christoph Weidenbach Hans Jürgen Ohlbach

Published in: ECAI (1990)

Keyphrases

high resolution
dynamic environments
database
information retrieval
artificial intelligence
dynamically changing