Minimised Residue Hypotheses in Relevant Logic.

Bertram Fronhöfer Akihiro Yamamoto

Published in: ALT (2002)

Keyphrases

databases
logic programming
real time
modal logic
automated reasoning
data sets
neural network
real world
search algorithm
knowledge representation
closely related
amino acids
computational properties
truth values
deontic logic