157 search results - page 13 / 32 » A Restriction Mapping Engine Using Constraint Logic Programm... |
122
Voted
FOSSACS
2009
Springer
15 years 10 months ago
2009
Springer
Standard analysis on recursive data structures restrict their attention to shape properties (for instance, a program that manipulates a list returns a list), excluding properties t...
140
click to vote
WILF
2009
Springer
15 years 10 months ago
2009
Springer
A number of generalizations of answer set programming have been proposed in the literature to deal with vagueness, uncertainty, and partial rule satisfaction. We introduce a unifyi...
197
Voted
SOFSEM
2009
Springer
16 years 20 days ago
2009
Springer
Abstract. Constraint Handling Rules (CHR) is a general purpose, committedchoice declarative language which, differently from other similar languages, uses multi-headed (guarded) ru...
145
Voted
PPDP
2007
Springer
15 years 10 months ago
2007
Springer
The problem of mechanically formalizing and proving metatheoretic properties of programming language calculi, type systems, operational semantics, and related formal systems has r...
121
Voted
LPNMR
2007
Springer
15 years 10 months ago
2007
Springer
We describe a new grounder system for logic programs under answer set semantics, called GrinGo. Our approach combines and extends techniques from the two primary grounding approach...