120,21 €
Produit Neuf
Ou 30,05 € /mois
- Livraison : 25,00 €
- Livré entre le 1 et le 6 octobre
Apres acceptation de la commande, le delai moyen d'expedition depuis le Japon est de 48 heures. Le delai moyen de livraison est de 3 a 4 semaines. En cas de circonstances exceptionnelles, les delais peuvent s'etendre jusqu'à 2 mois.
- Payez directement sur Rakuten (CB, PayPal, 4xCB...)
- Récupérez le produit directement chez le vendeur
- Rakuten vous rembourse en cas de problème
Gratuit et sans engagement
Félicitations !
Nous sommes heureux de vous compter parmi nos membres du Club Rakuten !
TROUVER UN MAGASIN
Retour
Avis sur Predicate Answer Set Programming With Coinduction Format Broché - Livre Informatique
0 avis sur Predicate Answer Set Programming With Coinduction Format Broché - Livre Informatique
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
The Fourth World Omnibus Vol. 2
Neuf dès 134,88 €
-
Sf2a : Scientific Highlights 2004
Occasion dès 69,00 €
-
Geometric Quantization And Quantum Mechanics
Neuf dès 123,61 €
-
Motor Racing - Reflections Of A Lost Era
Neuf dès 63,37 €
-
Art Of Ghost In The Shell
1 avis
Occasion dès 99,99 €
-
Flashpoint: The 10th Anniversary Omnibus
Neuf dès 158,08 €
-
I: Functional Analysis
Occasion dès 82,70 €
-
Quantum Mechanics
Occasion dès 65,00 €
-
Visconti Modrone Tarot
Neuf dès 81,51 €
-
Angry Women (Re/Search ; 13)
Occasion dès 113,99 €
-
The Big Book Of B Movies
Occasion dès 96,20 €
-
Advanced Quantum Mechanics
Neuf dès 145,54 €
-
The Rainbow
Neuf dès 105,43 €
-
Joseph Beuys Multiples: Catalogue Raisonné Of Multiples And Prints 1965-1985
Occasion dès 100,00 €
-
La Corse Face À Gênes : Entre Féodalité Et Modernité
Occasion dès 80,00 €
-
Microeconomic Theory
Occasion dès 69,91 €
-
The Beauty Of Kinbaku: (Or Everything You Ever Wanted To Know About Japanese Erotic Bondage When You Suddenly Realized You Didn't Speak Japan
Neuf dès 67,36 €
-
Rules, Patterns And Words
Neuf dès 80,00 €
-
Ouragan: 30 Siècles De Vies Communes (French Edition)
3 avis
Occasion dès 79,89 €
-
Filmer
Neuf dès 119,48 €
Produits similaires
Présentation Predicate Answer Set Programming With Coinduction Format Broché
- Livre Informatique
Résumé :
We introduce negation into coinductive logic programming (co-LP) via what we term Coinductive SLDNF (co-SLDNF) resolution. We present declarative and operational semantics of co-SLDNF resolution and present their equivalence under the restriction of rationality and its applications to Answer Set Programming (ASP). ASP is a powerful programming paradigm for performing non-monotonic reasoning within logic programming. The current state of ASP solvers has been restricted to grounded range- restricted function-free normal programs, with a bottom-up evaluation strategy (that is, not goal- driven) until now. The introduction of co-LP with co-SLDNF resolution has enabled the development of top-down goal evaluation strategies for ASP. We present a novel and innovative approach to solving ASP programs with co-LP. Our method eliminates the need for grounding, allows functions, and effectively handles a large class of predicate ASP programs including possibly infinite ASP programs. Moreover, it is goal-directed and top-down execution method that provides an innovative and attractive alternative to current ASP solver technology....
Détails de conformité du produit
Personne responsable dans l'UE