351 search results - page 16 / 71 » Logic Programs with Compiled Preferences |
136
Voted
PADL
2011
Springer
14 years 4 months ago
2011
Springer
Abstract. Modern web forms interact with the user in real-time by detecting errors and filling-in implied values, which in terms of automated reasoning amounts to SAT solving and ...
112
Voted
HOTOS
2009
IEEE
15 years 5 months ago
2009
IEEE
In this paper, we propose FLUXO, a system that separates an Internet service's logical functionality from the architectural decisions made to support performance, scalability...
114
click to vote
IJCAI
1993
15 years 3 months ago
1993
SEQUEL is a new-generation functional programming language, which allows the specification of types in a notation based on the sequent calculus. The sequent calculus notation suff...
113
Voted
CORR
2010
Springer
15 years 1 months ago
2010
Springer
The goal of this lecture is to show how modern theorem provers--in this case, the Coq proof assistant--can be used to mechanize the specification of programming languages and their...
109
click to vote
ICLP
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Information about the nondeterminism behavior of a functional logic program is important for various reasons. For instance, a nondeterministic choice in I/O operations re...