Progress in clasp series 3

Abstract : no abstract
Complete list of metadatas

https://hal.inria.fr/hal-01186997
Contributor : René Quiniou <>
Submitted on : Tuesday, August 25, 2015 - 6:25:31 PM
Last modification on : Monday, February 11, 2019 - 4:22:53 PM

Identifiers

  • HAL Id : hal-01186997, version 1

Citation

Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Javier Romero, Torsten Schaub. Progress in clasp series 3. Proceedings of the Thirteenth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'15), 2015, Lexington, United States. ⟨hal-01186997⟩

Share

Metrics

Record views

308