„constraint answer set programming“

Suchergebnisse

1.000+ Treffer

• A Logic Programming Approach to Repairing SHACL Constraint Violations
  Ahmetaj, Shqiponja ; David, Robert ; Polleres, Axel ; Šimkus, Mantas
• Logic-Based Program Synthesis and Transformation – 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers
  Albert, Elvira 2013 Springer Berlin Heidelberg
• Rules and Reasoning – International Joint Conference, RuleML+RR 2017, London, UK, July 12–15, 2017, Proceedings
  Costantini, Stefania ; Franconi, Enrico ; Van Woensel, William ; Kontchakov, Roman ; Sadri, Fariba ; Roman, Dumitru 2017 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
• 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
• 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
• ASP modulo CSP: The clingcon system
  Ostrowski, Max 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
• 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
• Modelling Grammar Constraints with Answer Set Programming
  Drescher, Christian ; Walsh, Toby 2011 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Constraint Answer Set Programming Systems
  Drescher, Christian 2010 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• SMT-Based Answer Set Solver CMODELS(DIFF) (System Description)
  Shen, Da ; Lierler, Yuliya 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Epistemic Logic Programs with World View Constraints
  Kahl, Patrick Thor ; Leclerc, Anthony P. 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• SMT-Based Constraint Answer Set Solver EZSMT (System Description)
  Susman, Benjamin ; Lierler, Yuliya 2016 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Logic-Based Program Synthesis and Transformation – 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers
  Proietti, Maurizio ; Seki, Hirohisa 2015 Springer International Publishing
• Declarative Programming and Knowledge Management – Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013, Revised Selected Papers
  Hanus, Michael ; Rocha, Ricardo 2014 Springer International Publishing
• 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]
• 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]