Checking Termination of Logic Programs with Function Symbols through Linear Constraints

Marco Calautti, Sergio Greco, Cristian Molinaro, Irina Trubitsyna. Checking Termination of Logic Programs with Function Symbols through Linear Constraints. In Antonis Bikakis, Paul Fodor, Dumitru Roman, editors, Rules on the Web. From Theory to Applications - 8th International Symposium, RuleML 2014, Co-located with the 21st European Conference on Artificial Intelligence, ECAI 2014, Prague, Czech Republic, August 18-20, 2014. Proceedings. Volume 8620 of Lecture Notes in Computer Science, pages 97-111, Springer, 2014. [doi]

Authors

Marco Calautti

This author has not been identified. Look up 'Marco Calautti' in Google

Sergio Greco

This author has not been identified. Look up 'Sergio Greco' in Google

Cristian Molinaro

This author has not been identified. Look up 'Cristian Molinaro' in Google

Irina Trubitsyna

This author has not been identified. Look up 'Irina Trubitsyna' in Google