Mark, a Reasoning Kit for Mobility.

Gian Luigi Ferrari Carlo Montangero Laura Semini Simone Semprini

Published in: Autom. Softw. Eng. (2002)

Keyphrases

knowledge base
automated reasoning
reasoning process
knowledge representation
mobile agents
databases
logical reasoning
spatial reasoning
meta level
user friendly
database
mobile networks
production rules
concept maps
reasoning tasks
neural network
legal reasoning