For the most recent entries see the Petri Nets Newsletter.

Towards a Formal Theory of Datalog Nets.

Dahr, M.; Lautenbach, K.

In: Fachberichte Informatik, Universität Koblenz-Landau. 1991.

Abstract: In this paper, we want to give a formal definition of Datalog nets and their semantics. We restrict the scope of the paper to Horn clause programs with limited variables without function symbols. We will prove that the net semantics equals the least Herbrand model semantics.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography