Processing Temporal and Atemporal Declarative Knowledge in Metalogic Programming.

Gaetano Aurelio Lanzarone Alessandro Provetti

Published in: APPIA-GULP-PRODE (1998)

Keyphrases

declarative knowledge
procedural knowledge
cognitive modeling
information processing
domain knowledge
knowledge acquisition
mental models
learning algorithm
general purpose
domain experts
early stage
human level
learning transfer