Predicate Answer Set Programming With Coinduction Format Broché

Predicate Answer Set Programming with Coinduction - Min, Richard

Format: Broché

Note : 0

Soyez le premier à donner un avis

Vous en avez un à vendre ?

Vendez-le-vôtre

120,21 €

Produit Neuf

Ou 30,05 € /mois

Livraison : 25,00 €
Livré entre le 3 et le 8 août

Voir les modes de livraison

PRO Vendeur favori

4,8/5 sur + de 1 000 ventes

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.

Voir le détail de l'annonce

Vous avez choisi le retrait chez le vendeur à

Payez directement sur Rakuten (CB, PayPal, 4xCB...)
Récupérez le produit directement chez le vendeur
Rakuten vous rembourse en cas de problème

Terminer ma commande

Gratuit et sans engagement

Félicitations !

Nous sommes heureux de vous compter parmi nos membres du Club Rakuten !

TROUVER UN MAGASIN

Adresse

Retour

Horaires

Note :

Avis sur Predicate Answer Set Programming With Coinduction Format Broché - Livre Informatique

Note : 0 0 avis sur Predicate Answer Set Programming With Coinduction Format Broché - Livre Informatique

Donnez votre avis

Donnez votre avis sur ce produit

Votre note * : 1/5 2/5 3/5 4/5 5/5 Veuillez donner une note au produit

Le titre de votre avis* : Saisissez un titre

Quelques conseils :

Donnez le ton de votre avis, résumez-le en quelques mots qui apparaîtront comme le titre de votre avis.

Votre avis* : (40 caractères minimum) Saisissez un avis

Quelques conseils :

N'hésitez pas à mettre en avant les caractéristiques de ce produit, n'oubliez pas de mentionner ses avantages et/ou ses défauts éventuels. Décrivez précisément, argumentez, soyez convaincant !

Annuler

Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.

Produits similaires

Présentation Predicate Answer Set Programming With Coinduction Format Broché
- Livre Informatique

Livre Informatique - Min, Richard - 01/12/2010 - Broché - Langue : Anglais

Auteur(s) : Min, Richard

Editeur : Lap Lambert Academic Publishing

Langue : Anglais

Parution : 01/12/2010

Format : Moyen, de 350g à 1kg

Nombre de pages : 180.0

ISBN : 9783843365826

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

Consulter les détails de conformité de ce produit (

Personne responsable dans l'UE

)

Predicate Answer Set Programming with Coinduction - Min, Richard

Avis sur Predicate Answer Set Programming With Coinduction Format Broché - Livre Informatique

Présentation Predicate Answer Set Programming With Coinduction Format Broché - Livre Informatique

Présentation Predicate Answer Set Programming With Coinduction Format Broché
- Livre Informatique