1.8k citations
- University of ViennaAT103 papers
- Centre National de la Recherche ScientifiqueFR98 papers
- Commissariat à l'Énergie Atomique et aux Énergies AlternativesFR50 papers
- Vienna Center for Quantum Science and TechnologyAT45 papers
- European Organization for Nuclear ResearchCH40 papers
- CEA Paris-SaclayFR35 papers
- Charles UniversityCZ35 papers
- Heidelberg UniversityDE29 papers
- Technical University of MunichDE28 papers
- FZU ‒ Institute of Physics of the Academy of Sciences of the Czech RepublicCZ24 papers
- Institut National de Physique Nucléaire et de Physique des ParticulesFR24 papers
- University of BolognaIT24 papers
Showing 2019 · cs.AIShow all
2 papers · 2 filters
cs.AI2019★ 6 cited
Polynomial Rewritings from Expressive Description Logics with Closed Predicates to Variants of Datalog
Shqiponja Ahmetaj, Magdalena Ortiz, Mantas Simkus
In many scenarios, complete and incomplete information coexist. For this reason, the knowledge representation and database communities have long shown interest in simultaneously su…
cs.AI2019★ 3 cited
Degrees of Laziness in Grounding: Effects of Lazy-Grounding Strategies on ASP Solving
Richard Taupe, Antonius Weinzierl, Gerhard Friedrich
The traditional ground-and-solve approach to Answer Set Programming (ASP) suffers from the grounding bottleneck, which makes large-scale problem instances unsolvable. Lazy groundin…