Petri Net Semantics of Logic Programs and Deductive Databases,

Langue : anglais

Edité par Verlag Dr. Kovac, Hamburg, 1994

3860641506 / 9783860641507

  • Éd. originale
  • Livre broché
  • Neuf
Afficher toutes les informations

Vendeur : Verlag Dr. Kovac GmbH, Hamburg, AllemagneVerlag Dr. Kovac GmbH

Vendeur avec une évaluation de 5 étoiles

Vendeur AbeBooks depuis 24 janvier 2011

Livre broché

Etat: Neuf

EUR 45,90

EUR 17,60 expédition 
Expédition depuis Allemagne vers Etats-Unis

Quantité disponible : 5 disponibles

Ajouter au panier
Retours gratuits sous 30 jours

A propos de cet article

Forschungsergebnisse zur Informatik, Band 13 140 pages. Joining ideas from database theory and logic programming leads to the theory of deductive databases. In addition to the data stored in a database (extensional facts), a deductive database stores rule based knowledge concerning parts of the real world which are modeled by the system. A deductive database management system (DDBMS) consists of two parts: 1) An arbitrary database management system and 2) a deduction mechanism that uses extensional as well as intensional facts and rules for deducing new data (intensional facts). Since rules can be seen as a declarative (programming, query) language, one of the main serious problems arising from logic programming and deductive databases is to find a (constructive) semantics which coincides with the user's intuitive meaning of the rules. The aim of this work is to introduce a Petri net semantics for logic programs and deductive databases which is more constructive than any currently known semantics. Logic programs and deductive databases are transformed into a Petri net class whose elements are called, according to their dynamical behaviour, fixpoint nets. The problems of non-monotonic reasoning are expressed by means of generalized conflict situations in fixpoint nets. The semantics of a logic program or a deductive database is defined by means of logical consequences of a set of (possibly three-valued) models, which can be generated from the saturated marking of the program's Petri net representation. It is shown that for stratified normal programs and for positive disjunctive programs the Petri net semantics coincides with the perfect model semantics and the Minker/Rajasekar semantics respectively.…

N° de réf. du vendeur x150

Titre
Petri Net Semantics of Logic Programs and Deductive Databases,
Auteur
Michael Dahr
Éditeur
Verlag Dr. Kovac, Hamburg
Année de publication
1994
État de l'article
neu
Reliure
Softcover
Langue
anglais
ISBN à 10 chiffres
3860641506
ISBN à 13 chiffres
9783860641507
Édition
1. Auflage.

Verlag Dr. Kovac GmbH

Hamburg, Allemagne

Vendeur avec une évaluation de 5 étoiles

Vendeur AbeBooks depuis 24 janvier 2011

Frais d'expédition de Allemagne vers Etats-Unis

Article16 à 35 jours ouvrés7 à 14 jours ouvrés
Premier articleEUR 17,60EUR 34,35
Les délais de livraison sont fixés par les vendeurs et varient en fonction du transporteur et du lieu. Les commandes transitant par les douanes peuvent être retardées et les acheteurs sont responsables de tous les droits ou frais associés. Les vendeurs peuvent vous contacter au sujet de frais supplémentaires afin de couvrir toute augmentation des coûts d'expédition de vos articles.

Modes de paiement

  • Visa
  • Mastercard
  • American Express
  • Carte Bleue
  • Apple Pay
  • Google Pay

Description de la boutique

Der Wissenschaftsverlag Dr. Kovač wurde 1982 gegründet und ist ein Fachverlag für wissenschaftliche Literatur. Seit mehr als 40 Jahren verlegen Wissenschaftler/innen aus unterschiedlichsten Fachbereichen bei uns. Das Gros der mehr als 12.400 Forscher/innen, die wir verlegen, stammt von Universitäten im deutschsprachigen Raum.

Profil professionnel du vendeur

Verlag Dr. Kovac GmbH

Leverkusenstr. 13
Hamburg, Allemagne 22761