prov:value
| - It includes representing and reasoning about beliefs, goals, preferences, and actions; it includes models of argumentation, belief change, merging, inconsistency handling, and nonmonotonic reasoning; it also covers topics such as time, space, motion, ontologies, and building useful knowledge-based systems.
|