Login / Signup
Reasoning on Schemata of Formulæ.
Mnacho Echenim
Nicolas Peltier
Published in:
AISC/MKM/Calculemus (2012)
Keyphrases
</>
database
reasoning process
reasoning systems
qualitative reasoning
decision making
website
analogical reasoning
resource bounded
conflicting information
data sets
knowledge representation
functional dependencies
reverse engineering
default reasoning
reasoning problems
deductive reasoning