External Links

Cite Key

Statistics

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

PDF

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.

ACUOS: A System for Modular ACU Generalization with Subtyping and Inheritance

María Alpuente, Santiago Escobar, Javier Espert, José Meseguer. ACUOS: A System for Modular ACU Generalization with Subtyping and Inheritance. In Eduardo Fermé, João Leite, editors, Logics in Artificial Intelligence - 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings. Volume 8761 of Lecture Notes in Computer Science, pages 573-581, Springer, 2014. [doi]

Authors

María Alpuente

This author has not been identified. It may be one of the following persons: Look up 'María Alpuente' in Google

Santiago Escobar

This author has not been identified. It may be one of the following persons: Look up 'Santiago Escobar' in Google

Javier Espert

This author has not been identified. Look up 'Javier Espert' in Google

José Meseguer

This author has not been identified. It may be one of the following persons: Look up 'José Meseguer' in Google
runs on