- Centre National de la Recherche ScientifiqueFR528 papers
- University of ViennaAT480 papers
- Vienna Center for Quantum Science and TechnologyAT328 papers
- Commissariat à l'Énergie Atomique et aux Énergies AlternativesFR275 papers
- European Organization for Nuclear ResearchCH263 papers
- Charles UniversityCZ245 papers
- ETH ZurichCH223 papers
- Institute of High Energy PhysicsCN223 papers
- Université Paris-SaclayFR219 papers
- CEA Paris-SaclayFR215 papers
- University of WarsawPL215 papers
- Massachusetts Institute of TechnologyUS209 papers
Showing 2011 · cs.LOShow all
2 papers · 2 filters
cs.LO2011★ 9 cited
Kara: A System for Visualising and Visual Editing of Interpretations for Answer-Set Programs
Christian Kloimüllner, Johannes Oetsch, Jörg Pührer +1
In answer-set programming (ASP), the solutions of a problem are encoded in dedicated models, called answer sets, of a logical theory. These answer sets are computed from the progra…
cs.LO2011★ 1 cited
Symmetry Breaking for Distributed Multi-Context Systems
Christian Drescher, Thomas Eiter, Michael Fink +2
Heterogeneous nonmonotonic multi-context systems (MCS) permit different logics to be used in different contexts, and link them via bridge rules. We investigate the role of symmetry…