„answer-set-programming“

Suchergebnisse

189 Treffer

• Model-based reasoning using answer set programming
  Wotawa, Franz ; Kaufmann, David
• A self-organising multi-agent knowledge base
  Jakob, Stefan 2022 Universitätsbibliothek Kassel
• Frontiers of combining systems – 8th international symposium ; proceedings
  Tinelli, Cesare ; Sofronie-Stokkermans, Viorica 2011 Springer
• Heuristics, Answer Set Programming and Markov Decision Process for Solving a Set of Spatial Puzzles*
  Santos, Thiago Freitas dos ; Santos, Paulo E. ; Ferreira, Leonardo Anjoletto ; Bianchi, Reinaldo A. C. ; Cabalar, Pedro
• Modeling Biological Networks by Action Languages via Answer Set Programming
  Dworschak, Steve ; Grell, Susanne ; Nikiforova, Victoria J. ; Schaub, Torsten ; Selbig, Joachim
• Proof theory and algorithms for answer set programming
  Gebser, Martin
• Modern constraint answer set solving
  Ostrowski, Max ; Schaub, Torsten 2018 Universität Potsdam
• Guest editorial: special issue on answer set programming and other computing paradigms
  Bogaerts, Bart ; Erdem, Esra ; Harrison, Amelia
• Repairing Boolean logical models from time-series data using Answer Set Programming
  Lemos, Alexandre ; Lynce, Inês ; Monteiro, Pedro T.
• Modeling biological networks by action languages via answer set programming
  Dworschak, Steve ; Grell, Susanne ; Nikiforova, Victoria J. ; Schaub, Torsten ; Selbig, Joachim 2020 Universität Potsdam
• Revisiting explicit negation in answer set programming
  Aguado, Felicidad ; Cabalar, Pedro ; Fandinno, Jorge ; Pearce, David ; Perez, Gilberto ; Vidal, Concepcion 2021 Universität Potsdam
• Founded (auto)epistemic equilibrium logic satisfies epistemic splitting
  Fandinno, Jorge 2020 Universität Potsdam
• Beitrag zur Antwortmengenprogrammierung in der Intralogistik
  Schieweck, Steffen ; Ten Hompel, Michael 2020 Verlag Praxiswissen
• Parameterized Complexity in the Polynomial Hierarchy – Extending Parameterized Complexity Theory to Higher Levels of the Hierarchy
  Haan, Ronald ˜deœ 2019 Springer International Publishing
• Parameterized complexity in the polynomial hierarchy – extending parameterized complexity theory to higher levels of the hierarchy
  Haan, Ronald ˜deœ 2019 Springer
• Aggregates in Answer Set Programming
  Alviano, Mario ; Faber, Wolfgang
• Answer set programming unleashed!
  Schaub, Torsten ; Woltran, Stefan
• Bringing existential variables in answer set programming and bringing non-monotony in existential rules: two sides of the same coin
  Baget, Jean-François ; Garcia, Laurent ; Garreau, Fabien ; Lefèvre, Claire ; Rocher, Swan ; Stéphan, Igor
• Answer set programming for non-stationary Markov decision processes
  Ferreira, Leonardo A. ; C. Bianchi, Reinaldo A. ; Santos, Paulo E. ; Mantaras, Ramon Lopez de
• Identification of bifurcation transitions in biological regulatory networks using Answer-Set Programming
  Fitime, Louis Fippo ; Roux, Olivier ; Guziolowski, Carito ; Paulevé, Loïc