„answer-set-programming“

Suchergebnisse

1.000+ Treffer

• Elements for Weighted Answer-Set Programming
  Coelho, Francisco ; Dinis, Bruno ; Seipel, Dietmar ; Abreu, Salvador 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Multi-Criteria Optimization in Answer Set Programming
  Gebser, Martin ; Kaminski, Roland ; Kaufmann, Benjamin ; Schaub, Torsten 2011 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Complexity results for answer set programming with bounded predicate arities and implications
  Eiter, Thomas ; Faber, Wolfgang ; Fink, Michael ; Woltran, Stefan
• Semantics in data and knowledge bases – 5th international workshop ; revised selected papers
  Schewe, Klaus-Dieter ; Thalheim, Bernhard 2013 Springer
• An Answer Set Programming Framework for Reasoning About Truthfulness of Statements by Agents
  Cao Son, Tran ; Pontelli, Enrico ; Gelfond, Michael ; Balduccini, Marcello 2016 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Design Space Exploration with Answer Set Programming
  Haubelt, Christian ; Neubauer, Kai ; Schaub, Torsten ; Wanko, Philipp
• Unsatisfiability-based optimization in clasp
  Andres, Benjamin ; Kaufmann, Benjamin ; Matheis, Oliver ; Schaub, Torsten 2012 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Semantics in Data and Knowledge Bases – 5th International Workshop, SDKB 2011, Zürich, Switzerland, July 3, 2011, Revised Selected Papers
  Schewe, Klaus-Dieter ; Thalheim, Bernhard 2013 Springer Berlin Heidelberg
• $${\varvec{teaspoon}}$$ teaspoon : solving the curriculum-based course timetabling problems with answer set programming
  Banbara, Mutsunori ; Inoue, Katsumi ; Kaufmann, Benjamin ; Okimoto, Tenda ; Schaub, Torsten ; Soh, Takehide ; Tamura, Naoyuki ; Wanko, Philipp
• Design and multi-criteria optimization of cell classifier circuits in cancer therapy
  Nowicka, Melania 2023 Freie Universität Berlin
• Logical Analysis of Biological Data
  Becker, Katinka 2021 Freie Universität Berlin
• Symbolic representation of dynamic knowledge for robotic teams
  Opfer, Stephan 2021 Universitätsbibliothek Kassel
• Advanced tools and methods for treewidth-based problem solving
  Hecher, Markus ; Woltran, Stefan ; Schaub, Torsten ; Truszczynski, Mirosław ; Vollmer, Heribert 2021 Universität Potsdam
• Network Inference from Perturbation Data: Robustness, Identifiability and Experimental Design
  Groß, Torsten 2021 Humboldt-Universität zu Berlin
• Postdictive Reasoning in Epistemic Action Theory
  Eppe, Manfred ; Krieg-Brückner, Bernd ; Lee, Joohyung 2013 Staats- und Universitätsbibliothek Bremen
• Automated Theorem Proving for General Game Playing
  Haufe, Sebastian ; Thielscher, Michael ; Schaub, Torsten 2012 Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden
• Reasoning on the response of logical signaling networks with answer set programming
  Videla, Santiago ; Schaub, Torsten 2014 Universitätsbibliothek der Universität Potsdam
• Modeling biological systems with Answer Set Programming
  Thiele, Sven ; Schaub, Torsten 2012 Universitätsbibliothek der Universität Potsdam
• Proof theory and algorithms for answer set programming
  Gebser, Martin ; Schaub, Torsten 2011 Universitätsbibliothek der Universität Potsdam
• A Logic Programming Approach to Repairing SHACL Constraint Violations
  Ahmetaj, Shqiponja ; David, Robert ; Polleres, Axel ; Šimkus, Mantas