External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Tags

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Loop Formulas for Splitable Temporal Logic Programs

Felicidad Aguado, Pedro Cabalar, Gilberto Pérez, Concepción Vidal. Loop Formulas for Splitable Temporal Logic Programs. In James P. Delgrande, Wolfgang Faber, editors, Logic Programming and Nonmonotonic Reasoning - 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011. Proceedings. Volume 6645 of Lecture Notes in Computer Science, pages 80-92, Springer, 2011. [doi]

Authors

Felicidad Aguado

This author has not been identified. Look up 'Felicidad Aguado' in Google

Pedro Cabalar

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

Gilberto Pérez

This author has not been identified. Look up 'Gilberto Pérez' in Google

Concepción Vidal

This author has not been identified. Look up 'Concepción Vidal' in Google
runs on