Petri Net Semantics of Logic Programs and Deductive Databases,

Idioma: inglés

Editorial: Verlag Dr. Kovac, Hamburg, 1994

3860641506 / 9783860641507

  • Primera edición
  • Tapa blanda
  • Nuevo
Ver todos los detalles

Librería: Verlag Dr. Kovac GmbH, Hamburg, AlemaniaVerlag Dr. Kovac GmbH

Vendedor de 5 estrellas

Vendedor de IberLibro desde 24 de enero de 2011

Tapa blanda

Condición: Nuevo

EUR 45,90

Envío por EUR 17,60 
Se envía de Alemania a Estados Unidos de America

Cantidad disponible: 5 disponibles

Añadir al carrito
Devoluciones gratuitas de 30 días

Descripción del artículo del vendedor

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 ref. del artículo x150

Título
Petri Net Semantics of Logic Programs and Deductive Databases,
Autor
Michael Dahr
Editorial
Verlag Dr. Kovac, Hamburg
Año de publicación
1994
Estado
neu
Encuadernación
Softcover
Idioma
inglés
ISBN 10
3860641506
ISBN 13
9783860641507
Edición
1. Auflage.

Verlag Dr. Kovac GmbH

Hamburg, Alemania

Vendedor de 5 estrellas

Vendedor de IberLibro desde 24 de enero de 2011

Tarifas de envío de Alemania a Estados Unidos de America

ArtículoDe 16 a 35 días hábilesDe 7 a 14 días hábiles
Primer artículoEUR 17,60EUR 34,35
Los plazos de entrega los establecen los vendedores y varían según el transportista y la ubicación. Los pedidos que pasan por la aduana pueden sufrir retrasos y los compradores son responsables de los aranceles o tarifas asociadas. Los vendedores pueden ponerse en contacto con usted en relación con cargos adicionales para cubrir cualquier aumento en los costes de envío de los artículos.

Métodos de pago

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

Descripción de la tienda

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.

Información empresarial del vendedor

Verlag Dr. Kovac GmbH

Leverkusenstr. 13
Hamburg, Alemania 22761