Article Dans Une Revue ACM Transactions on Computational Logic Année : 2020

Finite Open-world Query Answering with Number Restrictions

HAL

A comme partie hal-01190580 Objet présenté à une conférence Antoine Amarilli, Michael Benedikt. Finite Open-World Query Answering with Number Restrictions. LICS 2015, Jul 2015, Kyoto, Japan. pp.305-316. ⟨hal-01190580⟩

conference version of this journal article

Dates et versions

hal-02941917 , version 1 (17-09-2020)

Identifiants

Citer

Antoine Amarilli, Michael Benedikt. Finite Open-world Query Answering with Number Restrictions. ACM Transactions on Computational Logic, 2020, 21 (4), pp.1-73. ⟨10.1145/3365834⟩. ⟨hal-02941917⟩
129 Consultations
0 Téléchargements

Altmetric

Partager

  • More