1.4k citations
- University of ViennaAT30 papers
- Centre National de la Recherche ScientifiqueFR27 papers
- Heidelberg UniversityDE20 papers
- European Organization for Nuclear ResearchCH13 papers
- Commissariat à l'Énergie Atomique et aux Énergies AlternativesFR9 papers
- ETH ZurichCH9 papers
- CEA Paris-SaclayFR8 papers
- Max Planck Institute for Solid State ResearchDE8 papers
- Yale UniversityUS8 papers
- Charles UniversityCZ7 papers
- University of Science and Technology of ChinaCN7 papers
- Los Alamos National LaboratoryUS6 papers
5 papers · 2 filters
Answer Set Planning Under Action Costs
T. Eiter, W. Faber, N. Leone +2
Recently, planning based on answer set programming has been proposed as an approach towards realizing declarative planning systems. In this paper, we present the language Kc, which…
Efficient Methods for Qualitative Spatial Reasoning
B. Nebel, J. Renz
The theoretical properties of qualitative spatial reasoning in the RCC8 framework have been analyzed extensively. However, no empirical investigation has been made yet. Our experim…
Algorithms and Complexity Results for Persuasive Argumentation
Eun Jung Kim, Sebastian Ordyniak, Stefan Szeider
The study of arguments as abstract entities and their interaction as introduced by Dung (Artificial Intelligence 177, 1995) has become one of the most active research branches with…
Augmenting Tractable Fragments of Abstract Argumentation
Sebastian Ordyniak, Stefan Szeider
We present a new and compelling approach to the efficient solution of important computational problems that arise in the context of abstract argumentation. Our approach makes known…
Kernels for Global Constraints
Serge Gaspers, Stefan Szeider
Bessiere et al. (AAAI'08) showed that several intractable global constraints can be efficiently propagated when certain natural problem parameters are small. In particular, the com…