Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
0901.2850
Cited By
On finitely recursive programs
19 January 2009
Sabrina Baselice
P. Bonatti
G. Criscuolo
LRM
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"On finitely recursive programs"
3 / 3 papers shown
Using Linear Constraints for Logic Program Termination Analysis
M. Calautti
S. Greco
Cristian Molinaro
I. Trubitsyna
188
7
0
13 Dec 2015
Well-Definedness and Efficient Inference for Probabilistic Logic Programming under the Distribution Semantics
Theory and Practice of Logic Programming (TPLP), 2011
Fabrizio Riguzzi
T. Swift
292
53
0
04 Oct 2011
A decidable subclass of finitary programs
Sabrina Baselice
P. Bonatti
LRM
174
16
0
21 Jul 2010
1
Page 1 of 1
