754 search results - page 50 / 151 » An Ordered Logic Program Solver |
109
click to vote
CP
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. This paper studies how to verify the conformity of a program with its specification and proposes a novel constraint-programming framework for bounded program verification...
LPNMR
2009
Springer
15 years 7 months ago
2009
Springer
We report on recent advancements in the development of grounder Gringo for logic programs under answer set semantics. Like its relatives, DLV and Lparse, Gringo has in the meantime...
114
click to vote
CORR
2004
Springer
15 years 14 days ago
2004
Springer
We describe a scheme for moving living code between a set of distributed processes coordinated with unification based Linda operations, and its application to building a comprehen...
108
Voted
CLEF
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. In this paper the methodology followed to build a questionanswering system for the Portuguese language is described. The system modules are built using computational ling...
142
Voted
ICLP
2011
Springer
14 years 4 months ago
2011
Springer
In high-level constraint modelling languages, constraints can occur in non-Boolean contexts: implicitly, in the form of partial functions, or more explicitly, in the form of const...