1580 search results - page 303 / 316 » CoTeSys - Cognition for Technical Systems |
196
click to vote
CORR
2004
Springer
15 years 5 months ago
2004
Springer
In this paper we analyze the relationship between cyclic definitions and consistency in GelfondLifschitz's answer sets semantics (initially defined as `stable model semantics...
160
click to vote
JANCL
2002
15 years 5 months ago
2002
We investigate the major mathematical theories of space from a modal standpoint: topology, affine geometry, metric geometry, and vector algebra. This allows us to see new fine-str...
181
click to vote
JOLLI
2002
15 years 5 months ago
2002
In this paper we suggest adding to predicate modal and temporal logic a locality predicate W which gives names to worlds (or time points). We also study an equal time predicate D(x...
158
click to vote
JWE
2002
15 years 5 months ago
2002
To address the significant technical demand for trained Web Engineers, and to raise the current state of the practice of Web Engineering, a Master's level degree program in W...
194
click to vote
SIGMOD
2008
ACM
15 years 5 months ago
2008
ACM
The First International Workshop on Transforming and Weaving Ontologies in Model Driven Engineering (TWOMDE 2008), affiliated with the 11th International Conference on Model Drive...