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 2014 · cs.AIShow all
2 papers · 2 filters
cs.AI2014
Causal Graph Justifications of Logic Programs
Pedro Cabalar, Jorge Fandinno, Michael Fink
In this work we propose a multi-valued extension of logic programs under the stable models semantics where each true atom in a model is associated with a set of justifications. The…
cs.AI2014★ 8 cited
Extension-based Semantics of Abstract Dialectical Frameworks
Sylwia Polberg
One of the most prominent tools for abstract argumentation is the Dung's framework, AF for short. It is accompanied by a variety of semantics including grounded, complete, preferre…