Non-standard numbers: a semantic obstacle for modelling arithmetical reasoning.
Anderson De AraújoWalter Alexandre CarnielliPublished in: Log. J. IGPL (2012)
Keyphrases
- mobile robot
- knowledge base
- semantic representation
- model based reasoning
- reasoning tasks
- model construction
- semantic network
- causal reasoning
- knowledge representation
- semantic information
- semantic annotation
- databases
- spatial reasoning
- semantic web
- domain specific
- semantic knowledge
- keywords
- semantic description
- high level
- semantically equivalent