3468 search results - page 242 / 694 » An open logical framework |
184
click to vote
CORIA
2007
15 years 8 months ago
2007
In this paper, we propose a fuzzy model to querying the XML documents, by taking into account not only the document contents, but also their structure. The concept of minimal size ...
160
click to vote
CATS
2006
15 years 8 months ago
2006
In this paper, we study the formalization of one-pass call-by-value CPS compilation using higher-order abstract syntax. In particular, we verify mechanically that the source progr...
152
click to vote
ENTCS
2007
15 years 6 months ago
2007
Nominal rewriting introduced a novel method of specifying rewriting on syntax-with-binding. We extend this treatment of rewriting with hierarchy of variables representing increasi...
179
click to vote
ISCIS
2003
Springer
15 years 11 months ago
2003
Springer
In this paper, a comprehensive e-tutoring service framework is presented. It compromises a set of individual applications implemented based on the use of existing open source tools...
171
click to vote
LPNMR
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. According to Dynamic Logic Programming (DLP), knowledge may be given by a sequence of theories (encoded as logic programs) representing different states of knowledge. Th...