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.

EL^+ Ontologies

M. Fareed Arif, Carlos Mencía, Alexey Ignatiev, Norbert Manthey, Rafael Peñaloza, Joao Marques-Silva. EL^+ Ontologies. In Nadia Creignou, Daniel Le Berre, editors, Theory and Applications of Satisfiability Testing - SAT 2016 - 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings. Volume 9710 of Lecture Notes in Computer Science, pages 521-530, Springer, 2016. [doi]

Authors

M. Fareed Arif

This author has not been identified. Look up 'M. Fareed Arif' in Google

Carlos Mencía

This author has not been identified. Look up 'Carlos Mencía' in Google

Alexey Ignatiev

This author has not been identified. Look up 'Alexey Ignatiev' in Google

Norbert Manthey

This author has not been identified. Look up 'Norbert Manthey' in Google

Rafael Peñaloza

This author has not been identified. Look up 'Rafael Peñaloza' in Google

Joao Marques-Silva

This author has not been identified. Look up 'Joao Marques-Silva' in Google
runs on