Operationalizing Declarative and Procedural Knowledge: a Benchmark on Logic Programming Petri Nets (LPPNs).

Giovanni Sileno

Browse the full ICLP paper archive.