„Answer-Set Programming“

Suchergebnisse

189 Treffer

• Preferences in answer set programming
  Konczak, Kathrin
• Logic Programming and Nonmonotonic Reasoning – 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings
  Cabalar, Pedro ; Son, Tran Cao 2015 Springer International Publishing
• Web Reasoning and Rule Systems – 9th International Conference, RR 2015, Berlin, Germany, August 4-5, 2015, Proceedings.
  Cate, Balder ˜tenœ ; Mileo, Alessandra 2015 Springer International Publishing
• Logic for Programming, Artificial Intelligence, and Reasoning – 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings
  McMillan, Kenneth L. ; Middeldorp, Aart ; Voronkov, Andrei 2013 Springer Berlin Heidelberg
• Logic Programming and Nonmonotonic Reasoning – 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings
  2013 Springer Berlin Heidelberg
• 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
• Controlled Natural Language – Third International Workshop, CNL 2012, Zurich, Switzerland, August 29-31, 2012. Proceedings
  Kuhn, Tobias ; Fuchs, Norbert E. 2012 Springer Berlin Heidelberg
• Practical Aspects of Declarative Languages – 14th International Symposium, PADL 2012, Philadelphia, PA, USA, January 23-24, 2012. Proceedings
  2012 Springer Berlin Heidelberg
• Datalog Reloaded – First International Workshop, Datalog 2010, Oxford, UK, March 16-19, 2010. Revised Selected Papers
  Moor, Oege ˜deœ ; Gottlob, Georg ; Furche, Tim ; Sellers, Andrew 2011 Springer Berlin Heidelberg
• Frontiers of Combining Systems – 8th International Symposium, FroCoS 2011, Saarbrücken, Germany, October 5-7, 2011. Proceedings
  Tinelli, Cesare ; Sofronie-Stokkermans, Viorica 2011 Springer Berlin Heidelberg
• Logic Programming and Nonmonotonic Reasoning – 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011. Proceedings
  Delgrande, James P. ; Faber, Wolfgang 2011 Springer Berlin Heidelberg
• Practical Aspects of Declarative Languages – 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011. Proceedings
  Russo, Claudio ; Zhou, Neng-Fa 2011 Springer Berlin Heidelberg
• Geometric rule check with Answer Set Programming for barrier-free navigation
  Kurzawa, Marian 2024 Technische Universität Hamburg. Universitätsbibliothek
• ASP Essentials: Modelling and Efficient Solving (Invited Paper)
  Mazzotta, Giuseppe ; Ricca, Francesco 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Human-Centered ASP Applications: Representation & Reasoning (Invited Paper)
  Boğatarkan, Aysu ; Fidan, Müge ; Erdem, Esra 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Beyond Static Diagnosis: A Temporal ASP Framework for HVAC Fault Detection
  Koitz-Hristov, Roxane ; Prikler, Liliana Marie ; Wotawa, Franz 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Answer Set Navigation alongside Quantitative Reasoning
  Rusovac, Dominik ; Rudolph, Sebastian ; Schaub, Torsten ; Gaggl, Sarah Alice 2025 Technische Universität Dresden
• Reasoning Web. Semantic Interoperability on the Web – 13th International Summer School 2017, London, UK, July 7-11, 2017, Tutorial Lectures
  Ianni, Giovambattista ; Lembo, Domenico 2017 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
• Learning answer set programs with aggregates via sampling and genetic programming
  Azzolini, Damiano