On the Properties of Atom Definability and Well-Supportedness in Logic Programming

Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro, David Pearce 0001, Agustín Valverde. On the Properties of Atom Definability and Well-Supportedness in Logic Programming. In Eugénio Oliveira, João Gama, Zita A. Vale, Henrique Lopes Cardoso, editors, Progress in Artificial Intelligence - 18th EPIA Conference on Artificial Intelligence, EPIA 2017, Porto, Portugal, September 5-8, 2017, Proceedings. Volume 10423 of Lecture Notes in Computer Science, pages 624-636, Springer, 2017. [doi]

Authors

Pedro Cabalar

This author has not been identified. Look up 'Pedro Cabalar' in Google

Jorge Fandinno

This author has not been identified. Look up 'Jorge Fandinno' in Google

Luis Fariñas del Cerro

This author has not been identified. Look up 'Luis Fariñas del Cerro' in Google

David Pearce 0001

This author has not been identified. Look up 'David Pearce 0001' in Google

Agustín Valverde

This author has not been identified. Look up 'Agustín Valverde' in Google