70 citations · 114 across the 20 of their papers we have counts for
Showing 2015Show all
2 papers · 1 filter
cs.AI2015
Bounded Situation Calculus Action Theories
Giuseppe De Giacomo, Yves Lespérance, Fabio Patrizi
In this paper, we investigate bounded action theories in the situation calculus. A bounded action theory is one which entails that, in every situation, the number of object tuples…
cs.DB2015
Fixpoint Node Selection Query Languages for Trees
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini +1
The study of node selection query languages for (finite) trees has been a major topic in the recent research on query languages for Web documents. On one hand, there has been an ex…