52 search results - page 1 / 11 » Defining Datalog in Rewriting Logic |
95
Voted
LOPSTR
2009
Springer
15 years 5 months ago
2009
Springer
CORR
2010
Springer
15 years 14 days ago
2010
Springer
Abstract. The basic aim of our study is to give a possible model for handling uncertain information. This model is worked out in the framework of DATALOG. At first the concept of f...
79
Voted
ENTCS
2006
15 years 11 days ago
2006
act way to define rewriting logic Marc Aiguier a,1 , Diane Bahrami b , Delphine Longuet a a Universit
187
Voted
POPL
2007
ACM
16 years 21 days ago
2007
ACM
In aspect-oriented programming, one can intercept events by writing patterns called pointcuts. The pointcut language of the most popular aspect-oriented programming language, Aspe...
102
Voted
ENTCS
2000
15 years 5 days ago
2000
The coincidence between the model-theoretic and the procedural semantics of SLDresolution does not carry over to a Prolog system that also implements non-logical features like cut...