Deciding the Word Problem for Ground and Strongly Shallow Identities w.r.t. Extensional Symbols.

Franz Baader Deepak Kapur

Published in: J. Autom. Reason. (2022)

Keyphrases

word problems
similar problems
natural language processing
question answering
domain knowledge
definite clause
information extraction
united states