Achieving Flexibility In Unification Formalisms.

Lena Strömbäck

Published in: COLING (1994)

Keyphrases

knowledge representation
logic programming
nonmonotonic reasoning
data sets
databases
theorem prover
machine learning
information retrieval
image processing
theorem proving
computational power
highly flexible
automated theorem proving