„Answer-Set Programming“

Suchergebnisse

189 Treffer

• Cumulative Scoring-Based Induction of Default Theories
  Shakerin, Farhad ; Gupta, Gopal 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
• Understanding Restaurant Stories Using an ASP Theory of Intentions
  Inclezan, Daniela ; Zhang, Qinglin ; Balduccini, Marcello ; Israney, Ankush 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Entity set expansion from the Web via ASP
  Adrian, Weronika T. ; Manna, Marco ; Leone, Nicola ; Amendola, Giovanni ; Adrian, Marek 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• LOG-IDEAH: ASP for Architectonic Asset Preservation
  Novelli, Viviana ; De Vos, Marina ; Padget, Julian ; D’Ayala, Dina 2012 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Scalable Design Space Exploration via Answer Set Programming
  Wanko, Philipp 2016 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Automating Disease Management Using Answer Set Programming
  Chen, Zhuo 2016 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Intelligent Instantiation and Supersafe Rules
  Lifschitz, Vladimir 2016 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Justifications and Blocking Sets in a Rule-Based Answer Set Computation
  Béatrix, Christopher ; Lefèvre, Claire ; Garcia, Laurent ; Stéphan, Igor 2016 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Rewriting Optimization Statements in Answer-Set Programs
  Bomanson, Jori ; Gebser, Martin ; Janhunen, Tomi 2016 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Answer Set Programming for Qualitative Spatio-Temporal Reasoning: Methods and Experiments
  Brenton, Christopher ; Faber, Wolfgang ; Batsakis, Sotiris 2016 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
• The Role of Non-monotonic Reasoning in Future Development of Artificial Intelligence (Dagstuhl Perspectives Workshop 19072)
  Hunter, Anthony ; Kern-Isberner, Gabriele ; Meyer, Thomas ; Wassermann, Renata
• 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
• Logics in Artificial Intelligence – 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings
  2014 Springer International Publishing
• Logic for programming, artificial intelligence, and reasoning – 19th international conference ; proceedings
  McMillan, Kenneth L. ; Middeldorp, Aart ; Voronkov, Andrei 2013 Springer
• Logic programming and nonmonotonic reasoning – 12th international conference ; proceedings
  Cabalar, Pedro ; Son, Tran Cao 2013 Springer
• Answer Set Programming for Continuous Domains: A Fuzzy Logic Approach
  2012 Atlantis Press
• Practical aspects of declarative languages – 14th international symposium ; proceedings
  Russo, Claudio ; Zhou, Neng-Fa 2012 Springer