Predicate Answer Set Programming with Coinduction - Min, Richard
- Format: Broché Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtre120,21 €
Produit Neuf
Ou 30,05 € /mois
- Livraison : 25,00 €
- Livré entre le 22 et le 27 avril
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
Donnez votre avis et cumulez 5
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
Ruven Afanador: Angel Gitano
Occasion dès 115,99 €
-
Logic, Language, And Meaning, Volume 2
Neuf dès 60,11 €
Occasion dès 79,45 €
-
L'Histoire La Vie Et Les Moeurs Et La Curiosité
Occasion dès 99,00 €
-
Das Lyrische Werk
Neuf dès 123,20 €
Occasion dès 77,30 €
-
Key Questions In Cardiac Surgery
Neuf dès 108,15 €
-
Kim Kardashian Selfish
Occasion dès 96,99 €
-
A Practical Guide To Chemical Peels, Microdermabrasion & Topical Products
Neuf dès 160,74 €
-
Graham Hill Scrapbook 1929 -1966
Occasion dès 110,00 €
-
Michael Kenna - Arbres / Trees
2 avis
Occasion dès 95,00 €
-
Crew Resource Management Training
Occasion dès 82,99 €
-
Lillian Bassman / Paul Himmel
Occasion dès 106,99 €
-
J W Waterhouse
Occasion dès 125,15 €
-
Yoga Art
Occasion dès 138,25 €
-
Artemis
Occasion dès 84,29 €
-
The Baltic Sea And Approaches
Occasion dès 96,27 €
-
The Harvard Book: Selections From Three Centuries, Revised Edition
Neuf dès 80,22 €
-
Murakami: Ego
Neuf dès 146,45 €
-
Rock 'n' Roll Cats (Street Design)
Occasion dès 96,99 €
-
De Lemdr À La Thérapie Mosaic Guérir Sans Douleur Les Traumatismes Psychologiques
Occasion dès 62,50 €
-
Rccpf Norway
Neuf dès 85,37 €
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