Formalization in philosophy.

Sven Ove Hansson

Published in: Bull. Symb. Log. (2000)

Keyphrases

artificial intelligence
general purpose
cognitive science
database
formal model
operational semantics
expert systems
multi objective
knowledge representation
upper bound
fuzzy logic
medical expert system
logical language