Proof procedure and answer extraction in Petri net model of logic programs
From MaRDI portal
Publication:3817016
DOI10.1109/32.21746zbMath0665.68082OpenAlexW2142763728MaRDI QIDQ3817016
Publication date: 1989
Published in: IEEE Transactions on Software Engineering (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1109/32.21746
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (4)
Inconsistency check of a set of clauses using Petri net reductions ⋮ Knowledge representation and reasoning using fuzzy Pr/T net-systems ⋮ Higher-order Petri net models based on artificial neural networks ⋮ Inference approach based on Petri nets
This page was built for publication: Proof procedure and answer extraction in Petri net model of logic programs
