8766 search results - page 395 / 1754 » Functional logic programming |
116
Voted
ENTCS
2010
15 years 3 months ago
2010
The generic modal reasoner CoLoSS covers a wide variety of logics ranging from graded and probabilistic modal logic to coalition logic and conditional logics, being based on a bro...
116
Voted
ECAI
2004
Springer
15 years 9 months ago
2004
Springer
Knowledge-based programs (KBPs) are a powerful notion for expressing action policies in which branching conditions refer to implicit knowledge and call for a deliberation task at e...
104
Voted
HASKELL
2005
ACM
15 years 9 months ago
2005
ACM
A type-indexed function is a function that is defined for each member of some family of types. Haskell’s type class mechanism provides collections of open type-indexed function...
111
Voted
HICSS
1999
IEEE
15 years 7 months ago
1999
IEEE
Assessing the reliability of a software system has always been an elusive target. A program may work very well for a number of years and this same program may suddenly become quit...
130
Voted
ICA3PP
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Program behaviors reveal that programs have different sources requirement at different phases, even at continuous clocks. It is not a reasonable way to run different prog...