Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
1306.3542
Cited By
v1
v2 (latest)
Encoding Petri Nets in Answer Set Programming for Simulation Based Reasoning
Theory and Practice of Logic Programming (TPLP), 2013
15 June 2013
Saadat Anwar
Chitta Baral
Katsumi Inoue
AI4CE
LRM
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Encoding Petri Nets in Answer Set Programming for Simulation Based Reasoning"
3 / 3 papers shown
Operationalizing Declarative and Procedural Knowledge: a Benchmark on Logic Programming Petri Nets (LPPNs)
Giovanni Sileno
67
0
0
26 Jan 2017
Representing, reasoning and answering questions about biological pathways - various applications
Saadat Anwar
89
0
0
03 Mar 2014
Encoding Higher Level Extensions of Petri Nets in Answer Set Programming
International Conference on Logic Programming and Non-Monotonic Reasoning (LPNMR), 2013
Saadat Anwar
Chitta Baral
Katsumi Inoue
115
13
0
15 Jun 2013
1
Page 1 of 1
