„Answer-Set Programming“

Suchergebnisse

189 Treffer

• Transactions on Large-Scale Data- and Knowledge-Centered Systems LII
  Hameurlain, Abdelkader ; Tjoa, A Min 2022 Springer International Publishing
• Logic-Based Program Synthesis and Transformation – 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers
  Falaschi, Moreno 2015 Springer International Publishing
• Handbook of Parallel Constraint Reasoning
  Sais, Lakhdar ; Hamadi, Youssef 2018 Springer International Publishing
• Scalable Counting of Minimal Trap Spaces and Fixed Points in Boolean Networks
  Kabir, Mohimenul ; Trinh, Van-Giang ; Pastva, Samuel ; Meel, Kuldeep S. 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A general framework for preferences in answer set programming
  Romero Dávila, Javier ; Schaub, Torsten ; Lang, Jérôme ; Cao Tran, Son 2025 Universität Potsdam
• Answer set programming for pattern generation in logical analysis of data
  Becker, Katinka ; Bockmayr, Alexander
• Computing Diverse Optimal Stable Models
  Romero, Javier ; Schaub, Torsten ; Wanko, Philipp 2016 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A multiparametric view on answer set programming
  Fichte, Johannes Klaus ; Kronegger, Martin ; Woltran, Stefan
• aspeed: ASP-based Solver Scheduling
  Hoos, Holger ; Kaminski, Roland ; Schaub, Torsten ; Schneider, Marius 2012 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Dual-normal logic programs – the forgotten class
  Fichte, Johannes Klaus ; Truszczynski, Miroslaw ; Woltran, Stefan 2019 Universität Potsdam
• Answer Set Solving with Generalized Learned Constraints
  Gebser, Martin ; Kaminski, Roland ; Kaufmann, Benjamin ; Lühne, Patrick ; Romero, Javier ; Schaub, Torsten 2016 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Theory Solving Made Easy with Clingo 5
  Gebser, Martin ; Kaminski, Roland ; Kaufmann, Benjamin ; Ostrowski, Max ; Schaub, Torsten ; Wanko, Philipp 2016 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A computational framework for conceptual blending
  Eppe, Manfred ; Maclean, Ewen ; Confalonieri, Roberto ; Kutz, Oliver ; Schorlemmer, Marco ; Plaza, Enric ; Kühnberger, Kai-Uwe 2017 Universitätsbibliothek der Technischen Universität Hamburg
• Possibilistic Nested Logic Programs
  Nieves, Juan Carlos ; Lindgren, Helena 2012 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• claspfolio 2 – advances in algorithm selection for answer set programming
  Hoos, Holger ; Lindauer, Marius ; Schaub, Torsten 2019 Universität Potsdam
• The Potsdam Answer Set Solving Collection 5.0
  Gebser, Martin ; Kaminski, Roland ; Kaufmann, Benjamin ; Lühne, Patrick ; Obermeier, Philipp ; Ostrowski, Max ; Romero, Javier ; Schaub, Torsten ; Schellhorn, Sebastian ; Wanko, Philipp
• Faster Diagnosis with Answer Set Programming (Short Paper)
  Prikler, Liliana Marie ; Wotawa, Franz 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Leveraging Answer Set Programming for Continuous Monitoring, Fault Detection, and Explanation of Automated and Autonomous Driving Systems
  Klampfl, Lorenz ; Wotawa, Franz 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Scalable Robotic Intra-Logistics with Answer Set Programming
  Obermeier, Philipp 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Introspecting Preferences in Answer Set Programming
  Zhang, Zhizheng 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik