The logic of counting query answers
International audience
| Main Authors: | , |
|---|---|
| Other Authors: | , |
| Format: | Conference Object |
| Language: | English |
| Published: |
HAL CCSD
2017
|
| Subjects: | |
| Online Access: | https://univ-artois.hal.science/hal-03300997 |
| id |
ftunivartois:oai:HAL:hal-03300997v1 |
|---|---|
| record_format |
openpolar |
| spelling |
ftunivartois:oai:HAL:hal-03300997v1 2023-11-12T04:19:00+01:00 The logic of counting query answers Chen, Hubie Mengel, Stefan Centre de Recherche en Informatique de Lens (CRIL) Université d'Artois (UA)-Centre National de la Recherche Scientifique (CNRS) Reykjavik, Iceland 2017 https://univ-artois.hal.science/hal-03300997 en eng HAL CCSD IEEE Computer Society hal-03300997 https://univ-artois.hal.science/hal-03300997 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS'17) https://univ-artois.hal.science/hal-03300997 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS'17), 2017, Reykjavik, Iceland. pp.1-12 [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI] info:eu-repo/semantics/conferenceObject Conference papers 2017 ftunivartois 2023-10-24T21:10:36Z International audience Conference Object Iceland Université d'Artois: HAL |
| institution |
Open Polar |
| collection |
Université d'Artois: HAL |
| op_collection_id |
ftunivartois |
| language |
English |
| topic |
[INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI] |
| spellingShingle |
[INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI] Chen, Hubie Mengel, Stefan The logic of counting query answers |
| topic_facet |
[INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI] |
| description |
International audience |
| author2 |
Centre de Recherche en Informatique de Lens (CRIL) Université d'Artois (UA)-Centre National de la Recherche Scientifique (CNRS) |
| format |
Conference Object |
| author |
Chen, Hubie Mengel, Stefan |
| author_facet |
Chen, Hubie Mengel, Stefan |
| author_sort |
Chen, Hubie |
| title |
The logic of counting query answers |
| title_short |
The logic of counting query answers |
| title_full |
The logic of counting query answers |
| title_fullStr |
The logic of counting query answers |
| title_full_unstemmed |
The logic of counting query answers |
| title_sort |
logic of counting query answers |
| publisher |
HAL CCSD |
| publishDate |
2017 |
| url |
https://univ-artois.hal.science/hal-03300997 |
| op_coverage |
Reykjavik, Iceland |
| genre |
Iceland |
| genre_facet |
Iceland |
| op_source |
32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS'17) https://univ-artois.hal.science/hal-03300997 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS'17), 2017, Reykjavik, Iceland. pp.1-12 |
| op_relation |
hal-03300997 https://univ-artois.hal.science/hal-03300997 |
| _version_ |
1782335517671555072 |