1.4k citations
- Centre National de la Recherche ScientifiqueFR40 papers
- University of ViennaAT36 papers
- Heidelberg UniversityDE21 papers
- Commissariat à l'Énergie Atomique et aux Énergies AlternativesFR14 papers
- European Organization for Nuclear ResearchCH14 papers
- Austrian Academy of SciencesAT11 papers
- CEA Paris-SaclayFR11 papers
- Max Planck Institute for Solid State ResearchDE11 papers
- Vienna Center for Quantum Science and TechnologyAT11 papers
- ETH ZurichCH10 papers
- Université Paris-SudFR9 papers
- Charles UniversityCZ8 papers
Showing 2012 · cs.AIShow all
3 papers · 2 filters
cs.AI2012★ 40 cited
Probabilistic Reasoning about Actions in Nonmonotonic Causal Theories
Thomas Eiter, Thomas Lukasiewicz
We present the language {m P}{cal C}+ for probabilistic reasoning about actions, which is a generalization of the action language {cal C}+ that allows to deal with probabilistic as…
cs.AI2012
D-FLAT: Declarative Problem Solving Using Tree Decompositions and Answer-Set Programming
Bernhard Bliem, Michael Morak, Stefan Woltran
In this work, we propose Answer-Set Programming (ASP) as a tool for rapid prototyping of dynamic programming algorithms based on tree decompositions. In fact, many such algorithms…
cs.AI2012★ 14 cited
Conflict-driven ASP Solving with External Sources
Thomas Eiter, Michael Fink, Thomas Krennwallner +1
Answer Set Programming (ASP) is a well-known problem solving approach based on nonmonotonic logic programs and efficient solvers. To enable access to external information, HEX-prog…