First-Order Rewritability of Atomic Queries in Horn Description Logics - Laboratoire Interdisciplinaire des Sciences du Numérique Access content directly
Conference Papers Year : 2013
No file

Dates and versions

hal-00947535 , version 1 (16-02-2014)

Identifiers

  • HAL Id : hal-00947535 , version 1

Cite

Meghyn Bienvenu, Carsten Lutz, Frank Wolter. First-Order Rewritability of Atomic Queries in Horn Description Logics. International Joint Conference on Artificial Intelligence (IJCAI), Aug 2013, China. pp.754-760. ⟨hal-00947535⟩
107 View
0 Download

Share

Gmail Facebook X LinkedIn More