„Answer-Set Programming“

Suchergebnisse

189 Treffer

• Treewidth in Non-Ground Answer Set Solving and Alliance Problems in Graphs
  Bliem, Bernhard 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Nonmonotonic Reasoning, Answer Set Programming and Constraints (Dagstuhl Seminar 02381)
  Brewka, Gerhard ; Niemelä, Ilkka ; Schaub, Torsten ; Truszczynski, Miroslaw 2003 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Answer Set Automata: A Learnable Pattern Specification Framework for Complex Event Recognition (Extended Abstract)
  Katzouris, Nikos ; Paliouras, Georgios 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Efficient Enumeration of Fixed Points in Complex Boolean Networks Using Answer Set Programming
  Trinh, Van-Giang ; Benhamou, Belaid ; Soliman, Sylvain 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Encoding Hard String Problems with Answer Set Programming
  Köppl, Dominik 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Temporal Modalities in Answer Set Programming (Invited Talk)
  Cabalar, Pedro 2020 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Answer Set Programming with External Sources
  Redl, Christoph 2012 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• An ASP Approach for the Optimal Placement of the Isolation Valves in a Water Distribution System
  Peano, Andrea 2012 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• ASP modulo CSP: The clingcon system
  Ostrowski, Max 2012 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Temporal Answer Set Programming
  Diéguez, Martín 2012 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Tarskian Informal Semantics for Answer Set Programming
  Denecker, Marc ; Lierler, Yuliya ; Truszczynski, Miroslaw ; Vennekens, Joost 2012 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Two-Valued Logic Programs
  Lifschitz, Vladimir 2012 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Preprocessing of Complex Non-Ground Rules in Answer Set Programming
  Morak, Michael ; Woltran, Stefan 2012 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• An FLP-Style Answer-Set Semantics for Abstract-Constraint Programs with Disjunctions
  Oetsch, Johannes ; Pührer, Jörg ; Tompits, Hans 2012 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Answer Set Solving with Lazy Nogood Generation
  Drescher, Christian ; Walsh, Toby 2012 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Surviving Solver Sensitivity: An ASP Practitioner’s Guide
  Silverthorn, Bryan ; Lierler, Yuliya ; Schneider, Marius 2012 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Generating Event-Sequence Test Cases by Answer Set Programming with the Incidence Matrix
  Banbara, Mutsunori ; Tamura, Naoyuki ; Inoue, Katsumi 2012 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Using Answer Set Programming in the Development of Verified Software
  Schanda, Florian ; Brain, Martin 2012 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Stable Models of Formulas with Generalized Quantifiers (Preliminary Report)
  Lee, Joohyung ; Meng, Yunsong 2012 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• An Answer Set Solver for non-Herbrand Programs: Progress Report
  Balduccini, Marcello 2012 Schloss Dagstuhl – Leibniz-Zentrum für Informatik