3595 search results - page 90 / 719 » Roles of Program Extension |
128
click to vote
APLAS
2007
ACM
15 years 8 months ago
2007
ACM
Abstract. This paper provides a call-by-name and a call-by-value calculus, both of which have a Curry-Howard correspondence to the minimal normal logic K. The calculi are extension...
124
Voted
SIGADA
1998
Springer
15 years 8 months ago
1998
Springer
This experience report demonstrates several running programs with visual, animated, colorful displays of "algorithms in action." A common element of all of the programs ...
134
click to vote
BIRTHDAY
2010
Springer
15 years 5 months ago
2010
Springer
Stable models of logic programs have been studied by many researchers, mainly because of their role in the foundations of answer set programming. This is a review of some of the de...
139
click to vote
IWPC
2009
IEEE
15 years 11 months ago
2009
IEEE
The classical comprehension theories study relations between extensions, intensions, and names. Originally developed in linguistics and mathematics, these theories are applicable ...
150
click to vote
DLOG
2003
15 years 5 months ago
2003
This chapter covers extensions of the basic description logics introduced in Chapter 2 by very expressive constructs that require advanced reasoning techniques. In particular, we ...