2766 search results - page 227 / 554 » Hybridizing a Logical Framework |
148
click to vote
JLP
1998
15 years 6 months ago
1998
Using constraint logic techniques, it is made possible to use a wellknown metainterpreter backwards as a device for generating programs. A metainterpreter is developed, which prov...
164
click to vote
ICTAI
2007
IEEE
16 years 27 days ago
2007
IEEE
In this paper we consider the consistency problem of temporal or spatial qualitive constraint networks. A new encoding making it possible to represent and solve this problem in th...
177
click to vote
ISM
2006
IEEE
16 years 18 days ago
2006
IEEE
This paper presents a framework for interactive applications running in a lecture recording system using the board as interface metaphor. A number of such applications, called Cha...
151
click to vote
IWPEC
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We introduce a general notion of miniaturization of a problem that comprises the different miniaturizations of concrete problems considered so far. We develop parts of t...
165
click to vote
DALT
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We define a framework based on computational logic technology and on a reactive axiomatization of the Event Calculus to formalize the evolution of commitments in time. We...