565 search results - page 57 / 113 » A logic for authorization provenance |
AIED
2007
Springer
14 years 3 months ago
2007
Springer
SimStudent is a machine-learning agent that learns cognitive skills by demonstration. SimStudent was originally built as a building block for Cognitive Tutor Authoring Tools to hel...
ENTCS
2008
13 years 9 months ago
2008
Object orientation and component-based development have both proven useful for the elaboration of open distributed systems. These paradigms are offered by the Creol language. Creo...
IGPL
2008
13 years 8 months ago
2008
We propose here an extension of Rice's Theorem to first-order logic, proven by totally elementary means. If P is any property defined over the collection of all first-order t...
FSKD
2005
Springer
14 years 2 months ago
2005
Springer
With the dramatic development of web technologies, tremendous amount of information become available to users. The great advantages of the web are the ease with which information c...
LPNMR
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. The rapid expansion of the Internet and World Wide Web led to growing interest in data and information integration, which should be capable to deal with inconsistent and ...