scholar.google.com › citations
This paper is intended as a first step towards the investigation of uncertainty in Constraint Functional Logic Programming. We revise an early proposal, namely ...
This paper is intended as a first step towards the investigation of uncertainty in Constraint Functional Logic Programming. We revise an early proposal, namely ...
Rodrguez-Artalejo, M. and Romero-Daz, C. (2008) Quantitative Logic Programming Revisited. In Garrigue, J. and Hermenegildo, M., Eds., Functional and Logic ...
Bibliographic details on Quantitative Logic Programming Revisited.
click to vote. more FLOPS 2008 ... Copyright. home · flag · gpd.sip.ucm.es · close. Please Wait ... Downloading Document from Author's Website.
We consider again quantified logic programs (QLP). QLP is a logic program where a positive number not greater than 1 called dominance is associated with ...
Missing: Quantitative | Show results with:Quantitative
In this survey, we switch from sequent calculus to graph computation by means of bipolar modules. We explain in which extent the use of such structures in the ...
Missing: Quantitative | Show results with:Quantitative
Logic programming has developed as a rich field, built over a logical substratum whose main constituent is a nonclassical form of negation, ...
Missing: Quantitative | Show results with:Quantitative
Quantitative logic programming revisited. In J. Garrigue and M. Hermenegildo, editors, Functional and Logic Programming (FLOPS'08), volume 4989 of LNCS ...
Rating
(3) · $59.65
This work investigates the application of logic to problem-solving and computer programming. It assumes no previous knowledge of these fields, and may be ...
Missing: Quantitative | Show results with:Quantitative