3836 search results - page 323 / 768 » Semantics of Database Transformations |
140
click to vote
EDOC
2006
IEEE
15 years 11 months ago
2006
IEEE
This paper presents an approach for translating legalese expression of business contracts into candidate business activities and processes while ensuring their compliance with con...
130
click to vote
AOSD
2004
ACM
15 years 10 months ago
2004
ACM
This paper describes the implementation of advice weaving in AspectJ. The AspectJ language picks out dynamic join points in a program's execution with pointcuts and uses advi...
153
click to vote
IJCAI
2007
15 years 6 months ago
2007
The definition of a stable model has provided a declarative semantics for Prolog programs with negation as failure and has led to the development of answer set programming. In th...
249
click to vote
ICCS
2010
Springer
15 years 3 months ago
2010
Springer
Though similarities between the Semantic Web language RDF(S) and languages of the Conceptual Graphs family have often been pointed out, the differences between these formalisms hav...
171
click to vote
AI
2011
Springer
14 years 12 months ago
2011
Springer
The concept of a stable model provided a declarative semantics for Prolog programs with negation as failure and became a starting point for the development of answer set programmi...