An extended Petri net is used to model function-free logic programs with negation, i.e. normal logic programs. In this model, because of the presence of ...

A Petri net Semantics for Logic Programs with Negation. Teruhiro Shimura, Jorge Lobo and Tadao Murata. Department of Electrical Engineering and Computer ...

An extended Petri net is used to model function-free logic programs with negation, i.e. normal logic programs. In this model, because of the presence of ...

Teruhiro Shimura, Jorge Lobo, Tadao Murata: A Petri Net Semantics for Logic Programs with Negation. SEKE 1992: 292-299. manage site settings.

We show that a PrT-net can implement the nonmonotonicity associated with a logic program with negation as well as the monotonicity of Horn clause logic program.

It is shown that a PrT-net can implement the nonmonotonicity associated with a logic program with negation as well as the monotonicity of Horn clause logic ...

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev. Hosted as a part of SLEBOK on ...

Jun 1, 1994 · The formalism of nonmonotonic reasoning has been integrated into logic programming to define semantics for logic program with negation.

We show that a PrT-net can implement the nonmonotonicity associated with a logic program with negation as well as the monotonicity of Horn clause logic program.

The formalism of nonmonotonic reasoning has been integrated into logic programming to define semantics for logic program with negation. Because a Petri net ...