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 2020 · cs.AIShow all
3 papers · 2 filters
cs.AI2020
The HyperTrac Project: Recent Progress and Future Research Directions on Hypergraph Decompositions
Georg Gottlob, Matthias Lanzinger, Davide Mario Longo +2
Constraint Satisfaction Problems (CSPs) play a central role in many applications in Artificial Intelligence and Operations Research. In general, solving CSPs is NP-complete. The st…
cs.AI2020★ 1 cited
Knowledge Graphs Evolution and Preservation -- A Technical Report from ISWS 2019
Nacira Abbas, Kholoud Alghamdi, Mortaza Alinam +71
One of the grand challenges discussed during the Dagstuhl Seminar "Knowledge Graphs: New Directions for Knowledge Representation on the Semantic Web" and described in its report is…
cs.AI2020
Constraint Monotonicity, Epistemic Splitting and Foundedness Could in General Be Too Strong in Answer Set Programming
Yi-Dong Shen, Thomas Eiter
Recently, the notions of subjective constraint monotonicity, epistemic splitting, and foundedness have been introduced for epistemic logic programs, with the aim to use them as mai…