An Extended Petri Net Model for Normal Logic Programs.

Teruhiro Shimura Jorge Lobo Tadao Murata

Published in: IEEE Trans. Knowl. Data Eng. (1995)

Keyphrases

normal logic programs
petri net
petri net model
logic programs
logic programming
answer sets
stable models
default reasoning
production process
answer set semantics
service composition
stable model semantics
nonmonotonic reasoning
fixpoint
artificial intelligence
expert systems
database systems