„Answer-Set Programming“

Suchergebnisse

189 Treffer

• Nonmonotonic reasoning, answer set programming and constraints – executive summary ; the Dagstuhl seminar 05171
  Brewka, Gerhard ; Niemelä, Ilkka ; Schaub, Torsten ; Truszczynski, Miroslaw 2005 [Internat. Begegnungs- und Forschungszentrum für Informatik]
• aspeed – solver scheduling via answer set programming
  Hoos, Holger ; Kaminski, Roland ; Lindauer, Marius ; Schaub, Torsten 2019 Universität Potsdam
• Complex optimization in answer set programming
  Gebser, Martin ; Kaminski, Roland ; Schaub, Torsten 2019 Universität Potsdam
• Answer set programming as a modeling language for course timetabling
  Banbara, Mutsunori ; Soh, Takehide ; Tamura, Naoyuki ; Inoue, Katsumi ; Schaub, Torsten 2019 Universität Potsdam
• Nonmonotonic reasoning, answer set programming and constraints – 05171 abstracts collection ; Dagstuhl seminar
  Brewka, Gerhard ; Niemelä, Ilkka ; Schaub, Torsten ; Truszczynski, Miroslaw ; Vennekens, Joost 2005 [Internat. Begegnungs- und Forschungszentrum für Informatik]
• Special Issue on Answer Set Programming
  Schaub, Torsten ; Woltran, Stefan
• Multi-Shot Stream Reasoning in Answer Set Programming: A Preliminary Report
  Obermeier, Philipp ; Romero, Javier ; Schaub, Torsten
• Detecting inconsistencies in large biological networks with answer set programming
  Gebser, Martin ; Schaub, Torsten ; Thiele, Sven ; Veber, Philippe 2019 Universität Potsdam
• Rescheduling master surgical schedules via answer set programming
  Galatà, Giuseppe ; Maratea, Marco ; Marte, Cinzia ; Mochi, Marco
• Complex reasoning with answer set programming
  Kaminski, Roland 2023
• Using answer set programming to deal with boolean networks and attractor computation: application to gene regulatory networks of cells
  Khaled, Tarek ; Benhamou, Belaid ; Trinh, Van-Giang
• Predicting weighted unobserved nodes in a regulatory network using answer set programming
  Bars, Sophie Le ; Bolteau, Mathieu ; Bourdon, Jérémie ; Guziolowski, Carito
• Zur Verwendung von Antwortmodellen in der quantitativen agrarökonomischen Analyse
  Jung, Annerose 1984 Kieler Wissenschaftsverlag Vauk
• Extending Answer Sets for Logic Programming Agents
  De Vos, M. ; Vermeir, D.
• Answer Set Programming in Linguistics
  Schüller, Peter
• Answer Set Programming Applied to Coreference Resolution and Semantic Similarity
  Schüller, Peter
• Towards Finding Optimal Solutions For Constrained Warehouse Layouts Using Answer Set Programming
  Kaiser, Pascal ; Kern-Isberner, Gabriele 2023 Gottfried Wilhelm Leibniz Universität Hannover
• Transactions on large-scale data- and knowledge-centered systems
  2022 Springer
• Faster Statistical Model Checking for Unbounded Temporal Properties
  Daca, Przemysław ; Henzinger, Thomas ; Křetínský, Jan ; Petrov, Tatjana 2017 Bibliothek der Universität Konstanz
• Controlled natural language – third international workshop ; proceedings
  Kuhn, Tobias ; Fuchs, Norbert E. 2012 Springer