1134 search results - page 23 / 227 » Using Constraints with Action Language for Model Evolution |
ISOTAS
1993
15 years 1 months ago
1993
We examine the problem of how to ensure behavioral consistency of an object-oriented system after its schema has been updated. The problem is viewed from the perspective of both t...
112
click to vote
ESWS
2010
Springer
14 years 8 months ago
2010
Springer
Abstract. RDF will often be the metadata model of choice in the Semantic Sensor Web. However, RDF can only represent thematic metadata and needs to be extended if we want to model ...
IADIS
2003
14 years 11 months ago
2003
Ontologies in a web setting, particularly those used in a group context (such as a virtual community), need to be flexible and open to changes that reflect the evolution of knowle...
103
click to vote
AAAI
2012
12 years 12 months ago
2012
Temporal Action Logics (TAL) is a class of temporal logics for reasoning about actions. We present a reformulation of TAL in Answer Set Programming (ASP), and discuss some synergi...
UM
2007
Springer
15 years 3 months ago
2007
Springer
There has been increasing interest in using games for education, but little investigation of how to model student learning within games [cf. 6]. We investigate how existing techniq...